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.
First-Order Logic
For Wednesday No reading Homework –Chapter 8, exercises 9 and 10.
1 First-Order Logic Chapter 8. 2 Why FOL? –How do you say “All students are smart?” –Some students work hard –Hardworking students have good marks –If.
Formal Theories, Part Two SIE 550 Lecture Matt Dube Doctoral Student - Spatial.
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.
Knowledge Representation and Machine Learning
For Monday