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

题目

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

相似考题

1.在C语言中,if语句后的一对圆括号中,用以决定分支流程的表达式为()A、只能是逻辑表达式B、只能是关系表达式C、只能是逻辑表达式或关系表达式D、可以是任意表达式

2.在表设计器的“字段”选项卡中，下列说法正确的是（ ）。A.“规则”框中输入的是字符串表达式B.“信息”框中输入的是逻辑表达式C.“规则”框中输入的是逻辑表达式D.“默认值”框中输入的必须是字符串表达式

3.在以下给出的表达式中,与while(E)中的(E)不等价的表达式是( )。A.AB.BC.CSX在以下给出的表达式中，与while(E)中的(E)不等价的表达式是( )。A.AB.BC.CD.D

4.在FOXBASE+的各种表达式中，()的结果值为逻辑常量。A、关系表达式或逻辑表达式B、只有逻辑表达式C、只有关系表达式D、只有字符型表达式

更多“对基于规则的正向演绎系统，目标表达式中的"∧"号在与或树中表达为”相关问题

  • 第1题：

    在以下给出的表达式中，与while（E）中的（E）不等价的表达式是（ ）。


    正确答案：B
    while语句中条件表达式E的值不为0即为真，认为满足条件，所以与B选项中表达式的含义正好相反，选择B选项。

  • 第2题：

    为了将表达式列表中数据写入顺序文件中，所使用的语句的格式为 ( )

    A．Print # 文件号[表达式列表]

    B．Print # 文件号，[表达式列表]

    C．Print [表达式列表] # 文件号

    D．Print [表达式列表]，# 文件号


    正确答案：B
    解析：本题主要是对顺序文件写格式的考查。顺序文件的写操作使用Print #或Write #语句，格式为：
      Print #文件号，表达式表
      Write #文件号，表达式表
      根据以上知识点可知选项B正确。

  • 第3题：

    在linux系统中，与正则表达式[^0-9]匹配的表达式有（）。

    • A、0
    • B、a
    • C、*
    • D、%

    正确答案:A

  • 第4题：

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


    正确答案:错误

  • 第5题：

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

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

    正确答案:A,C,D

  • 第6题：

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

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

    正确答案:A

  • 第7题：

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

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

    正确答案:C

  • 第8题：

    在定义字段有效性规则时，在规则框中输入的表达式类型是（）。


    正确答案:逻辑型

  • 第9题：

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

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

    B

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

    C

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

    D

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


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

  • 第10题：

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

    事实表达式的与或树

    B

    目标公式的与或树

    C

    与或树

    D

    证明树


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

  • 第11题：

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

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

    B

    事实表达式是任意形式

    C

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

    D

    目标公式是任意形式


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

  • 第12题：

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

    对

    B

    错


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

  • 第13题：

    在定义字段有效性规则中，在规则框中输入的表达式的类型是______。


    正确答案：逻辑型
    在定义字段有效性规则中，在规则框中输入的表达式舶类型是逻辑型。

  • 第14题：

    与算术表达式3 - (2+7) /4对应的二叉树为（ ）。



    答案：B
    解析：
    本题考察编译过程中语法树的基础知识。对于算术表达式的二叉树表示，要看其运算的过程而定。最先运算的树位于最低层。

  • 第15题：

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


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

  • 第16题：

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


    正确答案:正确

  • 第17题：

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

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

    正确答案:A,B

  • 第18题：

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

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

    正确答案:B

  • 第19题：

    if（表达式）{}这段代码在程序中的表达式可以出现的形式为（）。

    • A、算术表达式
    • B、关系表达式
    • C、逻辑表达式
    • D、数值0或1

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

  • 第20题：

    有效性规则是一个与字段或记录相关的（）。

    • A、逻辑表达式
    • B、数值表达式
    • C、字符表达式
    • D、规则表达式

    正确答案:A

  • 第21题：

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

    对

    B

    错


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

  • 第22题：

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

    事实表达式是任意形式

    B

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

    C

    目标公式为文字析取形

    D

    目标公式是任意形式


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

  • 第23题：

    单选题
    有效性规则是一个与字段或记录相关的（）。
    A

    逻辑表达式

    B

    数值表达式

    C

    字符表达式

    D

    规则表达式


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

相关内容