判断三个老师教哪门课命题c语言,安徽理工大学人工智能复习题库

一、填空：

1.人工智能的研究途径有心理模拟、生理模拟和行为模拟。

2.任意列举人工智能的四个应用性领域难题求解、定理证明、智能控制、

机器翻译。

3.人工智能的基本技术包括搜索技术、推理技术、知识表示和知识库技术归纳

技术、联想技术。

4.谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别

是(10)。

5.谓词逻辑中，重言式(tautlogy)的值是真。

6.设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为永真

式。

7.在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF(A)=0，

则意味着无关，CF(A)=-1，则意味着假，CF(A)=1，则意味着真。

8.谓词公式G是不可满足的，当且仅当对所有的解释G都为假。

9.谓词公式与其子句集的关系是包含。

10.利用归结原理证明定理时，若得到的归结式为空集，则结论成立。

11.若C1=┐P∨Q，C2=P∨┐Q，则C1和C2的归结式R(C1，C2)= ┐P∨P

或┐Q∨Q。

12.若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则C1和C2的归结式R(C1，C2)

= Q(a) ∨R(y) 。

13.有谓词公式G，置换δ，则G·ε= (21)，δ·ε= (22)。

14.有子句集S=｛P(x),P(y)｝，其MGU= {y/x} 。

15.在归结原理中，几种常见的归结策略并且具有完备性的是删除策略，支持集

策略，线性归结策略。

16.状态图启发式搜索算法的特点是(27)。

17.广度优先搜索算法中，OPEN表的数据结构实际是一个二叉树，深度优先

搜索算法中，OPEN表的数据结构实际是一个单链表。

18.专家系统的结构包含人机界面、知识库，推理机，动态数据库，知

识库答理系统和解释模块。

19.在MYCIN推理中，对证据的可信度CF(A)、CF(A1)、CF(A2)之间，

规定如下关系：CF(~A)= ~CF(A)，CF(A1∧A2 )= min{CF(A1)，CF(A2)} ，CF(A1∨A2 )= max{CF(A1)，CF(A2)} 。

20.开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示

和知识的运用，知识表示的方法主要有逻辑表示法，框架，产生式和语义网络等，在语义网络表示知识时，所使用的推理方法有AKO 和ISA 。21.MYCIN系统中使用不确定推理，规则A→B由专家指定其可信度CF(B，

A)，若A真支持B真，则指定CF(B，A)(与零比较)应(47)；若A真不支持B真，则指定CF(B，A)应(48)。