[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic

 

 

 

Why do we need formal logic? 

 

 

 

 

 

 

Inferences About Birds

 

Winston Chapter 13: Page 284

 

 

 

 Exercise: Inferences About Foos

 

 

 

 

 

 Predicates

 

 

 

 

 

Conjunctions and Disjunctions 

 

 

 

 Implies

 

 

 

 

 

Notation Equivalency 

 

 

 

 

 

 

 

 

 Truth Tables