《计算机非传统推理导论》求取 ⇩

目录1

前言1

第一章　传统推理1

1.1 演绎推理1

1.2　归纳推理16

1.3　类比推理23

参考文献25

第二章　不精确推理27

2.1　概述27

2.2　MYCIN的不精确推理模型28

2.3　主观贝斯（BAYES）方法36

2.4　模糊推理44

2.5　证据理论61

2.6　发生率计算73

2.7　概率论简介79

参考文献87

第三章　非单调推理89

3.1　简介89

3.2　缺省理论（Default Theories）91

3.3　非单调逻辑（Non-monotonic Logic）96

3.4　界限理论（Circumscription）98

3.5　正确性维持系统TMS（Truth Maintenance102

System）102

3.6　评价108

参考文献111

4.1　简介113

4.2　信念的推理表示113

第四章　非单调推理系统TMS113

4.3　正确性维持机制118

4.4　面向从属关系的回溯123

4.5　TMS小结126

4.6　TMS存在的问题129

4.7　改进选择错误的方法133

4.8　模糊非单调推理系统FTMS135

4.9　FTMS的实现问题142

4.10　不精确非单调推理系统的讨论148

参考文献151

5.1　简介154

第五章　基于假设的非单调推理系统ATMS154

5.2　基本定义157

5.3　基本数据结构160

5.4　环境网162

5.5　基本操作和算法164

5.6　基于假设的模糊非单调推理系统FATMS167

5.7　问题的解决169

参考文献173

第六章　结束语175

6.1　遗留问题的解决175

6.2　今后的工作179

参考文献179