First-Order Logic Chapter 8. Outline Why FOL? Syntax and semantics of FOL Using FOL Wumpus world in FOL Knowledge engineering in FOL.
First-Order Logic. Limitations of propositional logic Suppose you want to say All humans are mortal –In propositional logic, you would need ~6.7 billion.
First-Order Logic Copyright, 1996 © Dale Carnegie & Associates, Inc. Chapter 8 Spring 2004.
For Wednesday No reading Homework –Chapter 8, exercises 9 and 10.
For Monday Read chapter 9 Homework: –Chapter 8, exercises 9 and 10.
CS 188: Artificial Intelligence Spring 2007 Lecture 10: Logical agents and knowledge representation 2/15/2007 Srini Narayanan – ICSI and UC Berkeley Many.
For Monday
First-Order Logic