人工智能复习题库322321

《人工智能导论》试卷库一、填空：1.人工智能的研究途径有心理模拟、生理模拟和行为模拟。2.任意列举人工智能的四个应用性领域难题求解、定理证明、智能控制、机器翻译。3.人工智能的基本技术包括搜索技术、推理技术、知识表示和知识库技术归纳技术、联想技术。4.谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（10）。5.谓词逻辑中，重言式（tautlogy）的值是真。6.设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为永真式。7.在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF（A）=0，则意味着无关，CF（A）=-1，则意味着假，CF（A）=1，则意味着真。8.谓词公式G是不可满足的，当且仅当对所有的解释G都为假。9.谓词公式与其子句集的关系是包含。10.利用归结原理证明定理时，若得到的归结式为空集，则结论成立。11.若C1=┐P∨Q，C2=P∨┐Q，则C1和C2的归结式R（C1，C2）=┐P∨P或┐Q∨Q。12.若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）。14.有子句集S=｛P(x),P(y)｝，其MGU={y/x}。15.在归结原理中，几种常见的归结策略并且具有完备性的是删除策略支持集策略线性归结策略16.状态图启发式搜索算法的特点是（27）。17.广度优先搜索算法中，OPEN表的数据结构实际是一个二叉树，深度优先搜索算法中，OPEN表的数据结构实际是一个单链表。18.产生式系统有三部分组成综合数据库，知识库和推理机。其中推理可分为正向推理和反向推理。19.专家系统的结构包含人机界面、知识库，推理机，动态数据库，知识库答理系统和解释模块。20.在MYCIN推理中，对证据的可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（~A）=~CF（A），CF（A1∧A2）=min{CF（A1），CF（A2）}，CF（A1∨A2）=max{CF（A1），CF（A2）}。21.开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示和知识的运用，知识表示的方法主要有逻辑表示法（谓词表示法），框架，产生式和语义网络等，在语义网络表示知识时，所使用的推理方法有AKO和ISA22.MYCIN系统中使用不确定推理，规则A→B由专家指定其可信度CF（B，A），若A真支持B真，则指定CF（B，A）（与零比较）应（47）；若A真不支持B真，则指定CF（B，A）应（48）。23.机器学习的含义是指机器面对自行为的修正或性能的改善和机器对客观规律和发展。24.自然语言理解不仅包括计算机能正确理解人们用自然语言输入的信息，能正确回答输入信息中的有关问题，而且还包括语法分析、语用分析、语句分析。25.设U={a,b,c,d}，A={a,b}，B={a,b,c}，m(A)=0.6，m(U)=0.4，U的其它子集的基本概率分配函数m值均为0，则Bel(A)=（53），Bel(B)=（54）。26.证据理论中集合A的信任区间为[1，1]，则其语意解释为（55）。27.人工智能三大学派是符号主义、联结主义、行为主义28.化成子句形式为：。《人工智能导论》试卷库29.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是正向推理30.AI的英文缩写是ArtificalInteligence31.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域，而在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元，其他变元称为自由变元32.假言推理（AB）AB，假言三段论（AB）（BC）AC33.几种常用的归结策略：删除策略、支持集策略、线形归结策略、输入归结策略、单元归结策略34.在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为图搜索技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，这种图称为状态空间图（或状态图）35.在启发式搜索当中，通常用启发函数来表示启发性信息。。36.在二人博弈问题中，最常用的一种分析技术是极大极小分析法，这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此基础上，又提出了-剪枝技术37.某产生式系统中的一条规则：A（x）B（x），则前件是A（x），后件是B（x）38.在框架和语义网络两种知识表示方法中，框架适合于表示结构性强的知识，而语义网络则适合表示一些复杂的关系和联系的知识。面向对象不仅仅是一种知识表示方法，也是一种流行的软件设计和开发技术。39.不确定性类型按性质分：随机性，模糊性，不完全性，不一致性。40.在删除策略归结的过程中删除以下子句：含有纯文字的子句;含有永真式的子句;子句集中被别的子句类含的子句。对证据的可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（~A）=-CF(A)、CF（A1∧A2）=min{CF(A1),CF(A2)}、CF（A1∨A2）=max{CF(A1),CF(A2)}41.合一算法：求非空有限具有相同谓词名的原子公式集的最一般合一42.产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行的规则称为被触发规则。43.P(B|A)表示在规则A→B中，证据A为真的作用下结论B为真的概率。44.常用的二种盲目搜索方法是随机碰撞式搜索和完全式搜索；引入启发式知识来指导OPEN表中节点的排序可划分为二种方式全局择优搜索和局部择优搜索。45.产生式系统的推理可以分为正向推理和反向推理两种基本方式。46.知识表示的性能应从以下二个方面评价：_________和_________；后者又分二个方面_________和_________。47.人工智能的表现形式至少有智能软件智能系统智能设备智能设备智能网络几种。48.目前所用的知识表示形式有框架语义网络面向对象_等。49.框架系统的特性继承功能可通过组合应用槽的三个侧面来灵活实现，它们是_________、_________和_________。50.产生式系统是由综合数据库知识库_和_推理机_三部分组成的.51._________就是所考察判断的事物或对象的集合，记为____。它的子集构成_________。52.证据理论是经典概率论的一种扩充形式，构成这一理论的函数有__基本概念全分函数_、_信任函数____和___似真函数。53.对于模糊不确定性，一般采用模糊集合或模糊逻辑来刻划。54.归结法中，可以通过----修改证明树-----的方法得到问题的解答。55.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是正向推理56.人工智能的远期目标是制造智能机器，近期目标是实现机器智能。57.利用归结原理证明定理时，若得到的归结式为空集，则结论成立。《人工智能导论》试卷库58.在启发式搜索当中，通常用启发函数来表示启发性信息。二、简答题1.将下列自然语言转化为谓词表示形式：(1)所有的人都是要呼吸的。(2)每个学生都要参加考试。(3)任何整数或是正的或是负的。解：设M(x)：x是人,H(x)：x要呼吸。P(x)：x是学生，Q(x)：x要参加考试。J(x)：x是整数，R(x)：x是正数，N(x)：x是负数。则上述三题就记为：(1)V-x(M(x)→H(x))(2)V-x(P(x)→Q(x))(3)V-x(J(x)→R(x)∨N(x)))2.何谓“图灵实验”？简单描述之答：所谓“图灵实验”，是为了判断一台机器是否具备智能的实验。实验由三个封闭的房间组成，分别放置主持人、参与人和机器。主持人向参与人和机器提问，通过提问的结果来判断谁是人，谁是机器。如果主持人无法判断谁是人，谁是机器，则这台机器具备智能，即所谓的“智能机器”。3.写出图中树的结点两个访问序列，要求分别满足以下两个搜索策略：(1)深度优先搜索(2)广度优先搜索解：（１）深度优先搜索：１－２－５－６－１０－１１－３－７－１２－１３－４－８－９（２）广度优先搜索：１－２－３－４－５－６－７－８－９－１０－１１－１２－１３－１４4.试实现一个“大学教师”的框架，大学教师类属于教师，包括以下属性：学历（学士、硕士、博士）、专业（计算机、电子、自动化、……）、职称（助教、讲师、副教授、教授）解：框架名：大学教师类属：教师学历：(学士、硕士、博士)专业：（计算机、电子、自动化、…..）职称：（助教、讲师、副教授、教授）5.用谓词逻辑形式化下列描述“不存在最大的整数”解：定义谓词G(x)：x为整数D(x,y)：x大于y形式化为：),()()(yxDyGyxGx┐51423678910111213《人工智能导论》试卷库或者),()()(xyDyGyxGx6.用语义网络表示“苹果”知识。7.什么是产生式？产生式规则的语义是什么？答：产生式规则基本形式：P→Q或者IFPTHENQP是产生式的前提（前件），用于指出该产生式是否可用的条件Q是一组结论或操作（后件），用于指出当前提P所指示的条件满足时，应该得出的结论或应该执行的操作产生式规则的语义：如果前提P被满足，则可推出结论Q或执行Q所规定的操作8.谓词公式G通过８个步骤所得的子句集合S，称为G的子句集。请写出这些步骤。答：(1）消去蕴含式和等价式→，-(2）缩小否定词的作用范围，直到其作用于原子公式:(3）适当改名，使量词间不含同名指导变元和约束变元。(4.）消去存在量词（形成Skolem标准型）(5）消去所有全称量词(6)化成合取范式(7).适当改名，使子句间无同名变元(8).消去合取词∧，用逗号代替，以子句为元素组成一个集合S9.（1）已知S={P(f(x),y,g(y)),P(f(x),z,g(x))}，求MGU（2）已知W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU解：（1）k=0;S0=S;δ0=ε;S0不是单元素集，求得差异集D0={y,z},其中y是变元，z是项，且y不在z中出现。k=k+1=1有δ1=δ0·｛z/y｝=ε·｛z/y｝=｛z/y｝，S1=S0·｛z/y｝={P(f(x),z,g(z)),P(f(x),z,g(x))},S1不是单元素集，求得差异集D1=｛z,x｝,k=k+1=2;δ2=δ1·｛z/x｝=｛z/y,z/x｝,S2=S1·｛z/x｝=｛P(f(z),z,g(z))｝是单元素集。根据求MGU算法，MGU=δ2=｛z/y,z/x｝（2）k=0;S0=S;δ0=ε;S0不是单元素集，求得差异集D0={g(A,y)},z},其中z是变元，g(A,y)是项，且z不在g(A,y)中出现。k=k+1=1有δ1=δ0·｛g(A,y)/z｝=ε·｛g(A,y)/z｝=｛g(A,y)/z｝，S1=S0·｛g(A,y)/z｝={P(f(x,g(A,y)),g(A,y))},S1是单元素集。根据求MGU算法，MGU=δ1=｛g(A,y)/z｝10.（1）证明G是否是F的逻辑结论；))()((:))()()((:xQxPxGxQaQxPxF证:①P(x)．．．从F变换②Q(a)∨Q(x)．．．从F变换③┓P(y)∨┓Q(y)．．．结论的否定④┓Q(x)．．．①③归结,{x/y}⑤□．．．②④归结,置换{a/x}得证。（2）证明G是否是F1、F2的逻辑结论；))()(())()((2))()(()((1xRxSxGxSxPxFxRxQxPxF：：：证:①┓P(x)∨Q(x)．．．从F1变换②┓P(y)∨R(y)`．．．从F1变换苹果水果AKO《人工智能导论》试卷库③P(a)．．．从F2变换④S(a)．．．从F2变换⑤┓S(z)∨┓R(z)．．．结论的否定⑥R(a)．．．②③归结｛a/y｝⑦┓R(a)．．．④⑤归结｛a/z｝⑧□．．．⑥⑦归结得证.11.1、用语义网络表示下列信息：(1)胡途是思源公司的经理