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

题目

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

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

1.露天深孔台阶爆破药量计算公式为________。A Q=qabhB Q=K′W3C Q=K′W2L

2.母线相序的色别规定L1（U）相为黄色，L2（V）相为绿色，L3（W）相为（），其接地体零线为黑色。

3.亲水型乳状液（）A、外相为水，内相为油，乳化形式为O/WB、外相为油，内相为水，乳化形式为W/OC、外相为水，内相为油，乳化形式为W/OD、外相为油，内相为水，乳化形式为O/W

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

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

  • 第1题：

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


    正确答案:正确

  • 第2题：

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


    正确答案:错误

  • 第3题：

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

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

    正确答案:C

  • 第4题：

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

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

    正确答案:B

  • 第5题：

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

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

    正确答案:C

  • 第6题：

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

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

    B

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

    C

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

    D

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


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

  • 第7题：

    单选题
    以货币作为流通的前提和条件，不同的生产者以货币为媒介进行商品交换，其表现形式为W-G-W.即“商品一货币一商品”的形式。这种商品流通形式是(    )形式。
    A

    简单商品沆通

    B

    发达商品流通

    C

    货币商品流通

    D

    实体商品流通


    正确答案： D
    解析：

  • 第8题：

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

    对

    B

    错


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

  • 第9题：

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

    事实表达式是任意形式

    B

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

    C

    目标公式为文字析取形

    D

    目标公式是任意形式


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

  • 第10题：

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

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

    B

    事实表达式是任意形式

    C

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

    D

    目标公式是任意形式


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

  • 第11题：

    单选题
    把标有“6V 9W”的灯泡L1和“12V 36W”的灯泡L2串联后接在电源两端，其中一只灯泡正常发光，另一只没有达到额定功率（不考虑灯丝电阻随温度的变化），则（　　）．
    A

    电源电压为l8V

    B

    电路中电流为3A

    C

    两灯泡的总功率为27W

    D

    灯L2的实际功率等于灯L1的实际功率


    正确答案： A
    解析：
    A项，电源电压应为l2V．B电路中电流为1.5A．C项，两灯泡的总功率为18W．D项，两只灯泡电阻相同，串联在电路中分压相同，灯L2的实际功率等于灯L1的实际功率．

  • 第12题：

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

    口头形式

    B

    任意形式

    C

    书面或口头形式

    D

    书面形式


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

  • 第13题：

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

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

    正确答案:A,C,D

  • 第14题：

    资本的总公式为（）

    • A、W-G-W
    • B、W-G-W′
    • C、G-W-G
    • D、G-W-G′

    正确答案:D

  • 第15题：

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

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

    正确答案:A

  • 第16题：

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

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

    正确答案:A,C,D

  • 第17题：

    露天深孔台阶爆破药量计算公式为（）。

    • A、Q=K′W3
    • B、Q=qabH
    • C、Q=K′W2L

    正确答案:C

  • 第18题：

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

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

    B

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

    C

    文字的析取式

    D

    文字的合取式


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

  • 第19题：

    单选题
    露天深孔台阶爆破药量计算公式为（）。
    A

    Q=K′W3

    B

    Q=qabH

    C

    Q=K′W2L


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

  • 第20题：

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

    事实表达式的与或树

    B

    目标公式的与或树

    C

    与或树

    D

    证明树


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

  • 第21题：

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

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

    B

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

    C

    文字的析取式

    D

    文字的合取式


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

  • 第22题：

    单选题
    主电路标号由文字符号和数字组成。文字符号用以标明主电路中的元件或线路的主要特征，数字标号用以区别电路不同线段。三相交流电源引入线采用（）标号，电源开关之后的三相交流电源主电路分别标（）。
    A

    A、B、C；L1、L2、L3

    B

    L1、L2、L3；A、B、C

    C

    U、V、W；L1、L2、L3

    D

    L1、L2、L3；U、V、W


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

  • 第23题：

    单选题
    物流客户资料整理的形式一般为（）
    A

    文字

    B

    表格

    C

    公式

    D

    文字和表格


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

相关内容