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

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

相关考题：

在C语言中,if语句后的一对圆括号中,用以决定分支流程的表达式为() A、只能是逻辑表达式B、只能是关系表达式C、只能是逻辑表达式或关系表达式D、可以是任意表达式
查看答案
在FOXBASE+的各种表达式中，()的结果值为逻辑常量。A、关系表达式或逻辑表达式B、只有逻辑表达式C、只有关系表达式D、只有字符型表达式
查看答案
在表设计器的“字段”选项卡中，下列说法正确的是（ ）。A.“规则”框中输入的是字符串表达式B.“信息”框中输入的是逻辑表达式C.“规则”框中输入的是逻辑表达式D.“默认值”框中输入的必须是字符串表达式
查看答案
在以下给出的表达式中,与while(E)中的(E)不等价的表达式是( )。A.AB.BC.CSX 在以下给出的表达式中，与while(E)中的(E)不等价的表达式是( )。A.AB.BC.CD.D
查看答案
在以下给出的表达式中，与while（E）中的（E）不等价的表达式是（ ）。
查看答案
在定义字段有效性规则中，在规则框中输入的表达式的类型是______。
查看答案
为了将表达式列表中数据写入顺序文件中，所使用的语句的格式为 ( )A．Print # 文件号[表达式列表]B．Print # 文件号，[表达式列表]C．Print [表达式列表] # 文件号D．Print [表达式列表]，# 文件号
查看答案
与算术表达式3 - (2+7) /4对应的二叉树为（ ）。
查看答案
在linux系统中，与正则表达式[^0-9]匹配的表达式有（）。A、0B、aC、*D、%
查看答案
基于规则的演绎系统主要有（）、（）和（）
查看答案
基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
查看答案
基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。
查看答案
基于规则的逆向演绎系统的使用条件（）A、事实表达式是文字合取形式B、事实表达式是任意形式C、规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。D、目标公式是任意形式
查看答案
基于规则的正向演绎系统的使用条件（）A、事实表达式是任意形式B、规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式C、目标公式为文字析取形D、目标公式是任意形式
查看答案
基于规则的正向演绎系统的的子集形式（）A、子句的合取式（合取范式）B、子句的析取式（析取范式）C、文字的析取式D、文字的合取式
查看答案
基于规则的逆向演绎系统的初始综合数据库是（）A、事实表达式的与或树B、目标公式的与或树C、与或树D、证明树
查看答案
基于规则的正向演绎系统的子句形式（）A、子句的合取式（合取范式）B、子句的析取式（析取范式）C、文字的析取式D、文字的合取式
查看答案
if（表达式）{}这段代码在程序中的表达式可以出现的形式为（）。A、算术表达式B、关系表达式C、逻辑表达式D、数值0或1
查看答案
在定义字段有效性规则时，在规则框中输入的表达式类型是（）。
查看答案
有效性规则是一个与字段或记录相关的（）。A、逻辑表达式B、数值表达式C、字符表达式D、规则表达式
查看答案
多选题基于规则的逆向演绎系统对事实、规则和目标的化简过程（）A用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。B用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。C对规则的处理同（*）式。D用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
查看答案
判断题对基于规则的正向演绎系统，目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。A对B错
查看答案
单选题基于规则的逆向演绎系统的初始综合数据库是（）A事实表达式的与或树B目标公式的与或树C与或树D证明树
查看答案
多选题基于规则的正向演绎系统的使用条件（）A事实表达式是任意形式B规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式C目标公式为文字析取形D目标公式是任意形式
查看答案
多选题基于规则的逆向演绎系统的使用条件（）A事实表达式是文字合取形式B事实表达式是任意形式C规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。D目标公式是任意形式
查看答案
单选题有效性规则是一个与字段或记录相关的（）。A逻辑表达式B数值表达式C字符表达式D规则表达式
查看答案
判断题基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。A对B错
查看答案
热门标签