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. |
Contents
Reasoning with structured knowledge | 79 |
Searching graphs | 99 |
Informed search | 117 |
Copyright | |
6 other sections not shown
Other editions - View all
Common terms and phrases
abduce adult agenda algorithm answer append argument Artificial Intelligence atoms bachelor backtracking best-first search bird tweety body bond_street breadth-first search brother_of called chapter charing_cross Children Closed World Assumption connected default definite clauses depth-first search difference list dracula element Exercise explanation flies tweety following program full clausal logic functor Goal graph ground facts Head Herbrand base Herbrand universe heuristic hypothesis induction instance instantiated interpretation leicester_square length_acc listnum literals Logic Programming logical consequence maria married means meta-interpreter negation as failure negations_inside NewAgenda node noun phrase oxford_circus parse parse tree path piccadilly_circus Predicate Completion Predicate Logic problem procedural Prolog Prolog programs proof theory proof tree Props quantifiers query reachable reasoning represented resolution resolvent Rulebase search space search strategy semantics sentence set of clauses SLD-tree solutions specialisation student_of paul substitution Subtree Tail teaches peter term Term1 Term2 theory tottenham_court_road true turtle tweety unification unify variables verb phrase
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 2004, Porto ... Rui Camacho,Ross King,Ashwin Srinivasan No preview available - 2004 |