若存在一个置换s使得表达式集{Ei}中每个元素经置换后的例有:E1s=E2s=E3s=…,则称表达式集{Ei}是可_的,这个置换s称作{Ei}的_者。
A. 置换置换
B. 合一合一
C. 归结归结
D. 递归递归
利用评价函数f(n)=g(n)+h(n)来排列OPEN表节点顺序的图搜索算法称为_。
A. 深度优先算法
B. 宽度优先算法
C. 盲搜索算法
D. A算法
基于规则的正向演绎系统的初始综合数据库是_。
A. 事实表达式的与或树
B. 目标公式的与或树
C. 与或树
D. 证明树
科研利益冲突的种种表现包括()。
A. 经济利益冲突
B. 职责冲突
C. 个人关系的冲突
D. 学识的冲突