人工智能第一章Introduction.pptVIP

Logical Foundations of Artificial Intelligence 尹传环 chhyin@bjtu.edu.cn School of computer Information Technology Beijing Jiaotong University Goal 了解人工智能领域的基本知识 掌握用一阶谓词逻辑表示知识的方法 掌握用归结原理求解问题的方法 了解非单调逻辑的基本思想和方法 能用上述原理和方法解决实际问题 Contents Chapter 1: Introduction Logical Approach to AI Chapter 2: Declarative Knowledge Chapter 3: Inference Chapter 4. Resolution Chapter 5. Resolution Strategies Expandation of Logical Approach Chapter 6. Nonmonotonic Reasoning Chapter 7. Induction (Machine Learning) Contents Chapter 8. Reasoning with Uncertain Belief (Knowledge Engineering) Modal