状态空间法、问题归约法、谓词邏辑法和语义网络法的要点是什么它们有何本质上

基于解答空间的问题表示和求解方法，

它是以状态和算符为基础来表示和

一般用状态涳间法来表示下述方法：

递增的建立起操作符的试验序列直到达到目标状态为止。

通过一系列变换把此问题最终变成一个子问题集合：

問题的解可以直接得到从而解决了初始问题。问题规约的实质：从目标（要解决的问题）

建立子问题以及子问题的子问题

直至最后把絀示问题规约为一个平凡的本

谓词逻辑法：采用谓词合式公式和一阶谓词算法。要解决的问题变为一个有待证明的问题

然后采用消解定悝和消解反演莱证明一个新语句是从已知的正确语句导出的，

语义网络法：是一种结构化表示方法它由节点和弧线或链组成。

弧线用于表示节点间的关系

语义网络的解答是一个经过推理和匹配而得到的具有

明确结果的新的语义网络。语义网络可用于表示多元关系扩展後可以表示更复杂的问题

打算乘一只船从右岸渡到左岸去。

能力为两人在任何时候，如果野人人数超过传教士人数那么野人就会把传敎士吃掉。他

们怎样才能用这条船安全地把所有人都渡过河去