解释下列概念的主要含义：（每题5 分，共30 分） 1、状态空间法：从某个初始状态开始，每次加一个操作符，递增地建立起操作符的实验序列，直至 达到目标状态止
2、原子谓词公式：用P(x1,x2,…,xn)表示一个n 元谓词公式其中 P 为 n 元谓词，x1,x2,…xn 为客体变量或变元
3、合一：寻找项对变量的置换，以使两表达式一致
4、框架：通常由描述事物的各个方面的槽组成，每个槽可以拥有若干个侧面，而每个侧面又可以拥有若干个值
5、消解反演：把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾，这说明目标公式的否定式不成立，即有目标公式成立，定理得证，问题得到解决
6、问题归约法：问题归约法从目标(要解决的问题)出发，逆向推理，通过一系列变换把初始问题变换为子问题集合和子子问题集合，直至最后归约为一个平凡的本原问题集合
这些本原问题的解可以直接得到从而解决了初始问题，用与或图来有效地说明问题归约法的求解途径
问题归约法能够比状态空间法更有效地表示问题
状态空间法是问题归约法的一种特例
在问题归约法的与或图中，包含有与节点和或节点，而在状态空间法中只含有或节点
7、置换：就是在表达式中用置换项置换变量
8、语义网络：是知识的一种图解表示，它由节点和弧线或链线组成
节点用于表示实体、概念和情况等，弧线用于表示节点间的关系
9、消解：对谓词演算公式进行分解和化简，消去一些符号，以求得导出子句,又称归结
10、规则演绎系统：基于规则的问题求解系统运用If→Then 规则来建立，每个if 可能与某断言(assertion，主张)集合中的一个或多个断言匹配
有时把该断言集称为工作内存，then 部分用于规定放入工作内存的新断言
这种基于规则的系统叫做规则
