For personal use only in study and research; not for commercial use第二章 知识表示方法2-1 状态空间法、问题归约法、谓词逻辑法和语义网络法的要点是什么
它们有何本质上的联系及异同点
答：状态空间法：基于解答空间的问题表示和求解方法，它是以状态和算符为基础来表示和求解问题的
一般用状态空间法来表示下述方法：从某个初始状态开始，每次加一个操作符，递增的建立起操作符的试验序列，直到达到目标状态为止
问题规约法：已知问题的描述，通过一系列变换把此问题最终变成一个子问题集合：这些子问题的解可以直接得到，从而解决了初始问题
问题规约的实质：从目标（要解决的问题）出发逆向推理，建立子问题以及子问题的子问题，直至最后把出示问题规约为一个平凡的本原问题集合
谓词逻辑法：采纳谓词合式公式和一阶谓词算法
要解决的问题变为一个有待证明的问题然后采纳消解定理和消解反演莱证明一个新语句是从已知的正确语句导出的，从而证明这个新语句也是正确的
语义网络法：是一种结构化表示方法，它由节点和弧线或链组成
节点用于表示物体、概念和状态，弧线用于表示节点间的关系
语义网络的解答是一个经过推理和匹配而得到的具有明确结果的新的语义网络
语义网络可用于表示多元关系，扩展后可以表示更复杂的问题2-2 设有 3 个传教士和 3 个野人来到河边，打算乘一只船从右岸渡到左岸去
该船的负载能力为两人
在任何时候，假如野人人数超过传教士人数，那么野人就会把传教士吃掉
他们怎样才能用这条船安全地把所有人都渡过河去
用 Si(nC, nY) 表示第 i 次渡河后，河对岸的状态，nC 表示传教士的数目，nY 表示野人的数目，由于总人数的确定的，河对岸的状态确定了，河这边的状态也即确定了
考虑到题目的限制条件，要同时保证，河两岸的传教士数目不少于野人数目，故在整个渡河的
