## Simply logical: intelligent reasoning by exampleAn introduction to Prolog programming for artificial intelligence covering both basic and advanced AI material. A unique advantage to this work is the combination of AI, Prolog and Logic. Each technique is accompanied by a program implementing it. Seeks to simplify the basic concepts of logic programming. Contains exercises and authentic examples to help facilitate the understanding of difficult concepts. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Reasoning with structured knowledge | 79 |

Informed search | 117 |

Advanced reasoning techniques | 129 |

Copyright | |

5 other sections not shown

### Other editions - View all

### Common terms and phrases

abductive agenda algorithm answer argument Artificial Intelligence bachelor backtracking best-first search bird(tweety body breadth-first search called chapter Closed World Assumption construct contains declarative defined definite clauses depth-first search difference list disjunction Exercise existentially quantified explanation f f f false following program full clausal logic functor given goal grammar rules graph ground atoms ground facts head Herbrand base Herbrand universe heuristic hypothesis implementation induction infinite instance instantiated interpretation likes(peter,S):-student_of(S,peter Logic Programming logical consequence logical formulas loop means meta-interpreter natural language negation as failure negative examples node non-terminal noun occur check parse tree path peter possible Predicate Completion Predicate Logic problem procedural Prolog programs proof theory proof tree propositional query reachable recursive clause refutation relational clausal logic represented resolution resolvent search space search strategy semantics sentence set of clauses Skolem solutions specialisation student_of(paul,peter substitution succeeds success branch term true truth value Tweety unification unify variables verb phrase write

### References to this book

Soft-Ware 2002: Computing in an Imperfect World: First ..., Volume 1 David Bustard,Weiru Liu,Roy Sterritt No preview available - 2002 |

Inductive Logic Programming: 14th International Conference, ILP ..., Volume 14 Rui Camacho No preview available - 2004 |