Simply Logical: Intelligent Reasoning by Example

Front Cover
Wiley, May 16, 1994 - Computers - 256 pages
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.

From inside the book

 

12 pages matching student_of(paul,peter in this book

Where's the rest of this book?

Results 1-3 of 12

Contents

Reasoning with structured knowledge
79
Searching graphs
99
Informed search
117
Copyright

6 other sections not shown

Other editions - View all

Simply Logical: Intelligent Reasoning by Example
Peter Flach
No preview available - 1994

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

Bibliographic information

TitleSimply Logical: Intelligent Reasoning by Example
AuthorPeter Flach
Editionillustrated, reprint
PublisherWiley, 1994
Original fromthe University of Michigan
DigitizedNov 15, 2007
ISBN0471941522, 9780471941521
Length256 pages
Subjects ›  › 

Computers / Artificial Intelligence / General
Computers / Programming / General
  
Export CitationBiBTeX EndNote RefMan