新华正版 人工智能逻辑讲义 李小五著 9787306069573 中山大学出版社
举报
新华书店直发 全新正版 急速发货 开票联系客服
-
作者:
李小五著
-
出版社:
中山大学出版社
-
ISBN:
9787306069573
-
出版时间:
2020-10
-
装帧:
精装
-
开本:
16开
-
ISBN:
9787306069573
-
出版时间:
2020-10
售价
¥
70.56
8.4折
定价
¥84.00
品相
全新
上书时间2024-03-27
卖家超过10天未登录
手机购买
微信扫码访问
-
-
商品描述:
-
目录
第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依赖语境的证明2S-膨胀及其基本性质3极小模型语义4相对反思的一致性5S.膨胀的再认识第7章几个重要的非单调模态逻辑1非单调逻辑N2非单调逻辑KD45和Sw53自识逻辑4与单调模态逻辑的对应5对反思的限制6与缺省逻辑的互译第8章限定逻辑0经典二阶逻辑1直观思想2谓词限定逻辑3公式限定逻辑4二阶限定逻辑5非递归的限定逻辑6个体域限定逻辑7逐点限定逻辑参考文献
内容摘要
人们几乎天天使用常识推理,但用形式化的方式来表示却非常困难。人工智能是研究解决某些通常被认为要用智能才能解决的问题的计算机技术,人工智能研究计算机刻画主体如何获得知识和处理知识的能力,人工智能逻辑就是用逻辑方法和成果研究主体如何处理知识的理论。《人工智能逻辑讲义/中山大学哲学精品教程》分8章,从人工智能的角度来建立逻辑理论系统,系统全面地介绍了人工智能逻辑的基本理论与方法。《人工智能逻辑讲义/中山大学哲学精品教程》理论性强、概念表达清晰、定义定理公理表达准确,适合有关专业本科生及研究生作教材使用。
孔网啦啦啦啦啦纺织女工火锅店第三课
开播时间:09月02日 10:30
即将开播,去预约
直播中,去观看