一、填空:1
人工智能的研究途径有心理、生理和行为模拟
任意列举人工智能的四个应用性领域(3)、(4)、(5)、(6)
人工智能的基本技术包括搜索技术、推理技术、知识表示和知识库技术归纳技术、联想技术
谓词逻辑是一种表达能力很强的形式语言,其真值的特点和命题逻辑的区别是(10)
谓词逻辑中,重言式(tautlogy)的值是真
设P是谓词公式,对于P的任何论域,存在P为真的情况,则称P为可满足式
在着名的医疗专家系统MYCIN中规定,若证据A的可信度CF(A)=0,则意味着13,CF(A)=-1,则意味着(14),CF(A)=1,则意味着(15)
谓词公式G是不可满足的,当且仅当对所有的解释(16)
谓词公式与其子句集的关系是(17)
利用归结原理证明定理时,若得到的归结式为空集,则结论成立
若C1=┐P∨Q,C2=P∨┐Q,则C1和C2的归结式R(C1,C2)=非PVP或非QVQ
若C1=P(x)∨Q(x),C2=┐P(a)∨R(y),则C1和C2的归结式R(C1,C2)=Q(a)VR(y)
有谓词公式G,置换δ,则G·ε=(21),δ·ε=(22)
有子句集S={P(x),P(y)},其MGU=(23)
在归结原理中,几种常见的归结策略并且具有完备性的是删除策略,支持集策略,线性归结策略
状态图启发式搜索算法的特点是(27)
广度优先搜索算法中,OPEN表的数据结构实际是一个(28),深度优先搜索算法中,OPEN表的数据结构实际是一个(29)
产生式系统有三部分组成(30),(31)和推理机
其中推理可分为(32)和(33)
专家系统的结构包含人机界面、(34),(35),(36),(37)和解释模块
在MYCIN推理中,对证据的可信度CF(A)、CF(A1)、CF