Simply logical: intelligent reasoning by example
An 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.
Reasoning with structured knowledge
Advanced reasoning techniques
5 other sections not shown
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