![[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic](https://image.shishitao.com:8440/aHR0cHM6Ly93d3cuaXRkYWFuLmNvbS9pLzJmNWZjZjVkN2FmM2JjYmQyNDZlNDY3M2Y4ZmIzYWUxMS5qcGc%3D.jpg?w=700&webp=1 "[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic")
![[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic](https://image.shishitao.com:8440/aHR0cHM6Ly93d3cuaXRkYWFuLmNvbS9pLzJmNWZjZjVkN2FmM2JjYmQyNDZlNDY3M2Y4ZmIzYWUxMi5qcGc%3D.jpg?w=700&webp=1 "[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic")
Why do we need formal logic?
![[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic](https://image.shishitao.com:8440/aHR0cHM6Ly93d3cuaXRkYWFuLmNvbS9pLzJmNWZjZjVkN2FmM2JjYmQyNDZlNDY3M2Y4ZmIzYWUxMy5qcGc%3D.jpg?w=700&webp=1 "[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic")
Inferences About Birds
![[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic](https://image.shishitao.com:8440/aHR0cHM6Ly93d3cuaXRkYWFuLmNvbS9pLzJmNWZjZjVkN2FmM2JjYmQyNDZlNDY3M2Y4ZmIzYWUxNC5qcGc%3D.jpg?w=700&webp=1 "[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic")
Winston Chapter 13: Page 284
Exercise: Inferences About Foos
![[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic](https://image.shishitao.com:8440/aHR0cHM6Ly93d3cuaXRkYWFuLmNvbS9pLzJmNWZjZjVkN2FmM2JjYmQyNDZlNDY3M2Y4ZmIzYWUxNS5qcGc%3D.jpg?w=700&webp=1 "[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic")
Predicates
![[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic](https://image.shishitao.com:8440/aHR0cHM6Ly93d3cuaXRkYWFuLmNvbS9pLzJmNWZjZjVkN2FmM2JjYmQyNDZlNDY3M2Y4ZmIzYWUxNi5qcGc%3D.jpg?w=700&webp=1 "[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic")
Conjunctions and Disjunctions
![[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic](https://image.shishitao.com:8440/aHR0cHM6Ly93d3cuaXRkYWFuLmNvbS9pLzJmNWZjZjVkN2FmM2JjYmQyNDZlNDY3M2Y4ZmIzYWUxNy5qcGc%3D.jpg?w=700&webp=1 "[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic")
Implies
![[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic](https://image.shishitao.com:8440/aHR0cHM6Ly93d3cuaXRkYWFuLmNvbS9pLzJmNWZjZjVkN2FmM2JjYmQyNDZlNDY3M2Y4ZmIzYWUxOC5qcGc%3D.jpg?w=700&webp=1 "[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic")
Notation Equivalency
![[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic](https://image.shishitao.com:8440/aHR0cHM6Ly93d3cuaXRkYWFuLmNvbS9pLzJmNWZjZjVkN2FmM2JjYmQyNDZlNDY3M2Y4ZmIzYWUxOS5qcGc%3D.jpg?w=700&webp=1 "[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic")
![[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic](https://image.shishitao.com:8440/aHR0cHM6Ly93d3cuaXRkYWFuLmNvbS9pLzJmNWZjZjVkN2FmM2JjYmQyNDZlNDY3M2Y4ZmIzYWUxMTAuanBn.jpg?w=700&webp=1 "[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic")
Truth Tables
![[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic](https://image.shishitao.com:8440/aHR0cHM6Ly93d3cuaXRkYWFuLmNvbS9pLzJmNWZjZjVkN2FmM2JjYmQyNDZlNDY3M2Y4ZmIzYWUxMTEuanBn.jpg?w=700&webp=1 "[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic")
![[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic](https://image.shishitao.com:8440/aHR0cHM6Ly93d3cuaXRkYWFuLmNvbS9pLzJmNWZjZjVkN2FmM2JjYmQyNDZlNDY3M2Y4ZmIzYWUxMTIuanBn.jpg?w=700&webp=1 "[Knowledge-based AI] {ud409} Lesson 12: 12 - Logic")
相关文章
- [Knowledge-based AI] {ud409} Lesson 14: 14 - Understanding
- [Knowledge-based AI] {ud409} Lesson 20: 20 - Constraint Propagation
- [Knowledge-based AI] {ud409} Lesson 22: 22 - Diagnosis
- [Knowledge-based AI] {ud409} Lesson 16: 16 - Scripts
- [Knowledge-based AI] {ud409} Lesson 17: 17 - Explanation-Based Learning
- [Knowledge-based AI] {ud409} Lesson 18: 18 - Analogical Reasoning
- [Knowledge-based AI] {ud409} Lesson 12: 12 - Logic
- [Knowledge-based AI] {ud409} Lesson 19: 19 - Version Spaces
- [Knowledge-based AI] {ud409} Lesson 9: 09 - Case-Based Reasoning