56、归结反演求解问题时将问题的否定和Answer谓词析取后加入公式集，最终答案就在Answer谓词中

第1题：

第2题：

命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？

正确答案:谓词逻辑比命题逻辑更复杂，由于谓词逻辑中的变量受到量词的约束，在归结之前需要对变量进行重命名即变量标准化，而在命题逻辑中的归结则不需要。

第3题：

仅个体变元被量化的谓词称为（）

• A、一阶谓词
• B、原子公式
• C、二阶谓词
• D、全称量词

正确答案:A

第4题：

如何通过消解反演求取问题的答案？

正确答案: 给出一个公式集S和目标公式L，通过反证或反演来求证目标公式L，其证明步骤如下：
（1）否定L，得～L；
（2）把～L添加到S中去；
（3）把新产生的集合｛～L，S｝化成子句集；
（4）应用消解原理，力图推导出一个表示矛盾的空子句NIL。

第5题：

谓词公式与其子句集的关系是（）。

正确答案:包含

第6题：

谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。

正确答案:假

第7题：

谓词和谓词性短语可以作宾语吗？

正确答案:汉语里体词和体词性短语经常作宾语，不过，谓词和谓词性短语也可以充当宾语。谓词性短语作宾语同动词有密切的关系。有的动词，例如“同意、赞成、反对、喜欢、担心”等，既能带体词性宾语，也能带谓词性宾语。也有的动词只能带谓词性宾语，例如“感到、主张、打算、希望、禁止”等。谓词和谓词性短语作宾语的、例如：
①我们主张尽快解决这个问题。
②领导正讨论派谁去参加会议。
③政府对这些人进行了批评教育
④我赞成给上边打个报告。
⑤我明天打算去。

第8题：

第9题：

第10题：

第11题：

第12题：

第13题：

基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。

正确答案:错误

第14题：

归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。

正确答案:正确

第15题：

已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（）

• A、状态空间法
• B、问题归约法
• C、谓词逻辑法
• D、语义网络法

正确答案:B

第16题：

在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。

正确答案:辖域

第17题：

合一算法：求非空有限具有相同谓词名的原子公式集的（）

正确答案:最一般合一（MGU）

第18题：

MSCe之间通过RFC3264所定义的Offer/Answer协商程序完成MGW之间的媒体编码选择。MGW之间的媒体编码选择的最终决定权在于Answer方，Answer方发送的SDP信息中的编码能力集的（）编码即为当前协商所选定的编码。

• A、第1个
• B、第2个
• C、第3个
• D、第4个

正确答案:A

第19题：

在SELECT语句中，用来限制查询结果集行数的谓词是（）。 

• A、SUM
• B、TOP
• C、COUNT
• D、BOTTOM

正确答案:B

第20题：

第21题：

第22题：

第23题：

第24题：