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

题目

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

相似考题

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

2.下面的谓词公式是有效式的是( )。A．Ⅰ和ⅡB．只有ⅡC．只有ⅢD．只有Ⅰ

3.消解是一种可用于一定的（）的重要推理规则。A、子句B、双条件C、合取公式D、蕴含公式

4.仅个体变元被量化的谓词称为()A.一阶谓词B.原子公式C.二阶谓词D.全称量词

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

  • 第1题：

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


    正确答案:正确

  • 第2题：

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


    正确答案:辖域

  • 第3题：

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


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

  • 第4题：

    基于规则的正向演绎系统的使用条件（）

    • A、事实表达式是任意形式
    • B、规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式
    • C、目标公式为文字析取形
    • D、目标公式是任意形式

    正确答案:A,B

  • 第5题：

    基于规则的逆向演绎系统对事实、规则和目标的化简过程（）

    • A、用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。
    • B、用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。
    • C、对规则的处理同（*）式。
    • D、用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）

    正确答案:A,C,D

  • 第6题：

    试述在SQL语句的WHERE条件子句中谓词ALL和ANY有何异同？


    正确答案:在SQL语句的WHERE条件子句中谓词ALL和ANY都是为了指定查询范围，ANY可以指定子查询结果中的某个值，而ALL则指定子查询结果的全部值。

  • 第7题：

    单选题
    设谓词P（x）：x是奇数，Q（x）：x是偶数，谓词公式∃x（P（x）∨Q（x））在哪个个体域中为真？（　　）
    A

    自然数

    B

    实数

    C

    复数

    D

    A，B，C均成立


    正确答案： C
    解析：
    ∃x（P（x）∨Q（x））的意思是：存在x，x为奇数或x为偶数。显然当x为自然数时，∃x（P（x）∨Q（x））为真，而x为分数、无理数或复数时都为假，故本题选A。

  • 第8题：

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

    正确答案： 最一般合一（MGU）
    解析： 暂无解析

  • 第9题：

    单选题
    基于规则的正向演绎系统的子句形式（）
    A

    子句的合取式（合取范式）

    B

    子句的析取式（析取范式）

    C

    文字的析取式

    D

    文字的合取式


    正确答案： D
    解析： 暂无解析

  • 第10题：

    单选题
    仅个体变元被量化的谓词称为（）
    A

    一阶谓词

    B

    原子公式

    C

    二阶谓词

    D

    全称量词


    正确答案： B
    解析： 暂无解析

  • 第11题：

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

    正确答案： 假
    解析： 暂无解析

  • 第12题：

    填空题
    设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。

    正确答案： 永真式
    解析： 暂无解析

  • 第13题：

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

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

    正确答案:A

  • 第14题：

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


    正确答案:包含

  • 第15题：

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


    正确答案:假

  • 第16题：

    设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。


    正确答案:永真式

  • 第17题：

    基于规则的正向演绎系统的子句形式（）

    • A、子句的合取式（合取范式）
    • B、子句的析取式（析取范式）
    • C、文字的析取式
    • D、文字的合取式

    正确答案:C

  • 第18题：

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

    正确答案： 包含
    解析： 暂无解析

  • 第19题：

    单选题
    消解是一种可用于一定的（）的重要推理规则。
    A

    子句

    B

    双条件

    C

    合取公式

    D

    蕴含公式


    正确答案： A
    解析： 暂无解析

  • 第20题：

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

    对

    B

    错


    正确答案： 错
    解析： 暂无解析

  • 第21题：

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

    正确答案： 辖域
    解析： 暂无解析

  • 第22题：

    多选题
    基于规则的正向演绎系统的使用条件（）
    A

    事实表达式是任意形式

    B

    规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式

    C

    目标公式为文字析取形

    D

    目标公式是任意形式


    正确答案： A,C
    解析： 暂无解析

  • 第23题：

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

    对

    B

    错


    正确答案： 对
    解析： 暂无解析

相关内容