当前位置： 缺省逻辑的扩充 > 购买云解压PDF图书
- 作 者：傅丽著
- 出 版 社：北京：中国科学技术出版社
- 出版年份：2006
- ISBN：7504644242
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
7
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一章 谓词逻辑 1
1.1 谓词逻辑的语构 1
1.2 谓词逻辑的语义 3
1.3 证明理论 7
第二章 引言和预备知识 9
2.1 缺省逻辑的背景和主要形式 9
2.2 预备知识 14
2.3 缺省扩充 17
2.4 缺省证明 21
第三章 无前提正规闭缺省理论的扩充的构造性 29
3.1 无前提正规闭缺省理论的分类 30
3.2 关于无前提正规闭缺省理论的扩充的若干定理 32
3.3 制作无前提正规闭缺省理论扩充的一种准构造性方法 35
3.4 无前提正规闭缺省理论扩充的个数估计 38
第四章 扩充与缺省规则的简化和分类 40
4.1 缺省逻辑的可表示性 40
4.2 缺省逻辑的Roos扩充 45
4.3 扩充与缺省规则的简化和分类 52
第五章 累积缺省逻辑的扩充 60
5.1 预备知识 60
5.2 断言缺省理论的CDL扩充 61
5.3 CADL扩充 65
5.4 QDL扩充 68
5.5 几种断言缺省理论扩充的算法 71
第六章 统计缺省逻辑的扩充 75
6.1 预备知识 76
6.2 统计缺省扩充的计算 77
6.3 闭正规统计缺省理论 86
第七章 其他非单调逻辑的扩充 94
7.1 闭World假设 94
7.2 自认知逻辑 98
7.3 约束 104
后记 108
参考文献 110