人工智能原理一、名词解释1.专家系统2.产生式3.启发式搜索4.归结原理5.原子集二、选择题1.非结构化的知识的表示法是()。A.语义网络表示B.谓词逻辑表示C.框架表示法中D.面向对象表示2.归结策略中,()是完备的。Ⅰ.线性输入策略Ⅱ.支持集策略Ⅲ.单文字策略Ⅳ.祖先过滤策略A.Ⅰ,ⅡB.Ⅰ,ⅢC.Ⅱ,ⅣD.Ⅲ,Ⅳ3.在证据理论中,信任函数与似然函数对(Bel(A),Pl(A))的值为(0,0)时,表示()。A.A为真B.对A一无所知C.A为假D.对A为真有一定信任4.在主观Bayes方法中,专家给出的Ln和LS值,不能出现下两种情况()。Ⅰ.LN1,LS1Ⅱ.LN1,LS1Ⅲ.LN1,LS1Ⅳ.LN1,LS1A.Ⅰ,ⅡB.Ⅱ,ⅢC.Ⅰ,ⅣD.Ⅱ,Ⅳ5.在证据理论中,信任函数与似然函数的关系为()。A.Bel(A)≤Pl(A)B.Bel(A)<Pl(A)C.Bel(A)≥Pl(A)D.Bel(A)>Pl(A)6.不完备的搜索过程是()A.广度优先搜索B.深度优先搜索C.有界深度优先搜索D.代价树广度优先搜索7.在主观Bayes方法中,规则E→H,有LS=LN=1,这意味:()A.E对H没有影响B.E支持HC.-E支持HD.E支持-H8.在可信度方法中,若证据A的可信度CF(F)=0,这意味:()A.证据A不可信B.对证据A一无所知C.证据A可信D.没有意义9.人工智能研究的领域不包括()。A.自然语言理解B.自动程序设计C.程序设计方法D.自动定理证明10.用归结反演证明定理时,若当前归结式为(),则定理得证A.永真式B.包孕式(subsumed)C.原子谓词D.空子句11.在主观Bayes方法中,证据E支持结论H时,有()。A.LS=0B.LS1C.LS=1D.LS112.在可信度方法中,证据E的出现增加结论H为真时,有()。A.CF(H,E)1B.CF(H,E)0C.CF(H,E)=0D.CF(H,E)013.谓词公式)())()((xQyyRxPx中量词x的辖域是()A))()((yyRxPxB.P(x)C.)()(yyRxPD.)(xQ14.设个体域为整数集,下列公式中其值为1的是()A.)0(yxyxB.)0(yxxyC.)0(yxyxD.)0(yxyx15.设L(x):x是演员,J(x):x是老师,A(x,y):x佩服y.那么命题“所有演员都佩服某些老师”符号化为()A.),()(yxAxxLB.)),()(()((yxAyJyxLxC.)),()()((yxAyJxLyxD.)),()()((yxAyJxLyx16.谓词公式xA(x)xA(x)的类型是()A.永真式B.矛盾式C.非永真式的可满足式D.不属于(A),(B),(C)任何类型17.谓词公式)(yyP取真值为1的充分必要条件是()A.对任意y,使P(y)都取真值1B.存在一个y0,使P(y0)取真值1C.存在某些y,使P(y)都取真值1D.存在y0,使P(y0)取真值018.设GxyP(x,y)Q(z,w),下面三个命题为真的是()A.G是前束范式B.G不是前束范式C.G不是一阶公式D.G是永真式19.与命题公式P(QR)等值的公式是()A.(PQ)RB.(PQ)RC.(PQ)RD.P(QR)20.命题公式(PQ)P是()A.永真式B.永假式C.可满足式D.合取范式三、问答题1.归结反演和基于规则的演绎两种方法各自的特点是什么?2.描述产生式系统的几个突出特点。3.某公司招聘工作人员,A、B、C三人应试,经面试后公司表示如下想法:(1)三人中至少录取一人(2)如果录取A而不录取B,则一定录取C(3)如果录取B,则一定录取C试用归结反演法证明公司一定录取C。4.用一阶谓词逻辑表示下列的句子。(1)并非所有的有理数(rationalnumber)都是整数。(2)一个充分大的偶数(even)可以表示为两个素数(prime)之和。