统一声明:
1.本站联系方式QQ:1754646538 TG:@UXWNET 如果有其他人通过本站链接联系您导致被骗,本站一律不负责! 2.需要付费搭建请联系站长QQ:1754646538 TG:@UXWNET 3.国外免备案服务器- 游侠云服务 4.免实名域名注册购买- 游侠云域名 5.免实名国外服务器购买- 游侠网云服务资源名称:次协调逻辑与人工智能
内容简介:
这本《次协调逻辑与人工智能(AI)》,第一编写协调逻辑基本原理,包括历史背景、现实原型、次协调逻辑命题演算,谓词演算、道义演算以及在集合论与辩证逻辑中的初步应用等等,由作者所写。第二编一系列创新的次协调公理系统的绝大部分,大都出自陈立自的手笔。技术方面只有小部分工作才属于作者的,但在文字上作者作了很多改写。第三编在计算机人工智能方面的应用,则是由武汉大学计算机科学系朱福喜副教授担任。本书作者的逻辑思想带有明显的非正统色彩,可能说我们特别喜欢非经典逻辑并属于逻辑学者听“第三世界”。
资源目录:
序
前言
第一编 次协调逻辑及其基本原理
第一章 次协调逻辑是从哪里来的
第一节 次协调思想并不神秘:几个引例
第二节 为什么会产生新逻辑
第三节 次协调逻辑的现实原型
第四节 悖论、二律背反与次协调逻辑
第五节 “协调论”、“交际思维学”中的次协调思想
第二章 次协调逻辑发展简史
第一节 卢卡西维茨论亚氏矛盾律
第二节 瓦西里也夫的“榻象逻辑”
第三节 雅斯可夫斯基的“商讨逻辑”
第三章 达科斯塔的次协调逻辑
第一节 概述
第二节 次协调命题演算C
第三节 次协调谓词喾算与摹状词演算
第四节 次协调集合论的基本思想
第四章 次协调逻辑的其他分支
第一节 为什么需要有次协调道义逻辑
第二节 次协调道义演算C
第三节 C的道义可能世界语义学
第四节 为什么会有次协调辩证逻辑
第五节 次协调辩证逻辑DL系统的公理
第六节 次协调辨 证逻辑DL系统的元定理
第七节 次协调辩证逻辑DL系统的语义学
第八节 次协调辩证逻辑DL系统的扩展
第九节 次协调时态逻辑大意
第十节 次协调逻辑在其他方面的发展
第五章 次协调逻辑的哲学意义
第一节 次协调逻辑与逻辑哲学
第二节 次协调逻辑与辩证哲学
第二编 创建次协调逻辑新系统的尝试
第六章 基本构架——可用形式理论的符号表达
第一节 推理关系符号的约定
第二节 对“理发师悖论”与康托定理的形式化再分析
第三节 可用形式理论的公理构架
第七章 陷悖论逻辑Lpm及其扩展
第一节 引论
第二节 Lpm的语义与语义推理
第三节 Lpm命题演算的证明论——极小化语义表推演
第四节 Lpm命题演算的逻辑特性
……
第八章 次协调性的相干逻辑PC(1)
第九章 次协调性的相干逻辑PC(2)
第十章 规范逻辑及法律逻辑的新系统
第十一章 次协调性相干模糊逻辑PFZ
第十二章 哲学逻辑其他新公理系统
第三编 次协调逻辑在人工智能领域中的应用
第十三章 次协调逻辑在不协调知识库中进行推理的理论与应用
第十四章 次协调逻辑自动定理证明的理论与实现
附录
资源截图:
常见问题FAQ
- 免费下载或者VIP会员专享资源能否直接商用?
- 本站所有资源版权均属于原作者所有,这里所提供资源均只能用于参考学习用,请勿直接商用。若由于商用引起版权纠纷,一切责任均由使用者承担。更多说明请参考 VIP介绍。
- 提示下载完但解压或打开不了?
- 最常见的情况是下载不完整: 可对比下载完压缩包的与网盘上的容量,若小于网盘提示的容量则是这个原因。这是浏览器下载的bug,建议用百度网盘软件或迅雷下载。若排除这种情况,可在对应资源底部留言,或 联络我们.。
- 找不到素材资源介绍文章里的示例图片?
- 对于PPT,KEY,Mockups,APP,网页模版等类型的素材,文章内用于介绍的图片通常并不包含在对应可供下载素材包内。这些相关商业图片需另外购买,且本站不负责(也没有办法)找到出处。 同样地一些字体文件也是这种情况,但部分素材会在素材包内有一份字体下载链接清单。
2. 分享目的仅供大家学习和交流,您必须在下载后24小时内删除!
3. 不得使用于非法商业用途,不得违反国家法律。否则后果自负!
4. 本站提供的源码、模板、插件等等其他资源,都不包含技术服务请大家谅解!
5. 如有链接无法下载、失效或广告,请联系管理员处理!
6. 本站资源售价只是赞助,收取费用仅维持本站的日常运营所需!
7. 如遇到加密压缩包,请使用WINRAR解压,如遇到无法解压的请联系管理员!
8. 精力有限,不少源码未能详细测试(解密),不能分辨部分源码是病毒还是误报,所以没有进行任何修改,大家使用前请进行甄别!
站长QQ:1754646538 站长邮箱:1754646538@qq.com