单项选择题
基于规则的逆向演绎系统的初始综合数据库是()
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}。下列结束条件正确的是()
单项选择题 在搜索解图的过程中,若解图的耗散值记为k(n,N),则若n是一个外向连接符指向后继节点{n1,…,ni},并设该连接符的耗散值为Cn,则k(n,N)=()