扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
深度学习
-
>
Unreal Engine 4蓝图完全学习教程
-
>
深入理解计算机系统-原书第3版
-
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)
人工智能逻辑讲义/李小五/中山大学哲学精品教程 版权信息
- ISBN:9787306069573
- 条形码:9787306069573 ; 978-7-306-06957-3
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>
人工智能逻辑讲义/李小五/中山大学哲学精品教程 内容简介
人们几乎天天使用常识推理,但用形式化的方式来表示却很好困难。人工智能是研究解决某些通常被认为要用智能才能解决的问题的计算机技术,人工智能研究计算机刻画主体如何获得知识和处理知识的能力,人工智能逻辑就是用逻辑方法和成果研究主体如何处理知识的理论。本书分8章,从人工智能的角度来建立逻辑理论系统,系统全面地介绍了人工智能逻辑的基本理论与方法。
人工智能逻辑讲义/李小五/中山大学哲学精品教程 目录
第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 逐点限定逻辑
参考文献
展开全部
人工智能逻辑讲义/李小五/中山大学哲学精品教程 作者简介
李小五,1955年1月生于浙江湖州。1984年6月毕业于北京大学哲学系获哲学学士学位,1989年1月毕业于北京大学哲学系逻辑学专业获哲学硕士学位。现任中山大学逻辑与认知研究所教授、博士生导师。
书友推荐
本类畅销
-
”互联网+“时代计算机算法的应用及其实践研究
¥19.9¥59 -
微服务设计
¥52.8¥69 -
图说深度学习:用可视化方法理解复杂概念
¥109¥188 -
计算机基础
¥17.2¥31 -
改变未来的九大算法
¥50¥68 -
生成式AI入门与AWS实战
¥77.8¥99.8