《人工智能导论》试卷库一、填空:1
人工智能的研究途径有心理模拟、生理模拟和行为模拟
任意列举人工智能的四个应用性领域难题求解、定理证明、智能控制、机器翻译
人工智能的基本技术包括搜索技术、推理技术、知识表示和知识库技术归纳技术、联想技术
谓词逻辑是一种表达能力很强的形式语言,其真值的特点和命题逻辑的区别是(10)
谓词逻辑中,重言式(tautlogy)的值是真
设P是谓词公式,对于P的任何论域,存在P为真的情况,则称P为永真式
在著名的医疗专家系统MYCIN中规定,若证据A的可信度CF(A)=0,则意味着无关,CF(A)=-1,则意味着假,CF(A)=1,则意味着真
谓词公式G是不可满足的,当且仅当对所有的解释G都为假
谓词公式与其子句集的关系是包含
利用归结原理证明定理时,若得到的归结式为空集,则结论成立
若C1=┐PQ∨,C2=P┐Q∨,则C1和C2的归结式R(C1,C2)=┐PP∨或┐QQ∨
若C1=P(x)Q(x)∨,C2=┐P(a)R(y)∨,则C1和C2的归结式R(C1,C2)=(20)Q(a)∨R(y)13
有谓词公式G,置换δ,则G·ε=(21),δ·ε=(22)
有子句集S={P(x),P(y)},其MGU={y/x}
在归结原理中,几种常见的归结策略并且具有完备性的是删除策略支持集策略线性归结策略16
状态图启发式搜索算法的特点是(27)
广度优先搜索算法中,OPEN表的数据结构实际是一个二叉树,深度优先搜索算法中,OPEN表的数据结构实际是一个单链表
产生式系统有三部分组成综合数据库,知识库和推理机
其中推理可分为正向推理和反向推理
专家系统的结构包含人机界面、知识库,推理机,动态数据库,知识库答理系统和解释模块
在MYCIN推理中,对证据的可信度CF(A)、CF(