具体描述
《人工智能逻辑讲义》内容简介：人工智能逻辑是用逻辑方法和成果研究智能主体如何处理知识的学问，主要研究主体的常识推理。这种推理具有非单调性和信息不完备性。本讲义分别介绍了三种主要的人工智能逻辑：缺省逻辑、非单调模态逻辑和限定逻辑。缺省逻辑的主要思想是在经典逻辑中增加刻画常识推理的缺省推理规则，由此形成的扩张概念刻画了主体的信念集及其变化。非单调模态逻辑是用“知”和“信”那样的认识论算子研究主体的认知状态，用具有反思性质的稳定集概念刻画主体的认知状态。限定逻辑的主要思想是合理限定通常的谓词逻辑所描述的谓词，从而合理限定这样的谓词指称的类的外延以排除反常的对象，因此限定逻辑在形式上提供一般的方法来极小化任意选出的谓词或者由谓词构成的公式，从而在直观上刻画了主体常识推理的能力。
本讲义内容丰富，知识面广，表达严谨，例题习题丰富，可作为高等学校逻辑学专业本科生、研究生教材使用。
作者简介
目录信息
第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 逐点限定逻辑
参考文献
后记
· · · · · · (收起)
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 逐点限定逻辑
参考文献
后记
· · · · · · (收起)
读后感
评分
评分
评分
评分
评分
用户评价
评分
评分
评分
评分
评分
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有