15. 在著名的医疗专家系统 MYCIN 中规定，若证据 A 的可信度 CF（A）=0，则意味 着无关，CF（A）=-1，则意味着假，CF（A）=1，则意味着真。
16. 谓词公式 G 是不可满足的，当且仅当对所有的解释G都为假。
17. 谓词公式与其子句集的关系是包含。
18. 利用归结原理证明定理时，若得到的归结式为空集，则结论成立。 19.
20.
21.21. 广度优先搜索算法中， OPEN 表的数据结构实际是一个队列，深度优先搜索算法中，OPEN 表的数据结构实际是一个堆栈。 22.
23. MYCIN 系统中使用不确定推理，规则 A→B 由专家指定其可信度 CF（B，A），若 A 真支持 B 真，则指定 CF （B， A）（与零比较）应；若 A 真不支持 B 真， 则指定 CF（B，A）应。
24. 设 U={a,b,c,d}，A={a,b}，B={a,b,c}，m(A)=0.6，m(U)=0.4，U 的其它子集的基本 概率分配函数 m 值均为 0，则 Bel(A)= ，Bel(B)= 。
25. 证据理论中集合 A 的信任区间为[1，1]，则其语意解释为。
26. 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域，而在 一个量词的辖域中与该量词的指导变元相同的变元称为约束变元，其他变元称 为自由变元。 27.
28. 在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称 为图搜索技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的
形势用图来表，这种图称为状态空间图。
29. 在启发式搜索当中，通常用启发函数来表示启发性信息。
30. 在二人博弈问题中，最常用的一种分析技术是极大极小分析法，这种方法的思想是 先生成一棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此基础上， 又提出了
31. 不确定性类型按性质分：随机性、模糊性、不完全性、不一致性。
32. 合一算法：求非空有限具有相同谓词名的原子公式集的最一般合一。