您好,欢迎来到聚文网。 登录 免费注册
人工智能逻辑讲义

人工智能逻辑讲义

  • 字数: 536000
  • 装帧: 软精装
  • 出版社: 中山大学出版社
  • 出版日期: 2020-10-01
  • 商品条码: 9787306069573
  • 版次: 1
  • 开本: 16开
  • 页数: 452
  • 出版年份: 2020
定价:¥84 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
人们几乎天天使用常识推理,但用形式化的方式来表示却非常困难。人工智能是研究解决某些通常被认为要用智能才能解决的问题的计算机技术,人工智能研究计算机刻画主体如何获得知识和处理知识的能力,人工智能逻辑就是用逻辑方法和成果研究主体如何处理知识的理论。《人工智能逻辑讲义/中山大学哲学精品教程》分8章,从人工智能的角度来建立逻辑理论系统,系统全面地介绍了人工智能逻辑的基本理论与方法。《人工智能逻辑讲义/中山大学哲学精品教程》理论性强、概念表达清晰、定义定理公理表达准确,适合有关专业本科生及研究生作教材使用。
作者简介
李小五,1955年1月生于浙江湖州。1984年6月毕业于北京大学哲学系获哲学学士学位,1989年1月毕业于北京大学哲学系逻辑学专业获哲学硕士学位。现任中山大学逻辑与认知研究所教授、博士生导师。
目录
第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 逐点限定逻辑
参考文献

蜀ICP备2024047804号

Copyright 版权所有 © jvwen.com 聚文网