人工智能逻辑讲义

内容概要

李小五，男，1955年1月生于浙江湖州，1986年在北京大学哲学系攻读逻辑学研究生，1989年获硕士学位，1992年调入中国社会科学院哲学所逻辑研究室，2002年8月进入中山大学逻辑与认知研究所。主要著作有《现代归纳逻辑与概率逻辑》、《无穷逻辑》（上下卷），还发表论文20余篇，

书籍目录

第0章 预备知识

1 集合论初步

2 句子逻辑初步

3 谓词逻辑初步

第1章 一般缺省逻辑

1 经典句子逻辑中的单调推理规则

2 缺省推理与缺省理论的基本性质

3 缺省理论的扩张

4 缺省规则的良序化

5 弱扩张与部分扩张

6 量化逻辑

第2章 子缺省逻辑

1 正规缺省逻辑

2 半正规缺省逻辑

第3章 缺省逻辑的变种（上）

1 正当缺省逻辑

2 累积缺省逻辑

3 析取缺省逻辑

第4章 缺省逻辑的变种（下）

1 优先缺省逻辑

2 约束缺省逻辑

3 合理缺省逻辑

第5章 模态逻辑基础与稳定理论

1 模态逻辑基础

2 稳定理论

第6章 模态系统的膨胀理论

1 依赖语境的证明

2 S-膨胀及其基本性质

3 极小模型语义

4 相对反思的一致性

5 S-膨胀的再认识

第7章 几个重要的非单调模态逻辑

1 非单调逻辑N

2 非单调逻辑KD45和Sw5

3 自识逻辑

4 与单调模态逻辑的对应

5 对反思的限制

6 与缺省逻辑的互译

第8章 限定逻辑

0 经典二阶逻辑

1 直观思想

2 谓词限定逻辑

3 公式限定逻辑

4 二阶限定逻辑

5 非递归的限定逻辑

6 个体域限定逻辑

7 逐点限定逻辑

参考文献

后记

作者简介

《人工智能逻辑讲义》内容简介：人工智能逻辑是用逻辑方法和成果研究智能主体如何处理知识的学问，主要研究主体的常识推理。这种推理具有非单调性和信息不完备性。本讲义分别介绍了三种主要的人工智能逻辑：缺省逻辑、非单调模态逻辑和限定逻辑。缺省逻辑的主要思想是在经典逻辑中增加刻画常识推理的缺省推理规则，由此形成的扩张概念刻画了主体的信念集及其变化。非单调模态逻辑是用“知”和“信”那样的认识论算子研究主体的认知状态，用具有反思性质的稳定集概念刻画主体的认知状态。限定逻辑的主要思想是合理限定通常的谓词逻辑所描述的谓词，从而合理限定这样的谓词指称的类的外延以排除反常的对象，因此限定逻辑在形式上提供一般的方法来极小化任意选出的谓词或者由谓词构成的公式，从而在直观上刻画了主体常识推理的能力。

本讲义内容丰富，知识面广，表达严谨，例题习题丰富，可作为高等学校逻辑学专业本科生、研究生教材使用。

图书封面

---

 人工智能逻辑讲义下载

---