itgle.com

基于规则的正向演绎系统的子句形式（）A、子句的合取式（合取范式）B、子句的析取式（析取范式）C、文字的析取式D、文字的合取式

题目

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

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

1.求取子句集的步骤包括以下步骤:消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词。()此题为判断题(对，错)。

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

3.反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A、永真式B、包孕式C、空子句

4.举例说明合取概念、析取概念和关系概念的含义。

参考答案和解析
正确答案:C
更多“基于规则的正向演绎系统的子句形式（）A、子句的合取式（合取范式）B、子句的析取式（析取范式）C、文字的析取式D、文字的合取式”相关问题

  • 第1题：

    子句是由文字的（）组成的公式

    • A、析取
    • B、合取
    • C、蕴含
    • D、双条件

    正确答案:A

  • 第2题：

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

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

    正确答案:A,C,D

  • 第3题：

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

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

    正确答案:A

  • 第4题：

    根据反映事物属性的数量及其相互关系把概念分为合取概念、析取概念和关系概念。铅笔、毛笔、钢笔属于下面的哪种概念（）

    • A、关系概念
    • B、具体概念
    • C、合取概念
    • D、析取概念

    正确答案:C

  • 第5题：

    or也叫（）命题

    • A、合取
    • B、分取
    • C、或者
    • D、析取

    正确答案:D

  • 第6题：

    SQL的全局约束是指基于元祖的检查子句和（）。

    • A、非空值约束
    • B、域约束子句
    • C、断言
    • D、外键子句

    正确答案:C

  • 第7题：

    单选题
    子句是由文字的（）组成的公式
    A

    析取

    B

    合取

    C

    蕴含

    D

    双条件


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

  • 第8题：

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

    子句

    B

    双条件

    C

    合取公式

    D

    蕴含公式


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

  • 第9题：

    单选题
    SQL的全局约束是指基于元组的检查子句和(  )。
    A

    非空值约束

    B

    域约束子句

    C

    断言

    D

    外键子句


    正确答案： D
    解析：

  • 第10题：

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

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

    B

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

    C

    文字的析取式

    D

    文字的合取式


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

  • 第11题：

    填空题
    在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。

    正确答案： 纯文字
    解析： 暂无解析

  • 第12题：

    单选题
    根据反映事物属性的数量及其相互关系把概念分为合取概念、析取概念和关系概念。铅笔、毛笔、钢笔属于下面的哪种概念（）
    A

    关系概念

    B

    具体概念

    C

    合取概念

    D

    析取概念


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

  • 第13题：

    求取子句集的步骤包括以下步骤,（）、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。

    • A、消去“蕴含”连结词
    • B、减少“非”连结词的辖域
    • C、对变量标准化
    • D、消去存在量词

    正确答案:A,B,C,D

  • 第14题：

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

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

    正确答案:A,B

  • 第15题：

    在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。


    正确答案:纯文字

  • 第16题：

    概念原则是指具体整合这些定义特征的规则，包括（）

    • A、肯定
    • B、否定
    • C、关系
    • D、合取
    • E、析取

    正确答案:A,B,C,D,E

  • 第17题：

    SQL基本表的创建中是通过哪个子句实现参照完整性规则的（）。

    • A、外键子句
    • B、主键子句
    • C、检查子句

    正确答案:A

  • 第18题：

    单选题
    SQL基本表的创建中是通过哪个子句实现参照完整性规则的（）。
    A

    外键子句

    B

    主键子句

    C

    检查子句


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

  • 第19题：

    多选题
    概念原则是指具体整合这些定义特征的规则，包括（）
    A

    肯定

    B

    否定

    C

    关系

    D

    合取

    E

    析取


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

  • 第20题：

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

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

    B

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

    C

    文字的析取式

    D

    文字的合取式


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

  • 第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题：

    多选题
    求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、（）。
    A

    将母式化成合取范式

    B

    消去全称量词

    C

    消去合取连结词

    D

    更改变量名


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

相关内容