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

题目

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

相似考题

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

2.基于规则的演绎系统主要有（）、（）和（）

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

4.公式化简法就是运用逻辑代数中的各种定理、公式以及运算规则把逻辑表达式加以简化的方法。

更多“基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原”相关问题

  • 第1题：

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


    正确答案:辖域

  • 第2题：

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

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

    正确答案:A,C,D

  • 第3题：

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

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

    正确答案:A,B

  • 第4题：

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

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

    正确答案:A

  • 第5题：

    子句集的化简的步骤？‘


    正确答案:（1）消去连接词“→”和“↔”（2）减少否定符号的辖域（3）对变元标准化（4）化为前束范式（5）消去存在量词（6）化为Skolem标准形（7）消去全称量词（8）消去合取词（9）更换变量名称

  • 第6题：

    问答题
    子句集的化简的步骤？‘

    正确答案： （1）消去连接词“→”和“↔”（2）减少否定符号的辖域（3）对变元标准化（4）化为前束范式（5）消去存在量词（6）化为Skolem标准形（7）消去全称量词（8）消去合取词（9）更换变量名称
    解析： 暂无解析

  • 第7题：

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

    用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。

    B

    用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。

    C

    对规则的处理同（*）式。

    D

    用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）


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

  • 第8题：

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

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

    B

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

    C

    文字的析取式

    D

    文字的合取式


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

  • 第9题：

    单选题
    基于规则的逆向演绎系统的初始综合数据库是（）
    A

    事实表达式的与或树

    B

    目标公式的与或树

    C

    与或树

    D

    证明树


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

  • 第10题：

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

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

    B

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

    C

    文字的析取式

    D

    文字的合取式


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

  • 第11题：

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

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

  • 第12题：

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

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

  • 第13题：

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


    正确答案:包含

  • 第14题：

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


    正确答案:假

  • 第15题：

    对基于规则的正向演绎系统，目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。


    正确答案:错误

  • 第16题：

    基于规则的逆向演绎系统的初始综合数据库是（）

    • A、事实表达式的与或树
    • B、目标公式的与或树
    • C、与或树
    • D、证明树

    正确答案:B

  • 第17题：

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

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

    正确答案:C

  • 第18题：

    单选题
    设谓词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。

  • 第19题：

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

    对

    B

    错


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

  • 第20题：

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

    对

    B

    错


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

  • 第21题：

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

    事实表达式是任意形式

    B

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

    C

    目标公式为文字析取形

    D

    目标公式是任意形式


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

  • 第22题：

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

    事实表达式是文字合取形式

    B

    事实表达式是任意形式

    C

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

    D

    目标公式是任意形式


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

  • 第23题：

    填空题
    基于规则的演绎系统主要有（）、（）和（）

    正确答案： 正向演绎,逆向演绎,双向演绎
    解析： 暂无解析

相关内容