Introduction

这是《人工智能逻辑》的课程笔记，课程教材同课程名称，高等教育出版社出版。
这里的几乎所有内容都是这本书的拷贝，省略了例子，基本都是概念。

目录

• 导论
• 经典演绎逻辑
  • 命题逻辑
  • 一阶逻辑
  • 知识图谱与描述逻辑
• 非单调逻辑
  • 缺省逻辑
  • 回答集编程
• 基于论证的推理
  • 经典抽象论辩理论
  • 结构化论辩理论
  • 论辩语义的计算方法
• 不确定推理
  • 贝叶斯网络
• 复习总结

Comments