《人工智能》测试题答案

测试题——人工智能原理一、填空题.人工智能作为一门学科，它研究的对象是,而研究的近期目标是;远期目标是。.人工智能应用的主要领域有,,,,和。.知识表示的方法主要有,,,和。.产生式系统由三个部分所组成，即,和。.用归结反演方法进行定理证明时，可采取的归结策略有、、、、和。.宽度优先搜索对应的数据结构是;深度优先搜索是.不确定知识处理白^基本方法有、、和。.AI研究的主要途径有三大学派，它们是学派、学派和学派。.专家系统的瓶颈是;它来自于两个阶段，第一阶段是,第二阶段是。.确定因子法中函数 MB是描述、而函数MD是描述.人工智能研究的主要领域有、、、、和。.一阶谓词逻辑可以使用的连接词有、、和。.基于规则的演绎系统主要有、和。.D-S证据理论中函数 Bel定义为、而函数Pl定义为.问题的状态空间，可以记为三元组 <S,F,G>,其中S为,F为,G为。.人工智能研究的主要内容有 、 、 、和.知识表示的方法主要有、、、和。.世界上第一个专家系统是在年由 主持研制成功的；我国的第一个专家系统是在年研制成功的。.神经网络可分为、、和广泛前向网络。.在框架表示法中，用若干个描述对象的属性，用若干个描述属性的各个方面。.产生式系统的三个基本组成部分是 .知识表示方法按照控制性知识的组织方式可分为 和、选择题非结构化的知识的表示法是( )。A.语义网络表示 B. 谓词逻辑表示C.框架表示法中 D. 面向对象表示归结策略中，( )是完备的。.祖先过滤策i.线性输入策略n.支持集策略m..祖先过滤策a.I,nb.I,mc.n,wd.m,wTOC\o"1-5"\h\z3.在证据理论中，信任函数与似然函数对(Bel(A),Pl(A))的彳1为(0,0)时,表示( )。A.A为真 B. X…无所知C.A为假 D. XA为真有一定信任4.在主观Bayes方法中，专家给出的Ln和LS值，不能出现下两种情况( )。I.LN<1,LS<1II.LN<1,LS>1m.LN>1,LS<1W.LN>1,LS>1i,nb.n,mc.i,wd.n,w在证据理论中，信任函数与似然函数的关系为( )。A.Bel (A) wPl(A) B.Bel (A) vPl (A)C.Bel (A) >Pl(A) D.Bel (A) >Pl (A)不完备的搜索过程是( )A.广度优先搜索 B.深度优先搜索C.有界深度优先搜索 D.代价树广度优先搜索7.在主观Bayes方法中，规则EfH,有LS=LN=1,这意味：( )A.E对H没有影响 B.E支持HC.-E支持HD.E支持-H8.在可信度方法中，若证据A的可彳t度CF(F)=0,这意味：()A. 证据必可信B. 对证据A一无所知C. 证据A可信 D. 没有意义人工智能研究的领域不包括( )。A.自然语言理解 B. 自动程序设计C.程序设计方法 D. 自动定理证明

)，则定理得证用归结反演证明定理时，若当前归结式为()，则定理得证A.永真式 B.包孕式( subsumed)C.原子谓词 D.空子句TOC\o"1-5"\h\z.在主观Bayes方法中，证据豉持Z^论H寸，有( )。A.LS=0B.LS<1C.LS=1D.LS>1.在可信度方法中，证据E的出现增加结论呐真时，有( )。A.CF( H， E) >1 B.CF ( H， E) >0C.CF( H， E) =0 D.CF ( H， E) <0.谓词公式x(P(x)yR(y))Q(x)中量词x的辖域是()P(x)yR(y)D.Q(x)AP(x)yR(y)D.Q(x).设个体域为整数集，下列公式中其值为 1的是()A.xy(xy0)B.yx(xy0)C.xy(xy0)D.xy(xy0).设L(x):x是演员，J(x):x是老师，A(x,y):x佩服y.那么命题"所有演员都佩服某些老师”符号化为()A.xL(x)A(x,y)B. x(L(x)y(J(y)A(x,y))C.xy(L(x)J(y)A(x,y))D.C.xy(L(x)J(y)A(x,y))D.xy(L(x)J(y)A(x,y)).谓词公式 xA(x)xA(x)的类型是( )A.永真式 B. 矛盾式C.非永真式的可满足式 D.不属于(A),(B),(C)任何类型.谓词公式yP(y)取真值为1的充分必要条件是( )A.对任意y,使P(y)都取真值1B.存在一个y。，使P(yo)取真值1C.存在某些y,使P(y)都取真值1D.存在y。，使P(y。)取真值0.设GxyP(x,y)Q(z,w),下面三个命题为真的是 ( )A.G是前束范式 B.G不是前束范式C.G不是一阶公式 D.G是永真式.与命题公式P(QR)等值的公式是()A.(PQ)RB.(PQ)RC.(PQ)RD.P(QR).命题公式(PQ)P是()A.永真式B.永假式 C.可满足式 D.合取范式三、判断题.与/或图中结点的深度必大于其父辈的深度。（ ）.若问题P可以归结为与之等价的一组子问题： P1,P2 Pn,当且仅当这些子问题全部可解时，原问题P才可解。（）.目标公式L在逻辑上遵循S,那么满足S的每个解释也满足L。（）.在图搜索算法中，如果按估价函数 fngnhn作为open^中的结点排序的..... ..-.....*依据，则该算法就是A算法。（）.在图搜索中，若与结点的后继结点并非全部不可解，则它是可解的。（ ）.任一表达式均可以转换成与/或形式。（）.CV初尸⑺*以疝-①公尸㈤初2⑸。（）.专家系统的瓶颈是知识的获取。（ ）.对叶子结点进行静态估计后，为了计算非叶子结点的估计值，必须从叶子结点向上倒推计算。（）.人工智能所解决的问题是一般的数值计算或数据处理问题。.第一个人工智能程序设计语言是表处理语言，它于 1960年在美国设计实现。.耦合性语言意为将具有规约语义的函数语言和具有归结语义的逻辑型语言组合在一起，并在两者间提供接口。.一旦推出空子句，则说明子句集 S是可满足的。、.公式的合一唯一。、.与或图通常称为状态图。.归结原理除了能用于对已知结果的证明外，还能用于对未知结果的求解。.规则演绎系统，是一种基于谓词逻辑的产生式系统。.OPEN表的动态数据结构，用于专门登记已经考查过的节点。在与或图中，无子节点的节点称为端节点。解树的代价就是树根的代价。模糊集合与其隶属函数是等价的。公式的Skolem标准型与原公式等值

产生式就是逻辑蕴涵式。正向推理是自底向上的综合过程，而反向推理则是自顶向下的分析过程。框架适合表达结构性的知识。语义网络是由节点和边组成的一种有向网，可用于表示事物间的关系。确定性理论是一种精确推理模型。基本概率分配函数之值是概率。黑板模型适于求解那些大型复杂且可分解为一系列层次化的子问题的问题。自然语言理解包括语音理解和文字理解。在谓词逻辑中，由于子句中含有变元，所以不能直接消去互补文字，需要用最一般合一对变元进行代换，然后才能进行归结四、名词解释可解结点专家系统状态空间产生式系统图灵测试( TuringTest)盲目搜索估价函数人工智能合适公式W的差异集合机器学习产生式启发式搜索归结原理原子集五、论述题简答题.规则演绎系统和产生式系统有哪几种推理方式？各自的特点为何？.从概念结构而言，专家系统有哪些部分构成？各部分的作用是什么？.人工智能的基本技术有哪些？并简述各种技术。.不确定性推理与通常的确定性推理有哪些差别？证明题5.设有子句集： 5.设有子句集： SIxRx,Ia,RyLy,La其中IxRx是目标公式否定后得到的子句。现要求用线性输入策略对子句集进行归结。.已知F:(x)((y)(A(x,y)八B(y)) (y)(C(y)AD(x,y)))G：(x)(C(x) (x)(y)(A(x,y)B(y)))求证：G是F的逻辑结论.用海伯伦定理证明下列子句集不可满足。S{PQ,PQ,PQ,PQ}.用归结方法证明下列公式为恒真。(H(x) M(x))H(a)M(a)计算题.用一阶谓词逻辑表示下列的英语句子Acomputersystemisintelligentifitcanperformatask,whichifperformedbyahuman,requiresintelligence.AformulawhosemainconnectiveisafisaequivalenttosomeformulawhosemainconnectiveisaV.3) Iftheinputtounificationalgorithmisasetofunifiableexpressions,theoutputisthemgu;iftheinputisasetofnon-unifiableexpressions,theoutputisFALL.10.设有一组规则，推理网络如图所示。Rule1:IFEiAE2thenE3={a1,a2} CF={0.2,0.6}Rule2:IFE5AE8THENE4={b} CF={0.8}Rule3:IFE3THENH={h1,h2,h3}CF={0.2,0.5,0.3}Rule4:IFE4THENH={h1,h2,h3}CF={0.3,0.4,0.1}Rule5:IFE6VE7已知：CF(Ei)=0.7THENE8 CF={0.8}CF(E2)=0.8CF( E5)=0.6CF( E6)=0.4CF( E7)=0.9U20试用D-S证据理论求出CF(H)。.将下列谓词公式化成相应的子句集。xyz{P(x)x[Q(x,y)R(z)]}xyzuvw(P(x,y,z,u,v,w)Q(x,y,z,u,v,w)R(x,z,w)).将下列公式化为skolem子句形xPxxQxxPxQxxPxyzQx,yzRy,xxPxxzQx,zzRx,y,z测试题答案——人工智能原理一、填空题.知识研究模拟智能程序 研制智能计算.模式识别问题求解定理证明专家系统机器视觉和机器学习.一阶谓词逻辑 框架语义网络 脚本和Petri网络.规则库综合数据库 控制系统.删除策略支持集策略线性输入策略 单文字子句策略 祖先过滤策略.队列堆栈.确定因子法 主观Bayes法D-S证据理论 可能性理论.符号主义 联想主义 行为主义.知识获取 人类领域专家获取知识 系统运行过程中的知识获取

信任程度的增长 不信任程度的增长模式识别 定理证明否定 合取析取正向演绎 逆向演绎程序自动设计 专家系统 机器学习 自然语言理解蕴涵双向演绎Bel(A)m(b)bAPl(A)1Bel(A)信任程度的增长 不信任程度的增长模式识别 定理证明否定 合取析取正向演绎 逆向演绎程序自动设计 专家系统 机器学习 自然语言理解蕴涵双向演绎Bel(A)m(b)bAPl(A)1Bel(A)初始状态集合机器感知 机器思维一阶谓词逻辑DENDRAL1978分层前向网络槽侧面综合数据库叙述性表示二、选择题1.B2.C3.C4.C算符集合 目标状态集合机器思维 机器行为语义网络 框架1965Fengenbum反馈层向网络 互连前向网络规则库 控制系统过程性表示智能机构造技术 机器学习脚本产生式关幼波肝病诊断与治疗专家系统5.A6.B7.A8.B9.C10.D11.D12.B13.C14.A15.D16.B17.A18.B19.B20.A三、判断题错误错误正确错误错误正确正确正确正确错误正确正确错误错误错误正确正确错误正确正确正确错误错误正确正确正确错误错误正确正确正确四、名词解释1．可解结点：对应本原问题的终端节点是可解节点；或节点的后继节点并非全部不可解，那么该或节点是可解的；与节点的后继节点均为可解节点时，那么该与节点为可解节点。2．专家系统：专家系统是一个大型的软件，它的功能应该不低于人类专家解决问题的能力。3．状态空间：状态是描述问题求解过程中任一时刻状况的数据结构，通常用一组变量的有序组合表示。而状态空间是问题的全部状态及一切可用算符构成的集合。4．产生式系统：产生式系统由三个部分所组成，即规则库，综合数据库和控制系统。图灵测试( TuringTest)：图灵测试是衡量计算机是否是智能机的标准，图灵测试由三方组成： 被测试的人、 被测试的机器和主持测试的考官。 考官提出问题分别让被测试的人和机器做答， 如果考官分不清楚哪个答案是人作出的， 哪个答案是机器作出的， 则图灵测试认为计算机就具备智能了。盲目搜索：是按预定的控制策略进行搜索，在搜索的过程中获得的信息不用来改进控制策略。估价函数： 用来估价节点重要性的函数称为估价函数。 一般形式为 fxgxhx其中g(x)为从初始节点So到节点x已经实际付出的代价，h(x)为从节点x到目标节点Sg的最优估计。人工智能：是一门研究知识的一门学科，即如何表示知识，如何获取知识，如何使用知识的学科的科学合适公式：原子是合式公式，若A，B是合式公式，则A、AB,AB,AB,AB也是合式公式， 若A(x)是合式公式， 则(x)A(x),(x)A(x)也是合式公式，除此之外再也没有其他的公式是合式公式。W勺差异集合：首先找出W勺所有表达式中不相同的第一个符号， 然后从W勺每个表达式中抽出占有这个位置的子表达式。所有这些子表达式的集合就是 W的差异集合。机器学习：机器学习就是系统在运行时可以做一些适应性的变化，使得系统在下一次执行类似上一次任务时比上一次更家有效，更加快捷，更加完善。 12.产生式:基本形式 P-Q,其中规则的前件P为前提，具体形式可以是谓词公式、关系表达式和真值函数的任意与、或、非组合，可以不精确匹配；而规则的后件Q则表示规则激活时应该执行的动作或应该得出的结论。启发式搜索 :启发式搜索又称为有知识搜索， 它是在搜索中利用与应用领域有关的启发性知识来控制搜索路线的一种搜索方法。 由于这类方法在搜索中利用了与问题求解有关的知识，不必穷尽地试验每一种可能性， 在任何时刻对将要搜索的节点都进行评价， 从中选择一个最有希望到达目标节点的节点优先搜索，这就避免了无效搜索，提高了搜索速度。归结原理 :为了证明子句集 S的不可满足，只要对 S中可进行归结的子句进行归结，并把归结式加入子句集S.得到新子句集S1,则S与S1在不可满足的意义上是等价的，归结原理的本质思想是去检查子句集 S是否包含一个空子句？，如果S包含？，则S是不可满足的。如果S不包含？，则去检查？是否可由S推导出来。当然这个推理规则必须保证推出的子句是

原亲本子句的逻辑结果。15.设S是子句集。集合A=｛所有形如P(t1,…,tn)的元素｝称作子句集S的原子集。其中P(t1,…,tn)是出现于S中的任一谓词符号，而t1,…,tn是S的H域的任意元素。五、论述题简答题.规则演绎系统可分为：①前向演绎系统：基于一组前向规则，从事实出发进行推理；②后向演绎系统：基于一组后向规则，从目标出发进行推理；③双向演绎系统：同时基于前向和后向规则，同时从事实和目标出发进行推理；产生式系统的推理可分为：①正向推理：从初始事实数据出发，正向使用规则进行推理，朝目标方向前进；②反向推理： 从目标出发，反向使用规则进行推理， 朝初始事实或数据方向前进；.专家系统的概念结构有六部分组成：⑴知识库，用以存储知识的集合；⑵推理机，使用知识库中的知识进行推理而解决问题；⑶动态数据库，存放初始证据事实、推理结果和控制信息的场所；⑷人机界面，最终用户和专家系统的交互界面；⑸解释模块，负责向用户解释专家系统的行为和结果；(6)知识库管理系统，是知识库的支撑软件，类似于数据库管理系统对数据库的作用。3.人工智能的基本技术有下列五种：⑴推理技术：对推理的研究往往涉及到对逻辑的研究，逻辑是人脑思维的规律，从而也是推理的理论基础；⑵搜索技术：搜索是指连续进行推理的过程，它是对推理进行引导和控制的技术；⑶知识表示和知识库技术：知识表示涉及知识的逻辑结构和物理结构，知识库类似于数据库，由于知识是智能的基础和源泉，因此，知识表示和知识库是人工智能的核心技术；⑷归纳技术：是指机器自动提取概念、抽取知识、寻找规律的技术；⑸联想技术：联想是最基本、最基础的思维活动，其前提是联想记忆或联想存储；4.不确定性推理与通常的确定性推理有本质的差别：⑴不确定性推理中符号模式匹配能够成功， 不但要求两个符号模式本身能够匹配， 而且要求证据事实所含的不确定性程度必须达到一定的限度；⑵不确定推理中一个规则的触发， 不仅要求其前提能匹配成功，而且前提条件的不确定性总程度还必须至少达到阀值；⑶不确定性推理中推得的结论是否有效，也取决其不确定性程度是否达到阀值；⑷不确定性推理还要求有一套关于不确定性度量的计算方法。证明题5.解：6.证明：首先把F和G化为子句集：A(x,y)B(y)C(f(x)) (2) A(x,y)B(y)D(x,f(x))(3) C(z) (4)A(a,b)5)B(b) 下面进行归结：6) A(x,y)B(y) (1)与(3)⑺ B(b) (4)与(6)⑻Nil ⑸与(7).证：此S子句集的原子集： A{P,Q}完整的语义树如下：IN21 {P,Q},使子句PQ为假IN22 {P,Q},使子句PQ为假IN23 {P,Q},使子句PQ为假IN21 {P,Q},使子句PQ为假即该语义树是封闭的，由海伯伦定理知该子句集不可满足。证毕。.证：此问题既是证明公式 ((H(x)M(x))H(a)M(a))为恒假将公式((H(x)M(x))H(a) M(a))化成对应的子句集:S{H(x)M(x),H(a),M(a)}应用归结原理：H(x)M(x)H(a)M(a)

M(a)由M(a)由归结由、归结证毕。计算题．(1)设 Computer_system(x)：x是计算机系统Intelligent(x)：x是智能的Perform_task(x)： x执行任务Require(x)：x要求的Man(x)：x是人则有(x)Intelligent(Computer_system(x))(y)Perform_task(y)Require(man(y))(2)设Formula(x)：表示x是公式；Connective」' "(x)：表示x的联结词是；Equivalent(x,y)：x与y等价， 则可以表示为：Equivalent(x,y)(x)Formila(x)Connective_""(x)(y)Formula(y)Connective_""(y)Equivalent(x,y)(3)设Input(x)：表示x是输入算法； Unification(y)：表示y是不能合一算