谓词逻辑的历史

1.状态空间法:是一种基于解空间的问题表示和求解方法，以状态和算子为基础。

2.问题归约法:是一种基于状态空间的问题描述和求解方法。

3.谓词逻辑法:利用适当的谓词公式和一阶谓词演算，把要解决的问题变成要证明的问题，然后利用归结定理和归结反演，证明一个新的语句是从一个已知的正确语句导出的，从而证明这个新的语句也是正确的。

4.语义网络法:是以网络格式表达人类知识结构的一种形式。

第二，特点不同

1.状态空间法:由于矩阵表示，当状态变量、输入变量或输出变量的数量增加时，不增加系统描述的复杂度。

2.问题归约法:在问题归约法的与或图中，有与节点和或节点，而在状态空间法中，只有或节点。

3.谓词逻辑方法:谓词逻辑方法经常与其他表示方法混合使用，灵活方便，可以表示更复杂的问题。

4.语义网络法:语义网络可以表达各种事实和规则，具有结构化的特点。

第三，用途不同

1，状态空间法:只适合表达相对简单的问题；它非常适合用数字电子计算机进行计算。

2.问题归约法:利用一系列算子将原问题的描述转化或分解为子问题的描述。问题的描述可以采用各种数据结构，如表、树、向量和数组。

3.谓词逻辑方法:通常用于计算机。

4.语义网络法:通常用于实际建模。