选择题：产生式系统求解问题的过程是一个反复进行“匹配－－冲突消解－－执行”的过程。

框架表示法不能表示具有因果关系的知识。这是一个关于框架 因果关系 人工智能导论的相关问题，下面我们来看

从初始证据出发，按某种策略不断运用知识库中的已知知识，逐步推出结论的过程称为推理。这是一个关于知识 证据 人工智能导论的相关问题，下面我们来看

对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。这是一个关于子句 谓词 人工智能导论的相关问题，下面我们来看

对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。这是一个关于子句 谓词 人工智能导论的相关问题，下面我们来看

依据估价函数f(x)=g(x)+h(x)(其中g(x)为初始节点到节点x已实际付出的代价，h(x)是节点x到目标节点的最优路径的估计代价）对OPEN表中的节点进行排序，并且要求启发函数满足（），则称这种状态空间图的搜索算法为A*算法。这是一