次协调逻辑与人工智能_人工智能教程

资源名称:次协调逻辑与人工智能

 

内容简介:
这本《次协调逻辑与人工智能(AI)》,第一编写协调逻辑基本原理,包括历史背景、现实原型、次协调逻辑命题演算,谓词演算、道义演算以及在集合论与辩证逻辑中的初步应用等等,由作者所写。第二编一系列创新的次协调公理系统的绝大部分,大都出自陈立自的手笔。技术方面只有小部分工作才属于作者的,但在文字上作者作了很多改写。第三编在计算机人工智能方面的应用,则是由武汉大学计算机科学系朱福喜副教授担任。本书作者的逻辑思想带有明显的非正统色彩,可能说我们特别喜欢非经典逻辑并属于逻辑学者听“第三世界”。

 

资源目录:

前言

第一编 次协调逻辑及其基本原理

第一章 次协调逻辑是从哪里来的

第一节 次协调思想并不神秘:几个引例

第二节 为什么会产生新逻辑

第三节 次协调逻辑的现实原型

第四节 悖论、二律背反与次协调逻辑

第五节 “协调论”、“交际思维学”中的次协调思想

第二章 次协调逻辑发展简史

第一节 卢卡西维茨论亚氏矛盾律

第二节 瓦西里也夫的“榻象逻辑”

第三节 雅斯可夫斯基的“商讨逻辑”

第三章 达科斯塔的次协调逻辑

第一节 概述

第二节 次协调命题演算C

第三节 次协调谓词喾算与摹状词演算

第四节 次协调集合论的基本思想

第四章 次协调逻辑的其他分支

第一节 为什么需要有次协调道义逻辑

第二节 次协调道义演算C

第三节 C的道义可能世界语义学

第四节 为什么会有次协调辩证逻辑

第五节 次协调辩证逻辑DL系统的公理

第六节 次协调辨 证逻辑DL系统的元定理

第七节 次协调辩证逻辑DL系统的语义学

第八节 次协调辩证逻辑DL系统的扩展

第九节 次协调时态逻辑大意

第十节 次协调逻辑在其他方面的发展

第五章 次协调逻辑的哲学意义

第一节 次协调逻辑与逻辑哲学

第二节 次协调逻辑与辩证哲学

第二编 创建次协调逻辑新系统的尝试

第六章 基本构架——可用形式理论的符号表达

第一节 推理关系符号的约定

第二节 对“理发师悖论”与康托定理的形式化再分析

第三节 可用形式理论的公理构架

第七章 陷悖论逻辑Lpm及其扩展

第一节 引论

第二节 Lpm的语义与语义推理

第三节 Lpm命题演算的证明论——极小化语义表推演

第四节 Lpm命题演算的逻辑特性

……

第八章 次协调性的相干逻辑PC(1)

第九章 次协调性的相干逻辑PC(2)

第十章 规范逻辑及法律逻辑的新系统

第十一章 次协调性相干模糊逻辑PFZ

第十二章 哲学逻辑其他新公理系统

第三编 次协调逻辑在人工智能领域中的应用

第十三章 次协调逻辑在不协调知识库中进行推理的理论与应用

第十四章 次协调逻辑自动定理证明的理论与实现

附录

 

资源截图:

1.png

最有IT资源网是一家专门做网站源码的网站,网站提供网站源码、网站模板、网页特效的下载,以“共享创造价值”为理念,致力于打造一个优秀的互联网资源网。
源码教程搜藏网_专注精品网站源码下载视频资源的网站_免费商业源码视频资源分享 » 次协调逻辑与人工智能_人工智能教程
关于售后:
(1)、因部分资料含有敏感关键词,百度网盘无法分享链接,请联系客服进行发送;
(2)、所有资料在您未收到之前,都可以联系QQ:1091490218 !
(3)、仅支持原渠道退回,学分退回学分余额,微信支付、支付宝退回至您当初选择的付款方式!
(4)、不用担心不给资料,如果没有及时回复也不用担心,看到了都会发给您的!放心!

发表评论

售后服务:

  • 售后服务范围 1、商业模板使用范围内问题免费咨询
    2、源码安装、模板安装(一般 ¥50-300)服务答疑仅限SVIP用户
    3、单价超过200元的模板免费一次安装,需提供服务器信息。
    付费增值服务 1、提供dedecms模板、WordPress主题、discuz模板优化等服务请详询在线客服
    2、承接 WordPress、DedeCMS、Discuz 等系统建站、仿站、开发、定制等服务
    3、服务器环境配置(一般 ¥50-300)
    4、网站中毒处理(需额外付费,500元/次/质保三个月)
    售后服务时间 周一至周日(法定节假日除外) 9:00-23:00
    免责声明 本站所提供的模板(主题/插件)等资源仅供学习交流,若使用商业用途,请购买正版授权,否则产生的一切后果将由下载用户自行承担,有部分资源为网上收集或仿制而来,若模板侵犯了您的合法权益,请来信通知我们(Email: 1091490218@qq.com),我们会及时删除,给您带来的不便,我们深表歉意!

Hi, 如果你对这款模板有疑问,可以跟我联系哦!

联系作者
享更多特权,请先注册登录
喜欢我嘛?喜欢就按“ctrl+D”收藏我吧!♡