| 开本：16开 |
| 纸张：胶版纸 |
| 包装：平装-胶订 |
| 是否套装：否 |
| 国际标准书号ISBN：9787307031685 |
| 所属分类：图书>小说>中国当代小说 |
全国三仓发货，物流便捷，下单秒杀，欢迎选购！重磅推荐
内容简介
这本《次协调逻辑与人工智能（）》，编写协调逻辑基本原理，包括历史背景、现实原型、次协调逻辑命题演算，谓词演算、道义演算以及在集合论与辩证逻辑中的初步应用等等，由作者所写。第二编一系列创新的次协调公理系统的绝大部分，大都出自陈立自的手笔。其中有相干、直觉主义、行为论、模糊、非单调等逻辑系统，还有辩证逻辑，我只是提供了些背景思想，引导他的兴趣转移到辩证逻辑形式化上来；技术方面只有小部分工作才属于作者的，但在文字上作者作了很多改写。陈自立认为，张清宇研究员的扣理逻辑公理系统或具有卡尔纳普式的业密性和形式美，然而陈本人却由于工程技术工作者的习惯性思维，迫使自己在建构形式体系时，时刻不忘记要面向计算机编程和机器实现。第三编在计算机人工智能方面的应用，则是由武汉大学计算机科学系朱福喜副教授担任。他在这方面有我年的工作经验，充分消化了 的有关文献。
本书作者的逻辑思想带有明显的非正统色彩，可能说我们特别喜欢非经典逻辑并属于逻辑学者听“第三世界”。
目 录
序
前言
编 次协调逻辑及其基本原理
章 次协调逻辑是从哪里来的
节 次协调思想并不神秘：几个引例
第二节 为什么会产生新逻辑
第三节 次协调逻辑的现实原型
第四节 悖论、二律背反与次协调逻辑
第五节 “协调论”、“交际思维学”中的次协调思想
第二章 次协调逻辑发展简史
节 卢卡西维茨论亚氏矛盾律
第二节 瓦西里也夫的“榻象逻辑”
第三节 雅斯可夫斯基的“商讨逻辑”
第三章 达科斯塔的次协调逻辑序
前言
编 次协调逻辑及其基本原理
章 次协调逻辑是从哪里来的
节 次协调思想并不神秘：几个引例
第二节 为什么会产生新逻辑
第三节 次协调逻辑的现实原型
第四节 悖论、二律背反与次协调逻辑
第五节 “协调论”、“交际思维学”中的次协调思想
第二章 次协调逻辑发展简史
节 卢卡西维茨论亚氏矛盾律
第二节 瓦西里也夫的“榻象逻辑”
第三节 雅斯可夫斯基的“商讨逻辑”
第三章 达科斯塔的次协调逻辑
节 概述
第二节 次协调命题演算
第三节 次协调谓词喾算与摹状词演算
第四节 次协调集合论的基本思想
第四章 次协调逻辑的其他分支
节 为什么需要有次协调道义逻辑
第二节 次协调道义演算
第三节 的道义可能世界语义学
第四节 为什么会有次协调辩证逻辑
第五节 次协调辩证逻辑系统的公理
第六节 次协调辨 证逻辑系统的元定理
第七节 次协调辩证逻辑系统的语义学
第八节 次协调辩证逻辑系统的扩展
第九节 次协调时态逻辑大意
第十节 次协调逻辑在其他方面的发展
第五章 次协调逻辑的哲学意义
节 次协调逻辑与逻辑哲学
第二节 次协调逻辑与辩证哲学
第二编 创建次协调逻辑新系统的尝试
第六章 基本构架——可用形式理论的符号表达
节 推理关系符号的约定
第二节 对“理发师悖论”与康托定理的形式化再分析
第三节 可用形式理论的公理构架
第七章 陷悖论逻辑及其扩展
节 引论
第二节 的语义与语义推理
第三节 命题演算的证明论——极小化语义表推演
第四节 命题演算的逻辑特性
……
第八章 次协调性的相干逻辑（）
第九章 次协调性的相干逻辑（）
第十章 规范逻辑及法律逻辑的新系统
第十一章 次协调性相干模糊逻辑
第十二章 哲学逻辑其他新公理系统
第三编 次协调逻辑在人工智能领域中的应用
第十三章 次协调逻辑在不协调知识库中进行推理的理论与应用
第十四章 次协调逻辑自动定理证明的理论与实现
附录
显示全部信息
商品详情
书名次协调逻辑与人工智能
作者桂起权陈自立朱福喜 著
出版社：武汉大学出版社
出版日期
字数
页码
版次
装帧：平装
开本：其他
商品重量：
内容简介
这本《次协调逻辑与人工智能（）》，编写协调逻辑基本原理，包括历史背景、现实原型、次协调逻辑命题演算，谓词演算、道义演算以及在集合论与辩证逻辑中的初步应用等等，由作者所写。第二编一系列创新的次协调公理系统的绝大部分，大都出自陈立自的手笔。其中有相干、直觉主义、行为论、模糊、非单调等逻辑系统，还有辩证逻辑，我只是提供了些背景思想，引导他的兴趣转移到辩证逻辑形式化上来；技术方面只有小部分工作才属于作者的，但在文字上作者作了很多改写。陈自立认为，张清宇研究员的扣理逻辑公理系统或具有卡尔纳普式的业密性和形式美，然而陈本人却由于工程技术工作者的习惯性思维，迫使自己在建构形式体系时，时刻不忘记要面向计算机编程和机器实现。第三编在计算机人工智能方面的应用，则是由武汉大学计算机科学系朱福喜副教授担任。他在这方面有我年的工作经验，充分消化了 的有关文献。
本书作者的逻辑思想带有明显的非正统色彩，可能说我们特别喜欢非经典逻辑并属于逻辑学者听“第三世界”。
目 录
序
前言
编 次协调逻辑及其基本原理
章 次协调逻辑是从哪里来的
节 次协调思想并不神秘：几个引例
第二节 为什么会产生新逻辑
第三节 次协调逻辑的现实原型
第四节 悖论、二律背反与次协调逻辑
第五节 “协调论”、“交际思维学”中的次协调思想
第二章 次协调逻辑发展简史
节 卢卡西维茨论亚氏矛盾律
第二节 瓦西里也夫的“榻象逻辑”
第三节 雅斯可夫斯基的“商讨逻辑”
第三章 达科斯塔的次协调逻辑序
前言
编 次协调逻辑及其基本原理
章 次协调逻辑是从哪里来的
节 次协调思想并不神秘：几个引例
第二节 为什么会产生新逻辑
第三节 次协调逻辑的现实原型
第四节 悖论、二律背反与次协调逻辑
第五节 “协调论”、“交际思维学”中的次协调思想
第二章 次协调逻辑发展简史
节 卢卡西维茨论亚氏矛盾律
第二节 瓦西里也夫的“榻象逻辑”
第三节 雅斯可夫斯基的“商讨逻辑”
第三章 达科斯塔的次协调逻辑
节 概述
第二节 次协调命题演算
第三节 次协调谓词喾算与摹状词演算
第四节 次协调集合论的基本思想
第四章 次协调逻辑的其他分支
节 为什么需要有次协调道义逻辑
第二节 次协调道义演算
第三节 的道义可能世界语义学
第四节 为什么会有次协调辩证逻辑
第五节 次协调辩证逻辑系统的公理
第六节 次协调辨 证逻辑系统的元定理
第七节 次协调辩证逻辑系统的语义学
第八节 次协调辩证逻辑系统的扩展
第九节 次协调时态逻辑大意
第十节 次协调逻辑在其他方面的发展
第五章 次协调逻辑的哲学意义
节 次协调逻辑与逻辑哲学
第二节 次协调逻辑与辩证哲学
第二编 创建次协调逻辑新系统的尝试
第六章 基本构架——可用形式理论的符号表达
节 推理关系符号的约定
第二节 对“理发师悖论”与康托定理的形式化再分析
第三节 可用形式理论的公理构架
第七章 陷悖论逻辑及其扩展
节 引论
第二节 的语义与语义推理
第三节 命题演算的证明论——极小化语义表推演
第四节 命题演算的逻辑特性
……
第八章 次协调性的相干逻辑（）
第九章 次协调性的相干逻辑（）
第十章 规范逻辑及法律逻辑的新系统
第十一章 次协调性相干模糊逻辑
第十二章 哲学逻辑其他新公理系统
第三编 次协调逻辑在人工智能领域中的应用
第十三章 次协调逻辑在不协调知识库中进行推理的理论与应用
第十四章 次协调逻辑自动定理证明的理论与实现
附录
显示全部信息
商品详情
书名次协调逻辑与人工智能
作者桂起权陈自立朱福喜 著
出版社：武汉大学出版社
出版日期
字数
页码
版次
装帧：平装
开本：其他
商品重量：