基于规则的逆向演绎系统的使用条件（）A、事实表达式是文字合取形式B、事实表达式是任意形式C、规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。D、目标公式是任意形式

题目

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

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

1.以下是 if 语句的基本形式 :if( 表达式 ) 语句其中 " 表达式 "A) 必须是逻辑表达式B) 必须是关系表达式C) 必须是逻辑表达式或关系表达式D) 可以是任意合法的表达式

2.以下是if语句的基本形式： if(表达式) 语句 其中“表达式”______。A．必须是逻辑表达式B．必须是关系表达式C．必须是逻辑表达式或关系表达式D．可以是任意合法的表达式

3.if语句的基本形式为：if(表达式)语句，其中“表达式”( )。A．可以是任意合法的表达式B．必须是逻辑表达式C．必须是逻辑表达式或关系表达式D．必须是关系表达式

4.（17）以下是if语句的基本形式：if （表达式） 语句,其中表达式A）必须是逻辑表达式 B）必须是关系表达式C）必须是逻辑表达式或关系表达式 D）可以是任意合法的表达式

更多“基于规则的逆向演绎系统的使用条件（）A、事实表达式是文字合取形式B、事实表达式是任意形式C、规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。D、目标公式是任意形式”相关问题

  • 第1题：

    以下是while语句的基本形式： while(表达式){语句：} 其中“表达式”( )。

    A．必须是逻辑表达式

    B．必须是关系表达式

    C．必须是逻辑表达式或关系表达式

    D．可以是任意合法的表达式


    正确答案：D
    解析：本题考查while表达式。while(表达式)中的表达式可以为任何合法的表达式，一般情况下为逻辑、条件表达式，需要注意的是，当等号(==)误写为赋值号(=)时不会报错的，但是其值恒为1。

  • 第2题：

    亲水型乳状液（）

    • A、外相为水，内相为油，乳化形式为O/W
    • B、外相为油，内相为水，乳化形式为W/O
    • C、外相为水，内相为油，乳化形式为W/O
    • D、外相为油，内相为水，乳化形式为O/W

    正确答案:A

  • 第3题：

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

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

    正确答案:A,B

  • 第4题：

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

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

    正确答案:A

  • 第5题：

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

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

    正确答案:A,C,D

  • 第6题：

    Excel中，运算公式的一般形式为（）。

    • A、=表达式
    • B、：表达式
    • C、>；=表达式
    • D、=<；表达式

    正确答案:A

  • 第7题：

    单选题
    亲水型乳状液（）
    A

    外相为水，内相为油，乳化形式为O/W

    B

    外相为油，内相为水，乳化形式为W/O

    C

    外相为水，内相为油，乳化形式为W/O

    D

    外相为油，内相为水，乳化形式为O/W


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

  • 第8题：

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

    事实表达式的与或树

    B

    目标公式的与或树

    C

    与或树

    D

    证明树


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

  • 第9题：

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

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

    B

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

    C

    文字的析取式

    D

    文字的合取式


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

  • 第10题：

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

    对

    B

    错


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

  • 第11题：

    单选题
    简单商品流通形式的表达式是（）。
    A

    w—w

    B

    g—g

    C

    w—g—w

    D

    g—w—g


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

  • 第12题：

    单选题
    定金合同的形式为
    A

    口头形式

    B

    任意形式

    C

    书面或口头形式

    D

    书面形式


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

  • 第13题：

    资本流通形式是指（）

    • A、W—G—W；
    • B、G—W—G；
    • C、G—G—W；
    • D、W—W—G。

    正确答案:B

  • 第14题：

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


    正确答案:正确

  • 第15题：

    简单商品流通形式的表达式是（）。

    • A、w—w
    • B、g—g
    • C、w—g—w
    • D、g—w—g

    正确答案:C

  • 第16题：

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

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

    正确答案:B

  • 第17题：

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

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

    正确答案:C

  • 第18题：

    按照马克思的理论，其货币需求规律表达式是（　）。

    • A、Md=L1(y)+L2(r)
    • B、Md=PT/V
    • C、Md=f(Yp;W;rm，rb，re，;u)*p
    • D、Md=Kpy

    正确答案:B

  • 第19题：

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

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

    B

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

    C

    文字的析取式

    D

    文字的合取式


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

  • 第20题：

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

    事实表达式是任意形式

    B

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

    C

    目标公式为文字析取形

    D

    目标公式是任意形式


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

  • 第21题：

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

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

    B

    事实表达式是任意形式

    C

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

    D

    目标公式是任意形式


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

  • 第22题：

    单选题
    以下是if语句的基本形式：if(表达式)语句其中“表达式”（　　）。
    A

    必须是逻辑值

    B

    必须是整数值

    C

    必须是正数

    D

    可以是任意合法的数值


    正确答案： C
    解析：
    if中的表达式一般是关系表达式或逻辑表达式，用于描述选择结构的条件，但也可以是其他类型表达式，在其值非零时为真，所以任意合法的表达式都可以做if语句的判断条件。答案选择D选项。

  • 第23题：

    单选题
    对于一个承力结构来说，有如下四种说法，其中正确的是（）。
    A

    几何不变系统和几何可变系统都能承担任意形式的外载荷

    B

    瞬时可变系统和几何可变系统都能承担任意形式的外载荷

    C

    只有几何不变的系统才能承担任意形式的外载荷

    D

    几何不变系统和瞬时可变系统都能承担任意形式的外载荷


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

相关内容