[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

 

 

猜你喜欢

转载自www.cnblogs.com/ecoflex/p/10982993.html
12
今日推荐