基于规则的逆向演绎系统的初始综合数据库是_。 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
73、第二代数据库系统是指_______________。A．基于文件的数据库系统B．基于面向对象数据模型的数据库系统C．基于XML模型的数据库系统D．基于网状模型或层次模型的数据库系统E．基于关系模型的数据库系统
由NCBI创建并维护的基于Web界面的综合生物信息数据库检索系统是 。