单选题基于规则的逆向演绎系统的初始综合数据库是（）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
eSight支持部署的系统及数据库类型描述正确的是？（）A、支持基于Windows系统安装部署B、支持基于SuSELinux系统安装部署C、支持基于通用Linux系统安装部署D、数据库支持Oracle、MySQL和SQLServer
多选题基于规则的逆向演绎系统对事实、规则和目标的化简过程（）A用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。B用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。C对规则的处理同（*）式。D用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
多选题eSight支持部署的系统及数据库类型描述正确的是？（）A支持基于Windows系统安装部署B支持基于SuSELinux系统安装部署C支持基于通用Linux系统安装部署D数据库支持Oracle、MySQL和SQLServer
单选题在用产生式系统描述一个问题时，除了产生式系统的三要素外，一般还要求给出问题（）A综合数据库B规则集合C初始状态和结束状态（目标状态）D搜索策略