product iamge

Logic for Problem Solving (Artificial intelligence series)

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Robert A. Kowalski
Series: Artificial intelligence series
Publisher: Elsevier Science Ltd
Year: 1979

Language: English
Pages: 298

Cover......Page 1
Contents......Page 4
Preface......Page 8
Ch 1 - Introduction......Page 12
Ch 2 - Representation in Clausal Form......Page 33
Ch 3 - Top-down & Bottom-up Horn Clause Proof Procedures......Page 60
Ch 4 - Horn Clause Problem-Solving......Page 86
Ch 5 - The Procedural Interpretation of Horn Clauses......Page 118
Ch 6 - Plan-Formation & the Frame Problem......Page 144
Ch 7 - Resolution......Page 158
Ch 8 - The Connection Graph Proof Procedure......Page 174
Ch 9 - Global Problem-Solving Strategies......Page 190
Ch 10 - Comparison of Clausal Form with Standard Form......Page 204
Ch 11 - If-and-only-if......Page 221
Ch 12 - Formalisation of Provability......Page 236
Ch 13 - Logic, Change & Contradiction......Page 250
Index.pdf......Page 258
References.pdf......Page 285