国科大《高级人工智能》期末重点—符号主义部分

零、符号主义部分的整体框架梳理

1. 整体内容：知识表示和推理
2. 两大块：确定性的知识表示和推理、不确定性的知识表示（无推理，因为推理不成熟）
3. 确定性的知识讲了三大块：

• 命题逻辑
• 谓词逻辑
• 逻辑编程方式 + 一种编程语言prolog（怎么用prolog来实现编程）

4. 复习时的整体框架：
   

• 每学一种语言，要先对其进行形式化定义。
• 在形式化定义的逻辑之上，想要定义形式推演的规则。
  要满足两件事，形式推演系统推出来的东西都是对的（可靠性）；任意正确的结论都可由这套形式推演系统推出来（完备性）。总之，这个形式推演系统既可靠又完备。
• 什么叫正确？在形式逻辑中，“蕴含”即为正确的形式表示。