chap1 - Knowledge Representation and Reasoning Logics for...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Knowledge Representation and Reasoning Logics for Artificial Intelligence Stuart C. Shapiro Department of Computer Science and Engineering and Center for Cognitive Science University at Buffalo, The State University of New York Buffalo, NY 14260-2000 [email protected] copyright c 1995, 2004–2010 by Stuart C. Shapiro Page 1 Contents Part I 1. Introduction ............................................................ 4 2. Propositional Logic .................................................... 19 3. Predicate Logic Over Finite Models ................................... 175 4. Full First-Order Predicate Logic ...................................... 230 5. Summary of Part I....................................................369 Part II 6. Prolog ................................................................ 382 7. A Potpourri of Subdomains ........................................... 418 8. SNePS................................................................436 9. Belief Revision/Truth Maintenance ................................... 518 10. The Situation Calculus ............................................... 576 11. Summary ............................................................ 595 Part III 12. Production Systems...................................................608 13. Description Logic ..................................................... 617 14. Abduction ............................................................ 634 Page 3 1 Introduction 1. Knowledge Representation ................................... 5 2. Logic ....................................................... 16 Page 4 1.1 Knowledge Representation1....
View Full Document

This document was uploaded on 10/15/2010.

Page1 / 18

chap1 - Knowledge Representation and Reasoning Logics for...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online