Skip to main content

Ctrl+K

Simply Logical

Simply Logical

Preface
I. Logic and Logic Programming
II. Reasoning with structured knowledge
III. Advanced reasoning techniques
Additional materials
Simply Logical Organisation
Original Book Home

Repository
Suggest edit
Open issue

.md

Representing structured knowledge

12.4. Representing structured knowledge#

The exercises in this chapter should not provide major difficulties.

previous

12.3. Logic Programming and Prolog

next

12.5. Searching graphs

By Peter Flach and Kacper Sokol, University of Bristol, United Kingdom

© Copyright 2015–2024.

This work is licenced under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International Licence.

This book discusses methods to implement intelligent reasoning by means of Prolog programs. The book is written from the shared viewpoints of Computational Logic, which aims at automating various kinds of reasoning, and Artificial Intelligence, which seeks to implement aspects of intelligent behaviour on a computer.