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 element Exercise explanation flies tweety following program full clausal logic functor Goal graph green_park ground facts Head Herbrand base Herbrand universe heuristic hypothesis induction instance instantiated interpretation language leicester_square 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 rewrite_implications 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 |