单项选择题
A.初始状态 B.目标状态 C.回溯策略 D.回溯条件
基于规则的逆向演绎系统的初始综合数据库是（）A.事实表达式的与或树B.目标公式的与或树C.与或树D.证明树
单项选择题基于规则的逆向演绎系统的初始综合数据库是（）
A.事实表达式的与或树 B.目标公式的与或树 C.与或树 D.证明树
在九宫格棋盘上，两位选手轮流在棋盘上摆各自的棋子（每次一枚），谁先取得三子一线的结果就取胜。问第一步的最好着法...
单项选择题在九宫格棋盘上，两位选手轮流在棋盘上摆各自的棋子（每次一枚），谁先取得三子一线的结果就取胜。问第一步的最好着法是把棋子下在（）
A.左上位置 B.中上位置 C.中央位置 D.中左位置
用产生式系统来描述一个具体问题。设字符转换问题规则如下：1.A∧B→C；2.A∧C→D；3.B∧C→G；4.B...
单项选择题用产生式系统来描述一个具体问题。设字符转换问题规则如下：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}。下列结束条件正确的是（）
A.F∈{x}，当目标F在综合数据库中出现时，则F被求得。 B.F∈{x}，当目标F在综合数据库中出现时，则F一定不被求得。 C.F不包含于{x}，当目标F不在综合数据库中出现时，则F被求得。 D.F不包含于{x}，当目标F不在综合数据库中出现时，则F一定被求得。
