2.??基于规则的正向演绎系统对事实、规则和目标的化简过程：＿。 A. 用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*） B. 对规则的处理同（*）式。 C. 用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式...

9.??PROLOG属于逻辑程序设计语言，其理论基础是一阶谓词逻辑。 A. 错误 B. 正确 ...

4.??对基于规则的正向演绎系统，目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。 A. 错误 B. 正确 ...

9.??将结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，所得到的树称为＿。 A. 归结树 B. 证明树 C. 修改证明树 D. 置换 ...

4.??基于规则的逆向演绎系统的子句形式：＿。 A. 子句的合取式（合取范式） B. 子句的析取式（析取范式） C. 文字的析取式 D. 文字的合取式 ...

1.??基于归结法的问题提取回答的过程：＿。 A. 先用归结法证明结论成立，并画出归结树 B. 找出结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，得到修改证明树 C. 在原来归结树中空子句所在位置得到一...

8.??对变量作必要的换名，使每一量词只约束一个唯一的变量名。由于变量名可任意设定，因而该过程不影响合式公式的真值。 A. 错误 B. 正确 ...

3.??归结过程就是"寻找"空子句的过程。 A. 错误 B. 正确 ...

8.??在AO*算法中，已知h（n）函数对一个与或图中各节点的假想估值如下：h（n0）＝3，h（n1）＝2，h（n2）＝4，h（n3）＝4，h（n4）＝1，h（n5）＝1，h（n6）＝2，h（n7）＝h（n8）＝0（目标节点）。此外假设k-连接符的耗散值为k。开始时，初始节点n0，n0被扩...

3.??若存在一个置换s使得表达式集{Ei}中每个元素经置换后的例有：E1s＝E2s＝E3s＝…，则称表达式集{Ei}是可＿的，这个置换s称作{Ei}的＿者。 A. 置换 置换 B. 合一 合一 C. 归结 归结 D. 递归 递归 ...