itgle.com
在不同谓词公式中，往往会出现谓词名相同但其个体不同的情况，此时推理过程可以直接进行匹配。
题目
在不同谓词公式中，往往会出现谓词名相同但其个体不同的情况，此时推理过程可以直接进行匹配。
相似考题
参考答案和解析
A
更多“在不同谓词公式中，往往会出现谓词名相同但其个体不同的情况，此时推理过程可以直接进行匹配。”相关问题
-
第1题：
基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
正确答案:错误 -
第2题：
归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
正确答案:正确 -
第3题：
在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。
正确答案:辖域 -
第4题：
合一算法：求非空有限具有相同谓词名的原子公式集的（）
正确答案:最一般合一（MGU） -
第5题：
谓词和谓词性短语可以作宾语吗？
正确答案:汉语里体词和体词性短语经常作宾语，不过，谓词和谓词性短语也可以充当宾语。谓词性短语作宾语同动词有密切的关系。有的动词，例如“同意、赞成、反对、喜欢、担心”等，既能带体词性宾语，也能带谓词性宾语。也有的动词只能带谓词性宾语，例如“感到、主张、打算、希望、禁止”等。谓词和谓词性短语作宾语的、例如：
①我们主张尽快解决这个问题。
②领导正讨论派谁去参加会议。
③政府对这些人进行了批评教育
④我赞成给上边打个报告。
⑤我明天打算去。 -
第6题：
产生式的基本形式是什么？它与谓词逻辑中的蕴含式有什么共同处及不同处？
正确答案: 产生式的基本形式是“IFPTHENQ”，其中，P是产生式的前提，用于指出该产生式是否可用的条件；Q是一组结论或操作，用于指出前提P所指示的条件被满足时，应该得出的结论或应该执行的操作。
产生式基本形式与谓词逻辑中蕴含式的共同之处是具有相同的形式。
它们的区别是：蕴含式只能表示精确性知识，其逻辑值要么为真，要么为假；而产生式不仅可以表示精确性知识，而且可以表示不精确知识。 -
第7题：
举例说明兼语句与主谓词组作宾语句的不同。
正确答案:他派士兵冲过去（兼语句）；他同意士兵休息（主谓词组作宾语句）。区别：前者的动词有使动义；第一个动词后宾语是第二个动词的主语；后一个动词结构是前一个动词的结果；语音停顿应在兼语后。后者都不是。 -
第8题：
填空题设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。正确答案： 永真式解析： 暂无解析 -
第9题：
填空题根据谓词与项目的组合关系，可以把谓词分为（）、（）、（）、（）。正确答案： 零谓词,一元谓词,二元谓词,三元谓词解析： 暂无解析 -
第10题：
单选题仅个体变元被量化的谓词称为（）A一阶谓词
B原子公式
C二阶谓词
D全称量词
正确答案： B解析： 暂无解析 -
第11题：
填空题谓词公式与其子句集的关系是（）。正确答案： 包含解析： 暂无解析 -
第12题：
填空题合一算法：求非空有限具有相同谓词名的原子公式集的（）。正确答案： 最一般合一解析： 暂无解析 -
第13题：
命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？
正确答案:谓词逻辑比命题逻辑更复杂，由于谓词逻辑中的变量受到量词的约束，在归结之前需要对变量进行重命名即变量标准化，而在命题逻辑中的归结则不需要。 -
第14题：
仅个体变元被量化的谓词称为（）
- A、一阶谓词
- B、原子公式
- C、二阶谓词
- D、全称量词
正确答案:A -
第15题：
谓词公式与其子句集的关系是（）。
正确答案:包含 -
第16题：
根据谓词与项目的组合关系，可以把谓词分为（）、（）、（）、（）。
正确答案:零谓词；一元谓词；二元谓词；三元谓词 -
第17题：
设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。
正确答案:永真式 -
第18题：
在关系模型中，同一个关系中的不同属性，其属性名（）。
- A、可以相同
- B、不能相同
- C、可以相同，但数据类型不同
- D、必须相同
正确答案:A -
第19题：
单选题设谓词P（x）：x是奇数，Q（x）：x是偶数，谓词公式∃x（P（x）∨Q（x））在哪个个体域中为真？（ ）A自然数
B实数
C复数
DA，B，C均成立
正确答案： C解析：
∃x（P（x）∨Q（x））的意思是：存在x，x为奇数或x为偶数。显然当x为自然数时，∃x（P（x）∨Q（x））为真，而x为分数、无理数或复数时都为假，故本题选A。 -
第20题：
判断题归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。A对
B错
正确答案： 错解析： 暂无解析 -
第21题：
填空题在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。正确答案： 辖域解析： 暂无解析 -
第22题：
判断题基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。A对
B错
正确答案： 对解析： 暂无解析 -
第23题：
问答题谓词和谓词性短语可以作宾语吗？正确答案： 汉语里体词和体词性短语经常作宾语，不过，谓词和谓词性短语也可以充当宾语。谓词性短语作宾语同动词有密切的关系。有的动词，例如“同意、赞成、反对、喜欢、担心”等，既能带体词性宾语，也能带谓词性宾语。也有的动词只能带谓词性宾语，例如“感到、主张、打算、希望、禁止”等。谓词和谓词性短语作宾语的、例如：
①我们主张尽快解决这个问题。
②领导正讨论派谁去参加会议。
③政府对这些人进行了批评教育
④我赞成给上边打个报告。
⑤我明天打算去。解析： 暂无解析 -
第24题：
单选题在关系模型中，同一个关系中的不同属性，其属性名（）。A可以相同
B不能相同
C可以相同，但数据类型不同
D必须相同
正确答案： D解析： 暂无解析