一、填空: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 表的数据构造实际是一种单链表
产生式系统有三部分构成 综合数据库, 知识库