基于规则的正向演绎系统的子句形式()

题目
单选题
基于规则的正向演绎系统的子句形式()
A

子句的合取式(合取范式)

B

子句的析取式(析取范式)

C

文字的析取式

D

文字的合取式

参考答案和解析
正确答案: D
解析: 暂无解析
如果没有搜索结果或未解决您的问题,请直接 联系老师 获取答案。
相似问题和答案

第1题:

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

A.非空值约束

B.域约束子句

C.断言

D.外键子句


正确答案:C
解析:SQL的全局约束是指涉及到多个属性间的联系或多个不同关系间的联系。非空值约束、域约束子句都是典型的只在某属性或属性值上的约束,不是全局约束。外键子句属于外键约束,也不是全局约束。在SQL中,当完整性约束涉及面较广、与多个关系有关或与聚合操作有关时,提供了一种断言机制,断言是一种全局约束。

第2题:

基于规则的演绎系统主要有()、()和()


正确答案:正向演绎;逆向演绎;双向演绎

第3题:

●SQL的全局约束是指基于元组的检查子句和 (17) 。

(17) A.非空值约束

B.域约束子句

C.断言

D.外键子句


正确答案:C
【解析】SQL的全局约束是指涉及到多个属性间的联系或多个不同关系间的联系。非空值约束、域约束子句都是典型的只在某属性或属性值上的约束,不是全局约束。外键子句属于外键约束,也不是全局约束。在SQL中,当完整性约束涉及面较广、与多个关系有关或与聚合操作有关时,提供了一种断言机制,断言是一种全局约束。

第4题:

基于规则的正向演绎系统的使用条件()

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

正确答案:A,B

第5题:

基于规则的逆向演绎系统是从目标出发,逆向使用规则对目标表达式的与或图进行变换,直到找到一个含有事实节点的一致解图为止。


正确答案:正确

第6题:

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

A.非空值约束

B.域约束子句

C.断言

D.外键子句


正确答案:C
解析:SQL的全局约束包括基于元组的检查子句(CHECK)和断言(CREATE ASSERTION断言名CHECK条件)。

第7题:

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


正确答案:错误

第8题:

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

A.非空值约束

B.局部约束

C.断言

D.外键子句


正确答案:C

第9题:

基于规则的逆向演绎系统的使用条件()

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

正确答案:A,C,D

第10题:

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


正确答案:错误

更多相关问题