网友您好， 请在下方输入框内输入要搜索的题目：

题目内容 （请给出正确答案）
单选题
基于规则的逆向演绎系统的初始综合数据库是（）
A

事实表达式的与或树

B

目标公式的与或树

C

与或树

D

证明树

参考答案

参考解析
解析： 暂无解析
更多 “单选题基于规则的逆向演绎系统的初始综合数据库是（）A 事实表达式的与或树B 目标公式的与或树C 与或树D 证明树” 相关考题
考题 用产生式系统来描述一个具体问题。设字符转换问题规则如下:1.A∧B→C;2.A∧C→D;3.B∧C→G;4.B∧E→F;5.D→E;已知:A,B求:F。设综合数据库用集合{x}表示,其中x为字符。采用顺序排队的控制策略。初始状态{A,B}。当执行被触发规则(1)后,综合数据库中字符为_。 A、ABB、ABCC、ABCDD、ABCDG
查看答案
考题 基于规则的演绎系统主要有（）、（）和（）
查看答案
考题 基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
查看答案
考题 基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。
查看答案
考题 基于规则的逆向演绎系统的使用条件（）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、搜索策略
查看答案
考题 基于规则的正向演绎系统的子句形式（）A、子句的合取式（合取范式）B、子句的析取式（析取范式）C、文字的析取式D、文字的合取式
查看答案
考题 Microsoft SQL Server是（）。A、基于Web的网状数据库管理系统B、基于C/S的网状数据库管理系统C、基于Web的关系型数据库管理系统D、基于C/S的关系型数据库管理系统
查看答案
考题 eSight支持部署的系统及数据库类型描述正确的是？（）A、支持基于Windows系统安装部署B、支持基于SuSELinux系统安装部署C、支持基于通用Linux系统安装部署D、数据库支持Oracle、MySQL和SQLServer
查看答案
考题 多选题基于规则的逆向演绎系统对事实、规则和目标的化简过程（）A用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。B用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。C对规则的处理同（*）式。D用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
查看答案
考题 单选题基于规则的正向演绎系统的子句形式（）A 子句的合取式（合取范式）B 子句的析取式（析取范式）C 文字的析取式D 文字的合取式
查看答案
考题 判断题对基于规则的正向演绎系统，目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。A 对B 错
查看答案
考题 判断题基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。A 对B 错
查看答案
考题 多选题基于规则的正向演绎系统的使用条件（）A事实表达式是任意形式B规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式C目标公式为文字析取形D目标公式是任意形式
查看答案
考题 单选题基于规则的正向演绎系统的的子集形式（）A 子句的合取式（合取范式）B 子句的析取式（析取范式）C 文字的析取式D 文字的合取式
查看答案
考题 多选题基于规则的逆向演绎系统的使用条件（）A事实表达式是文字合取形式B事实表达式是任意形式C规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。D目标公式是任意形式
查看答案
考题 单选题Microsoft SQL Server是（）。A 基于Web的网状数据库管理系统B 基于C/S的网状数据库管理系统C 基于Web的关系型数据库管理系统D 基于C/S的关系型数据库管理系统
查看答案
考题 多选题eSight支持部署的系统及数据库类型描述正确的是？（）A支持基于Windows系统安装部署B支持基于SuSELinux系统安装部署C支持基于通用Linux系统安装部署D数据库支持Oracle、MySQL和SQLServer
查看答案
考题 填空题基于规则的演绎系统主要有（）、（）和（）
查看答案
考题 判断题基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。A 对B 错
查看答案
考题 单选题在用产生式系统描述一个问题时，除了产生式系统的三要素外，一般还要求给出问题（）A 综合数据库B 规则集合C 初始状态和结束状态（目标状态）D 搜索策略
查看答案
热门标签
最新试卷