《计算机解题逻辑》求取 ⇩

第一章导论1

亲属关系示例和子句形式2

子句形式的更精确定义4

自顶向下和自底向上的定义表示方式5

目 录6

原序6

子句形式的语义学6

“易犯错误的希腊人”示例7

“求阶乘”示例8

个体域与解释9

矛盾性的更精确定义11

不同结论的语义学11

Horn子句12

蘑菇（Mushroom）和菌蕈（Toadstoo1）12

习题13

第二章子句形式表示法16

中缀（Infix）表示法16

变量与个体类型17

存在18

否定式20

蕴含式结论的否定21

蕴含式条件22

定义与“当且仅当”（If-and-only-if）23

语义网络24

扩充语义网络（Extended SemanticNetwork）24

信息的二元谓词符号表示法25

二元表示方式的优点26

数据库28

数据查询语言29

完整性约束30

数据描述30

一个大学院系的数据库31

等号32

习题34

第三章 自顶向下和自底向上Horn子句证明过程38

引言38

语法分析问题38

语法分析问题的谓词逻辑表示方式39

自底向上推理41

自顶向下推理42

亲属关系示例44

推理规则与搜索策略46

无限搜索空间——自然数49

一些定义51

代换与匹配53

推理系统的正确性与完备性54

习题54

路径寻找57

容器灌水问题57

第四章Horn子句解题57

一个简化的路径寻找问题58

搜索空间的图表示方式59

容器灌水问题的搜索空间60

路径寻找的搜索策略62

问题化简的与－或树表示方式63

Horn子句的解题解释65

分裂法与独立子目标66

非独立子目标67

寻找与证明68

引理（Lemmas）、重复子目标和循环69

问题化简空间中的搜索策略70

双向解题方式73

双向解题方式的图示法74

路径寻找问题的另一种形式75

问题求解的其它方面75

习题76

第五章Horn子句的过程解释78

作为数据结构的项78

输入与输出参数的变化80

逐次向输出量逼近的计算操作80

第一类非确定性—若干过程匹配一个过程调用81

被看作迭代的顺序搜索82

“不知”或“不管”的第一类非确定性83

第二类非确定性—过程调用的调度84

程序的自底向上执行87

逻辑程序的语用学内容89

数据结构的分离89

以项或关系作为数据结构91

数据库形式体系与程序设计语言92

算法＝逻辑＋控制93

控制成分的规范94

自然语言＝逻辑＋控制96

习题96

第六章制订规划和框架问题99

制订规划和积木世界99

积木世界问题的子句表示方式100

状态空间公理（12）的自底向上执行方式103

框架公理（15）的自底向上执行方式103

框架公理的自顶向下和自底向上的混合执行方式104

状态空间和框架公理的自顶向下执行方式106

规划制订的应用107

一些限制108

习题109

第七章消解110

否定的目标与断言110

消解111

应用Horn子句的中间向外推理方式112

命题逻辑的示例113

非Horn子句的箭头图示法116

非Horn子句问题的析取解（Disjunctive Solutions）117

提取因子（Factoring）118

习题119

第八章连接图证明过程121

原始连接图121

连接图中连线的消解122

自顶向下和自底向上混合搜索——语法分析问题124

宏处理（Macro-processing）和中间向外的推理过程125

控制连线选择的箭头图示法126

自消解（Self-resolving）子句128

连接图证明过程129

消解式为重言式（Tautology）的连线删除129

习题131

第九章全局解题策略132

冗余子目标的删除132

增添代理子目标（Addition of Surrogate Subgoals）133

舍弃矛盾的目标语句134

几何学中图示法应用的推广135

将目标作为广义解135

目标变换与信息爆炸136

使用差别分析的循环检测136

阶乘示例138

过程的不变性139

习题140

第十章子句形式与标准形式的比较142

逻辑标准形式引论142

转换成子句形式145

子句形式与标准形式的比较147

合取的结论与析取的条件148

析取的结论149

定义的“仅当”（Only-if）部分149

用蕴含式作为蕴含式的条件150

从规范推导程序151

习题152

第十一章 “当且仅当”155

对定义“仅当”部分的需要155

项或关系作为数据结构156

未被说明的“仅当”部分假说157

“仅当”的歧义性158

目标语言与元语言解答159

关于否定的目标语言与元语言解释160

扩充“否定被解释为失败”内容的Horn子句161

程序性质的证明163

对逻辑结论单调性的批评164

习题164

第十二章可证性形式体系166

正确表达性（CorrectRepresentability）166

一个简单的可证性关系的定义167

直接执行与模拟168

假说的增加和抑制170

自举（Bootstrapping）170

目标语言与元语言结合171

目标语言与元语言结合的不完备性172

Demonstrate关系的较广泛形式173

习题174

第十三章逻辑、变化与矛盾176

信息系统176

信息系统变化运动学177

一致性的恢复178

一个处理自然语言的逻辑程序180

结束语182

参考文献183