人工智能经典考试试题及答案

一、选择题(115分)1、AI的英文缩写是A)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation2、反演归结〔消解〕证明定理时，假设当前归结式是〔〕时，则定理得证。A)永真式 B)包孕式〔subsumed〕 C)空子句3、从事实动身，通过规章库求得结论的产生式系统的推理方式是A)正向推理 B)反向推理 C)双向推理4、语义网络表达学问时，有向弧AKO链、ISA链是用来表达节点学问的〔。A)无悖性 B)可扩大性 C)继承性5、(A→B)∧A=>B是A)附加律 B)拒收律 C)假言推理D)US6、命题是可以推断真假的A)祈使句 B)疑问句 C)感慨句 D)陈述句7、仅个体变元被量化的谓词称为A)一阶谓词B)原子公式C)二阶谓词D)全称量词8、MGU是A)最一般合一 B)最一般替换 C)最一般谓词 D)基替换9、1997年５月，著名的“人机大战3.5比2.5这台计算机被称为〔〕A〕深蓝 B〕IBM C〕深思 D〕蓝天10、以下不在人工智能系统的学问包含的4个要素中A)事实 B)规章 C)掌握和元学问D)关系11谓词规律下子句,C1=L∨C1‘,C2=¬L∨C2‘, 假设σ是互补文字〔最一般合一置换则其归结式C=〔〕A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’12、或图通常称为A〕框架网络 B)语义图 C)博亦图 D)状态图13、不属于人工智能的学派是A)符号主义 B)时机主义 C)行为主义 D)连接主义。14、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是15.要想让机器具有智能，必需让机器具有学问。因此，在人工智能中有一个争论领域，主要争论计算机如何自动猎取学问和技能，实现自我完善，这门争论分支学科叫〔。A)专家系统 B)机器学习 C)神经网络 D)模式识别1.5301、不确定性类型按性质分： ， ，， 。2、在删除策略归结的过程中删除以下子句：含有 的子句;含有 的子句;子句集中被别的子句 的子句。3、对证据的可信度C〔、C〔A1C〔A2〕之间，规定如下关系：CF〔~A〕CF〔~A〕=、CF〔A1∧A2〕=CF〔A1∨A2〕=4、图：指由和。和组成的网络。按连接同一节点的各边的规律关系又可分为5、合一算法：求非空有限具有一样谓词名的原子公式集的6。7、P(B|A) 表示在规则 中，证据A 为真的作用下结论B的 。8、人工智能的远期目标是 ，近期目标是 。5251、填写下面的三值规律表。其中T，F，U分别表示真，假，不能判定2、什么是产生式？产生式规章的语义是什么？3、谓词公式G通过８个步骤所得的子句集合S，称为G的子句集。请写出这些步骤。4、S={P(f(x),y,g(y)),P(f(x),z,g(x))MGU5、证明G是否是FF:x(P(x)Q(a)Q(x))G:x(P(x)Q(x))301、用语义网络表示以下信息：3568清华大学与北京大学进展蓝球竞赛，最终以89：102的比分完毕。答：2α-β剪枝技术剪去不必要的分枝〔在节点及边上直接加注释〕3、设有如下关系〔1〕假设x是yy又是z的父亲，则x是z〕老李是大李的父亲〔3〕大李是小李的父亲；问上述人员中谁和谁是祖孙关系？答案：一、1、B 2、C 3、A 4、C 5、C6、D7、A8、A9、A10、D11、A12、D13、B14、C15、B二、1、随机性，模糊性，不完全性，不全都性2、纯文字，永真式，类含3、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)}4、节点，有向边，或图，与或图5、最一般合一〔MGU〕6、被触发规章7、A→B，概率8、制造智能机器，实现机器智能三、1、2、产生式规章根本形式：P→Q 或者IF P THEN QP是产生式的前提〔前件，用于指出该产生式是否可用的条件Q是一组结论或操作〔后件，用于指出当前提P产生式规章的语义：假设前提PQ或执行Q所规定的操作3、1〕消去蕴含式和等价式→，<->缩小否认词的作用范围，直到其作用于原子公式:适当改名，使量词间不含同名指导变元和约束变元。4.〕消去存在量词〔形成Skolem标准型〕5〕消去全部全称量词6)化成合取范式适当改名，使子句间无同名变元消去合取词∧，用逗号代替，以子句为元素组成一个集合S4、解：k=0;S0=S;δ0=ε;S0D0={y,z},其中yz是项，且y不在zk=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))｝是单元素集。依据求MGUMGU=δ2=｛z/y,z/x｝5、证:①P(x) ．．．从F变换②Q(a)∨Q(x) ．．．从F③┓P(y)∨┓Q(y)．．．结论的否认④┓Q(x) ．．．①③归结,{x/y}⑤□ ．．．②④归结,置换{a/x}得证。四、2、3、解现定义如下谓词F(x,y) G(x,z) 用谓词规律表示与求解:(1)F(L,D)F(D,X)

F(y,)

G(x,z)(4)G(u,v),u=?,v=?其中,L表示老李,D,X先证存在祖孙关系①

┓F(y,)

G(x,z(1②F(L,D) (2③F(D,X) (3④G(u,v) ⑤┓F(D,zG(L,z)L/x,D/｝⑥G(L,X) X/｝⑦□ 为了求解用一个重言式④④G(u,vG(u,v)⑤┓F(D,zG(L,z)L/x,D/｝⑥G(L,X) X/｝⑦G(L,X) 得结果:LX的祖父，即老李是小李的祖父。5251、解释以下模糊性学问：1)〔0.9。2)(患者，病症，(头疼，0.95))(患者，病症，(发烧，1.1))→(患者，疾病，(感冒，1.2))答：2、简洁阐述产生式系统的组成：答：3、补齐产生式系统与图搜寻的比照表答：4、W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU解：5、证明G是否是F1、F2F1：x(P(x)(Q(x)R(x))F2：x(P(x)S(x))G：x(S(x)R(x))3012α-β剪枝技术剪去不必要的分枝〔在节点及边上直接加注释〕3、利用谓词规律表示以下学问〔包括和结论〕，然后化成子句集：但凡清洁的东西就有人宠爱；人们都不宠爱苍蝇求证：苍蝇是不清洁的。一、1、D2、C3、C4、D5、A6、A7、D8、C9、D10、B11、A12、B13、A.14、D15、B二、1、图林 2、正向推理3、Artifical Intelligence4、随机性，模糊性，不完全性，不全都性5、纯文字，永真式，类含6、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)})7、节点和有向边，或图，与或图 8、最一般合一〔MGU〕9、深蓝 10、制造智能机器，实现机器智能三、1、答：1〕表示：命题“张三比较胖”2〕解释为：假设患者有些头疼并且发高烧，则他患了重感冒。2、答：1〕产生式规章库：描述相应领域学问的产生式规章集2〕〔事实的集合〕存放问题求解过程中当前信息的数据构造〔结果事实和最终结果事实〕3〕〔掌握系统〕是一个程序，掌握协调规章库与数据库的运行，包含推理方式和掌握策略。3、答：4、解：k=0;S0=S;δ0=ε;S0D0={g(A,y)},z}zg(A,yzg(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是单元素集。依据求MGUMGU=δ1=｛g(A,y)/z｝5、证:①┓P(x)∨Q(x)．．．从F1②┓P(y)∨R(y)③P(a)④S(a)`．．．从F1．．．从F2．．．从F2⑤┓S(z)∨┓R(z)．．．结论的否认⑥R(a) ．．．②③归结｛a/y｝⑦┓R(a) ．．．④⑤归结｛a/z｝⑧□ ．．．⑥⑦归结得证.四、1、答：谓词公式表示：x(student(x)∧read(x,三国演义))语义网络表示如图：2、3、证：现定义如下谓词L(x,y) 某人x宠爱某物y；P(y) 某物y(1)yx(P(y)→L(x,y))==>┓P(y)∨L(f(y),y)(2)x(┓L(x,Fly))==>┓L(x,Fly)(3)P(Fly)．．．结论的反(4)L(f(Fly),Fly)．．．(1)(3)归结,置换{Fly/y}(5)□ ．．．(2)(4)归结,{f(Fly)/x}得证。试题局部：一、选择题〔1515分〕1、97年５月，著名的“人机大战3.5比2.5台计算机被称为〔〕A〕深蓝 B〕IBM C〕深思 D〕蓝天2、以下不在人工智能系统的学问包含的4个要素中A)事实 B)规章 C)掌握和元学问D)关系3、谓词规律下，子,C1=L∨C1‘,C2=¬L∨C2‘, 假设σ是互补文字的〔最一般〕合一置换，则其归结C=〔〕A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’4、或图通常称为A〕框架网络 B)语义图 C)博亦图 D)状态图5、不属于人工智能的学派是A)符号主义 B)时机主义 C)行为主义 D)连接主义。6、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是7、要想让机器具有智能，必需让机器具有学问。因此，在人工智能中有一个争论领域，主要争论计算机如何自动猎取学问和技能，实现自我完善，这门争论分支学科叫〔。A)专家系统 B)机器学习 C)神经网络 D)模式识别8、以下哪局部不是专家系统的组成局部〔 〕A.〕用户 B〕综合数据库 C〕推理机 D〕学问库9、产生式系统的推理不包括〔〕A〕正向推理 B〕逆向推理 C〕双向推理 D〕简洁推理10、C(B|A)表示在规章A->B中，证据A为真的作用下结论B为真的A)可信度 B)信度 C)信任增长度 D)概率11、AI的英文缩写是A)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation12、反演归结〔消解〕证明定理时，假设当前归结式是〔〕时，则定理得证。永真式 B)包孕式〔subsumed〕 C)空子句13、在公式中 y xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依靠于y值。令这种依靠关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做〔〕依靠函数Skolem函数打算函数多元函数14、子句~P Q和P经过消解以后，得到〔〕PQ~PP Q15、假设问题存在最优解，则下面几种搜寻算法中〔〕必定可以得到该最优解。广度优先搜寻深度优先搜寻有界深度优先搜寻启发式搜寻二、填空题〔共30分：1.在谓词公式中紧接于量词之后被量词作用的谓词公式称为该量词的 而在一个量词的辖域中与该量词的指导变元一样的变元称为 ，其他变元称为2、假言推理〔A B〕 A ，假言三段论〔A B〕〔B C〕3、几种常用的归结策略： 、支持集策略、线形归结策略、输入归结策略、单元归结策略4、在诸如走迷宫、下棋、八数码玩耍等玩耍中，常用到的一种人工智能的核心技术称为技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，这种图称为在启发式搜寻当中，通常用 来表示启发性信息。在二人博弈问题中最常用的一种分析技术是 ，这种方法的思想是先生成一棵博弈树然后再计算其倒推值。但它的效率较低，因此人们在此根底上，又提出了7、不确定性类型按性质分： ， ，， 。8、在删除策略归结的过程中删除以下子句：含有 的子句;含有 的子句;子句集中被别的子句 的子句。9、对证据的可信度C〔、C〔A1C〔A2〕之间，规定如下关系：CF〔~A〕= 、CF〔A1∧A2〕= 、CF〔A1∨A2〕= 。10、图：指由 组成的网络。按连接同一节点的各边的规律关系又可分为和 。11、合一算法：求非空有限具有一样谓词名的原子公式集的 。12、开发专家系统所要解决的根本问题有三个，那就是学问的猎取、学问的表示和 ，学问表示的方法主要有 ， ， 和语义网络等，在语义网络表示学问时，所使用的推理方法有 和三、简答与应用题1“不存在最大的整数”(4分)2.α－β剪枝的条件是什么？3、某问题由以下公式描述：、试用归结法证明(x)R(x)；4.专家系统的一般步骤有哪些？专家系统的开发与一般的软件系统开发相比较，有哪些共同点和特点？〔7分〕“图灵试验”？简洁描述之〔5分〕6、设有如下关系〔1〕假设x是yy又是z的父亲，则x是z〕老李是大李的父亲〔3〕大李是小李的父亲；问上述人员中谁和谁是祖孙关系？(10分)7.1～9九个数字排一个序列，使得该序列的前n(n=1,...,9)个数字组成的整数能被n整除。(1)、争论哪些学问可以帮助该问题的求解。、用产生式系统描述该问题.(15分)答案局部一、选择题A D A D B C B A D B B C B B A二、填空题1、辖域 约束变元 自由变元2、B A C3、删除策略4、图搜寻 状态空间图〔或状态图〕5、启发函数6、极大微小分析法 - 剪枝技术7、随机性模糊性不全都性不确定性8、纯文字永真 类含9、~C〔A〕min{C〔A1，C〔A〕} max{C〔A1，C〔A〕}10、或图与或图11、最一般合一12、学问的运用规律表示法〔谓词表示法〕框架产生式AKO ISA三、简答及应用题1、定义谓词G(x)：x为整数D(x,y)：xy形式化为：┐xG(x)yG(y)D(x,y)或者xG(x)yGyDyx)2、答复:α剪枝：假设任一微小值层节点的β值小于或等于它任一先辈极大值节点的α值，即α〔先辈层〕β〔后继层，则可中止该微小值层中这个MIN节点以下的搜寻过程。这个MIN为这个β值。β剪枝：假设任一极大值层节点的α值大于或等于它任一先辈微小值层节点的β值，即α〔后继层〕≥β〔先辈层MAXMAX节点的最终倒推值就确定为这个α值。3、化子句集如下：4〔１〕系统分析、系统设计等几个阶段的工作。〔２〕但由于它是专家系统，而不是一般的软件系统，所以，又有其独特的地方，主要包括以下几个步骤：１〕系统总体分析与设计；２〕学问猎取；３〕学问表示与学问描述语言设计；４〕学问库设计、学问库治理系统设计；５〕推理机与解释模块设计；６〕总控与界面设计７〕编程与调试８〕测试与评价９〕运行与维护〔３〕可以看出它有如下特点：１〕学问猎取和学问表示设计是一切工作的起点；学问表示与学问描述语言确定后，其他设计可同时进展；5、答：所谓“图灵试验持人、参与人和机器。主持人向参与人和机器提问，通过提问的结果来推断谁是人，谁是机器。假设主持人无法推断谁是人，谁是机器，则这台机器具备智能，即所谓的“智能机器6、解:现定义如下谓词F(x,y)------xy的父亲;G(x,z)xy的祖父;用谓词规律表示与求解:(1) F(x,y)∧F(y,z)→G(x,z)F(L,D)F(D,X)(4)G(u,v),u=?,v=?其中,L表示老李,D表示大李,X表示小李。先证存在祖孙关系①～F(x,y)∨～F(y,z)∨G(x,z)．．从(1)变换②F(L,D) ．．从(2)变换③F(D,X) ．．从(3)变换④～G(u,v) ．．结论的否认⑤～F(D,z)∨G(L,z) ．．①②归结,置换｛L/x,D/y｝⑥G(L,X) ．．③⑤归结,置换｛X/z｝⑦□ ．．④⑥归结,置换｛L/u,X/v｝得证,说明存在祖孙关系。为了求解用一个重言式④④～G(u,v)∨G(u,v)．．用重言式代替结论的否认,重言式恒为真⑤～F(D,z)∨G(L,z) ．．①②归结,置换｛L/x,D/y｝⑥G(L,X) ．．③⑤归结,置换｛X/z｝⑦G(L,X) ．．④⑥归结,置换｛L/u,X/v｝得结果:LX的祖父，即老李是小李的祖父。7、如下的学问可以帮助求解该问题：序列中，偶数在偶数位置，奇数在奇数位置；5。综合数据库：19的序列表示：N={x}，其中x19的数字之一。规章集：r1:IFlen(N)=4THEN{x}∪{5}r2:IFlen(N)为偶数andn=In(1,3,7,9)THEN{x}∪{n}r3:IFlen(N)为奇数andn=In(2,4,6,8)THEN{x}∪{n}len(N)为求序列的长度，In(a,b,c,d)为取a、b、c、d之一。初始状态：{}完毕条件：得到的序列Ni个数组成的整数能被i整除一、选择题(115分)1、人工智能是一门A)数学和生理学 B)心理学和生理学 C)语言学D)综合性的穿插学科和边缘学科2、语义网络表达学问时，有向弧AKO链、ISA链是用来表达节点学问的〔。A)无悖性 B)可扩大性 C)继承性3、(A->B)∧A=>B是A)附加律 B)拒收律 C)假言推理D)US4、命题是可以推断真假的A)祈使句 B)疑问句 C)感慨句 D)陈述句5、仅个体变元被量化的谓词称为A)一阶谓词 B)原子公式 C)二阶谓词 D)全称量词6、MGU是A)最一般合一 B)最一般替换 C)最一般谓词 D)基替换最一般合一7、以下不在人工智能系统的学问包含的4个要素中A)事实 B)规章 C)掌握 D)关系8、当前归结式是〔〕时，则定理得证。A)永真式 B包孕式〔subsumed〕 C)空子句9、或图通常称为A〕框架网络 B)语义图 C)博亦图 D)状态图10、不属于人工智能的学派是A)符号主义 B)时机主义 C)行为主义 D)连接主义。11、所谓不确定性推理就是从()的初始证据动身，通过运用()的学问，最终推出具有肯定程度的不确定性但却是合理或者近乎合理的结论的思维过程。A)不确定性,不确定性 B)确定性,确定性C)确定性,不确定性 D)不确定性确定性12.要想让机器具有智能，必需让机器具有学问。因此，在人工智能中有一个争论领域，主要争论计算机如何自动猎取学问和技能，实现自我完善，这门争论分支学科叫〔。A)专家系统 B)机器学习 C)神经网络 D)模式识别13、以下哪局部不是专家系统的组成局部〔 〕A.〕用户 B〕综合数据库 C〕推理机 D〕学问库14、产生式系统的推理不包括〔〕A〕正向推理 B〕逆向推理 C〕双向推理 D〕简洁推理15、C(B|A)表示在规章A->B中，证据A为真的作用下结论B为真的A)可信度 B)信度 C)信任增长度 D)概率1301、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是2、从事实动身，通过规章库求得结论的产生式系统的推理方式是。3、AI的英文缩写是 。4、不确定性类型按性质分： ， ，， 。5、在删除策略归结的过程中删除以下子句：含有 的子句;含有 的子句;子句集中被别的子句 的子句。6、对证据的可信度C〔、C〔A1C〔A2〕之间，规定如下关系：CF〔~A〕= 、CF〔A1∧A2〕= 、CF〔A1∨A2〕= 。7、图：指由 组成的网络。按连接同一节点的各边的规律关系又可分为和 。8、合一算法：求非空有限具有一样谓词名的原子公式集的 。9、1997年５月，著名的“人机大战，最终名为“ ”的计算机以3.5比2.5的总比分将世界际象棋棋王卡斯帕罗夫击败。10、人工智能的远期目标是 ，近期目标是 。5251、解释以下模糊性学问：1)〔0.9。2)(患者，病症，(头疼，0.95))(患者，病症，(发烧，1.1))→(患者，疾病，(感冒，1.2))答：2、简洁阐述产生式系统的组成：答：3、补齐产生式系统与图搜寻的比照表答：4、W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU解：5、证明G是否是F1、F2F1：x(P(x)(Q(x)R(x))F2：x(P(x)S(x))G：x(S(x)R(x))证:301答：2α-β剪枝技术剪去不必要的分枝〔在节点及边上直接加注释〕3、利用谓词规律表示以下学问〔包括和结论〕，然后化成子句集：但凡清洁的东西就有人宠爱；人们都不宠爱苍蝇求证：苍蝇是不清洁的。证：答案：一、1、D2、C3、C4、D5、A6、A7、D8、C9、D10、B11、A12、B13、A.14、D15、B二、1、图林 2、正向推理3、Artifical Intelligence4、随机性，模糊性，不完全性，不全都性5、纯文字，永真式，类含6、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)})7、节点和有向边，或图，与或图 8、最一般合一〔MGU〕9、深蓝 10、制造智能机器，实现机器智能三、1、答：1〕表示：命题“张三比较胖”2〕解释为：假设患者有些头疼并且发高烧，则他患了重感冒。2、答：1〕产生式规章库：描述相应领域学问的产生式规章集〔事实的集合〕存放问题求解过程中当前信息的数据构造〔结果事实和最终结果事实〕3〕〔掌握系统〕是一个程序，掌握协调规章库与数据库的运行，包含推理方式和掌握策略。3、答：4、解：k=0;S0=S;δ0=ε;S0D0={g(A,y)},z}zg(A,yzg(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是单元素集。依据求MGUMGU=δ1=｛g(A,y)/z｝5、证:①┓P(x)∨Q(x)．．．从F1②┓P(y)∨R(y)③P(a)④S(a)`．．．从F1．．．从F2．．．从F2⑤┓S(z)∨┓R(z)．．．结论的否认⑥R(a) ．．．②③归结｛a/y｝⑦┓R(a) ．．．④⑤归结｛a/z｝⑧□ ．．．⑥⑦归结得证.四、1、答：谓词公式表示：x(student(x)∧read(x,三国演义))语义网络表示如图：2、3、证：现定义如下谓词L(x,y) 某人x宠爱某物y；P(y) 某物y(1)yx(P(y)→L(x,y))==>┓P(y)∨L(f(y),y)(2)x(┓L(x,Fly))==>┓L(x,Fly)(3)P(Fly)．．．结论的反(4)L(f(Fly),Fly)．．．(1)(3)归结,置换{Fly/y}(5)□ ．．．(2)(4)归结,{f(Fly)/x}得证。一、单项选择题：1：人类智能的特性表现在4个方面 。A：聪明、敏捷、学习、运用。B：能感知客观世界的信息、能对通过思维对获得的学问进展加工处理、能通过学习积存学问增长才能和适应环境变化、能对外界的刺激作出反响传递信息。C：感觉、适应、学习、创。D：能捕获外界环境信息、能够利用利用外界的有利因素、能够传递外界信息、能够综合外界信息进展创思维。2：人工智能的目的是让机器能够 ，以实现某些脑力劳动的机械化。A：具有智能 B：和人一样工作C：完全代替人的大脑 D：模拟、延长和扩展人的智能3：以下关于人工智能的表达不正确的有： 。A：人工智能技术它与其他科学技术相结合极大地提高了应用技术的智能化水平。B：人工智能是科学技术进展的趋势。C：由于人工智能的系统争论是从上世纪五十年月才开头的，格外，所以格外重要。D：人工智能有力地促进了社会的进展。4：人工智能争论的一项根本内容是机器感知。以以下举中的 不属于机器感知的领域。A：使机器具有视觉、听觉、触觉、味觉、嗅觉等感知力量。B：让机器具有理解文字的力量。C：使机器具有能够猎取学问、学习技巧的力量。D：使机器具有听懂人类语言的力量5：自然语言理解是人工智能的重要应用领域，下面列举中的不是它要实现的目标。A：理解别人讲的话。 B：对自然语言表示的信息进展分析概括或编辑。C：赏识音乐。 D：机器翻译。6：为了解决如何模拟人类的感性思维，例如视觉理解、直觉思维、悟性等，争论者找到一个重要的信息处理的机制是：。A：专家系统B：人工神经网络C：模式识别D：智能代理7：假设把学问依据作用来分类，下述不在分类的范围内。A：用掌握策略表示的学问，即掌握性学问。B：可以通过文字、语言、图形、声音等形式编码记录和传播的学问，即显性学问。C：用供给有关状态变化、问题求解过程的操作、演算和行动的学问，即过程性学问。D：用供给概念和事实使人们知道是什么的学问，即陈述性。8：下述 不是学问的特征。A：简单性和明确性 B：进化和相对性C：客观性和依附性 D：可重用性和共享性9：下述 不是人工智能中常用的学问格式化表示方法。A：框架表示法 B：状态空间表示法C：语义网络表示法 D：形象描写表示法10：关于“与/或”图表示法的表达中，正确的选项是： 。A/ANO”连续各个局部的图形，用来描述各局部的因果关系。B/ANO”连续各个局部的图形，用来描述各局部之间的不确定关系。C/D/11：构成状态空间的4个要素是： 。A：开头状态、目标状态、规章和操作B：初始状态、中间状态、目标状态和操作C：空间、状态、规章和操作D：开头状态、中间状态、完毕状态和其他状态12：关于“与/或”图表示学问的表达，错误的有 。A：用“与/或”图表示学问便利使用程序设计语言表达，也便于计算机存储处理。B/或”图表示学问时肯定同时有“与节点”和“或节点C/或”图能便利地表示陈述性学问和过程性学问。D：能用“与/或”图表示的学问不适宜用其他方法表示。13：以下不是学问表示法的是 。A：计算机表示法 B“/或”图表示法C：状态空间表示法 D：产生式规章表示法14：一般来讲，以下语言属于人工智能语言的是 。A：VB B：Pascal C：Logo D：Prolog15：Prolog语言的三种根本语句是： 。A：挨次、循环、分支 B：陈述、询问、感慨C：事实、规章、询问 D：确定、疑问、感慨16：匹配是将两个学问模式进展 比较。A：一样性 B：全都性 C：可比性 D：同类性17：以下程序的运行结果是 。A：ellen B：john C：eric D：ellen、john、ericpredicateslikes(symbol,symbol)clauseslikes(ellen,reading).likes(john,computers).likes(john,swimming).likes(leonard,badminton).likes(eric,swimming).likes(eric,reading).goallikes(Person,reading),likes(Person,swimming).18：以下Prolog程序的运行结果是： 。A：xiaohua B：xiaoming C：xiaofang Dpingpongpredicateslikes(symbol,symbol)friend(symbol,symbol)clauseslikes(xiaofang,swimming).likes(xiaoming,pingpong).friend(X,xiaohua):-likes(X,pingpong).goalfriend(X,xiaohua).19：以下程序的运行结果是。A：bill B：tammytammy joesue sueC：billsuejoeD：billjoetammypredicatesmale(symbol)female(symbol)parent(symbol,symbol)clausesmale(bill).male(joe).female(sue).female(tammy).parent(bill,joe).parent(sue,joe).parent(joe,tammy).goalparent(Parent,_).20：专家系统是一个简单的智能软件，它处理的对象是用符号表示的学问，处理的过程是的过程。A：思维 B：思考 C：推理 D：递推21：进展专家系统的开发通常承受的方法是 。A：逐步求精 B：试验法 C：原型法 D：递推法22：在专家系统的开发过程中使用的专家系统工具一般分为专家系统的 和通用专家系统工具两类。A：模型工具 B：外壳 C：学问库工具 D：专用工具23：专家系统是以 为根底，以推理为核心的系统。A：专家 B：软件 C：学问 D：解决问题24： 是专家系统的重要特征之一。A：具有某个专家的阅历C：看上去像一个专家25：一般的专家系统都包括个局部。B：能模拟人类解决问题D：能解决简单的问题A：4 B：2C：8 D：626：人类专家学问通常包括两大类：。A：理科学问和文科学问B：书本学问和阅历学问C：根底学问和专业学问D：理论学问和操作学问27：确定性学问是指 学问。A：可以准确表示的B：正确的C：在大学中学到的学问D：能够解决问题的28：以下关于不确定性学问描述错误的选项是 。A：不确定性学问是不行以准确表示的B：专家学问通常属于不确定性学问C：不确定性学问是经过处理过的学问D：不确定性学问的事实与结论的关系不是简洁的“是”或“不是。29：学问猎取的目的是将人类专家的学问转换为专家系统学问库中的学问，学问猎取的方法通常有 种。A：2 B：3 C：4 D：530：专家系统的推理机的最根本的方式是 。A：直接推理和间接推理 B：正向推理和反向推理C：规律推理和非规律推理 D：准确推理和模糊推理31：专家系统的正向推理是以 作为动身点，依据肯定的策略，应用学问库中的学问，推断出结论的过程。A：需要解决的问题 B：事实C：证明结论 D：表示目标的谓词或命题32:以下关于不准确推理过程的表达错误的选项是 。A：不准确推理过程是从不确定的事实动身B：不准确推理过程最终能够推出确定的结论C：不准确推理过程是运用不确定的学问D：不准确推理过程最终推出不确定性的结论33：以下不属于专家系统的解释功能的主要作用是 。A：对用户说明为什么得到这个结论 B：对用户说明如何得到这个结论C：提高专家系统的信任程度 D：对用户说明专家系统的学问构造34：在重排九宫问题的状态树中〔如以下图，以下选项中全是分支节点的是 A：B2、C2、D2、E2 B：B4、C2、D3、D8C：B3、C5、D7、E7 D：C6、D1、E5、E1435：在重排九宫问题中，启发函数H〔x〕+D〔x〕中的D〔x〕表示。A：节点x与目标状态位置不同的棋子个数B：节点x与目标状态位置一样的棋子个数C：节点x的子节点数 D：节点x所在的层数36：有一个农夫带一匹狼、一只羊和一棵白菜过河〔从河的北岸到南岸。假设没有农夫看管，则狼要吃羊，羊要吃白菜。但是船很小，只够农夫带一样东西过河。用0101〔100表示只有狼运到南岸。初始时，南岸状态为00南岸，最终状态为111，表示狼、羊、白菜都运到了南岸。用状态空间为农夫找出过河方法，以下狼、羊、白菜在南岸消灭的序列可能是。A：000-010-100-101-111B：000-010-001-101-111C：000-100-110-111D：000-001-011-11137：以下图是一个迷宫，S是入口，S是出口，把入口作为初始节点，出口作为目标节点，通道作为分支，画出从0 g入口S动身，查找出口Sg的状态树。依据深度优先搜寻方法搜寻的路径是 。0A：s0-s4-s5-s6-s9-sg B：s0-s4-s1-s2-s3-s6-s9-sgC：s0-s4-s1-s2-s3-s5-s6-s8-s9-sg D：s0-s4-s7-s5-s6-s9-sg38：井字棋对弈中，假设甲乙双方承受博弈策略的启发函数为：假设摆的棋子能增加自己得分时机的摆子：得1假设摆的棋子能削减对方取胜时机的摆子：得1分；假设摆的棋子能增加自己得分时机且能削减对方得分时机：得2分；则以下对弈中，●代表甲方，×代表乙方。乙方能得2分的步骤是 。A：乙方摆棋×● ●B： ● 乙方摆棋 ●×× ×● ●C： ●×

乙方摆棋 ●×× ×● ● ×● ●D： ● ●乙方摆棋× × ×● ●39：人工智能的进展历程可以划分为 。A：诞生期和成长期 B：形成期和进展期C：初期和中期 D：初级阶段和高级阶段40：我国学者吴文俊院士在人工智能的 领域作出了奉献。A：机器证明 B：模式识别 C：人工神经网络 D：智能代理二、推断题1〔。2PatternRecognition〔。3、人工智能争论的先驱者认为人的智能主要表现在人能学习学问和运用学问上，学问是智能的根底。于是学者〔英文缩写为E〔4、学问的框架表示法中，一个框架由假设干个称为“槽”的构造组成，而每一个这样的构造又可拥有假设干个侧面〔。5、在学问的规章表示法中，产生式的根本形式是P<->Q〔。6、人工智能语言只有Prolog语言〔。7、学问猎取的方法有手动猎取学问、自动猎取学问这两种方法〔。8、反向推理是以事实作为动身点，依据肯定的策略，运用学问库中的学问，推断出结论的过程〔。9、学问工程属于人工智能科学的范畴〔。10、框架表示法是马文.明斯基首创〔。三、简答题：1：为什么机机器人会踢足球？试分析机器人要会踢足球必需具有哪些力量。2：把下学问用格式化的形式表示，并且用Prolog“学校有4个活动社团：舞蹈队、戏剧社、体操队和义工团。曹毅参与了戏剧社，刘中参与了义工团，张萍参与了体操队，义工团的人都是张萍的朋友参考答案一、选择题1、B2、D3、C4、C5、C6、B7、B8、A9、D10、D11、B12、D13、A14、D15、C16、B17、C18、B19、C20、C21、C22、B23、C24、B25、D26、B27、A28、C29、B30、B31、B32、B33、D34、B35、D36、B37、C38、D39、B40、A二、推断题1、对2、对34、对5、错6、错7、错8、错9、对10、对三、简答题1：由于机器人具有了类似人类的某些力量，所以机器人会踢足球。机器人踢足球应具有以下力量：能够感觉到足球的位置和自己所处的位置能够依据感觉的的信息，分析、推断能够依据自己的推断，作出快速反响，做出踢球、射门等动作。2：参考答案〔1〕专家系统名称设置：交通工具识别〔2〕谓词设置：含义谓词交通工具是类别是事实jiaotong_isit_ispositive学问库设置：it_is(“动力车“):-positive(“有动力源“)it_is(“人力车“):-positive(“无动力源“)jiaotong_is(“电动车“):-it_is(“动力车“),positive(“耗电“)jiaotong_is(“摩托车“):-it_is(“动力车“),positive(“耗汽油“)jiaotong_is(“自行车“):-it_is(“人力车“)说明：专家系统的谓词设置可以不同，但必需和学问库中规章中使用的谓词相匹配。一、选择题(115分)1、AI的英文缩写是A)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation2、反演归结〔消解〕证明定理时，假设当前归结式是〔〕时，则定理得证。A)永真式 B)包孕式〔subsumed〕 C)空子句3、从事实动身，通过规章库求得结论的产生式系统的推理方式是A)正向推理 B)反向推理 C)双向推理4、语义网络表达学问时，有向弧AKO链、ISA链是用来表达节点学问的〔。A)无悖性 B)可扩大性 C)继承性5、(A→B)∧A=>B是A)附加律 B)拒收律 C)假言推理D)US6、命题是可以推断真假的A)祈使句 B)疑问句 C)感慨句 D)陈述句7、仅个体变元被量化的谓词称为A)一阶谓词B)原子公式C)二阶谓词D)全称量词8、MGU是A)最一般合一 B)最一般替换 C)最一般谓词 D)基替换9、1997年５月，著名的“人机大战3.5比2.5这台计算机被称为〔〕A〕深蓝 B〕IBM C〕深思 D〕蓝天10、以下不在人工智能系统的学问包含的4个要素中A)事实 B)规章 C)掌握和元学问D)关系11谓词规律下子句,C1=L∨C1‘,C2=¬L∨C2‘, 假设σ是互补文字〔最一般合一置换则其归结式C=〔〕A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’12、或图通常称为A〕框架网络 B)语义图 C)博亦图 D)状态图13、不属于人工智能的学派是A)符号主义 B)时机主义 C)行为主义 D)连接主义。14、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是15.要想让机器具有智能，必需让机器具有学问。因此，在人工智能中有一个争论领域，主要争论计算机如何自动猎取学问和技能，实现自我完善，这门争论分支学科叫〔。A)专家系统 B)机器学习 C)神经网络 D)模式识别1.5301、不确定性类型按性质分： ， ，， 。2、在删除策略归结的过程中删除以下子句：含有 的子句;含有 的子句;子句集中被别的子句 的子句。3、对证据的可信度C〔、C〔A1C〔A2〕之间，规定如下关系：CF〔~A〕CF〔~A〕=、CF〔A1∧A2〕=CF〔A1∨A2〕=4、图：指由和。和组成的网络。按连接同一节点的各边的规律关系又可分为5、合一算法：求非空有限具有一样谓词名的原子公式集的6。7、P(B|A) 表示在规则 中，证据A 为真的作用下结论B的 。8、人工智能的远期目标是 ，近期目标是 。5251、填写下面的三值规律表。其中T，F，U分别表示真，假，不能判定2、什么是产生式？产生式规章的语义是什么？3、谓词公式G通过８个步骤所得的子句集合S，称为G的子句集。请写出这些步骤。4、S={P(f(x),y,g(y)),P(f(x),z,g(x))MGU5、证明G是否是FF:x(P(x)Q(a)Q(x))G:x(P(x)Q(x))301、用语义网络表示以下信息：3568清华大学与北京大学进展蓝球竞赛，最终以89：102的比分完毕。答：2α-β剪枝技术剪去不必要的分枝〔在节点及边上直接加注释〕3、设有如下关系〔1〕假设x是yy又是z的父亲，则x是z〕老李是大李的父亲〔3〕大李是小李的父亲；问上述人员中谁和谁是祖孙关系？答案：一、1、B 2、C 3、A 4、C 5、C6、D7、A8、A9、A10、D11、A12、D13、B14、C15、B二、1、随机性，模糊性，不完全性，不全都性2、纯文字，永真式，类含3、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)}4、节点，有向边，或图，与或图5、最一般合一〔MGU〕6、被触发规章7、A→B，概率8、制造智能机器，实现机器智能三、1、2、产生式规章根本形式：P→Q 或者IF P THEN QP是产生式的前提〔前件，用于指出该产生式是否可用的条件Q是一组结论或操作〔后件，用于指出当前提P产生式规章的语义：假设前提PQ或执行Q所规定的操作3、1〕消去蕴含式和等价式→，<->缩小否认词的作用范围，直到其作用于原子公式:适当改名，使量词间不含同名指导变元和约束变元。4.〕消去存在量词〔形成Skolem标准型〕5〕消去全部全称量词6)化成合取范式适当改名，使子句间无同名变元消去合取词∧，用逗号代替，以子句为元素组成一个集合S4、解：k=0;S0=S;δ0=ε;S0D0={y,z},其中yz是项，且y不在zk=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))｝是单元素集。依据求MGUMGU=δ2=｛z/y,z/x｝5、证:①P(x) ．．．从F变换②Q(a)∨Q(x) ．．．从F③┓P(y)∨┓Q(y)．．．结论的否认④┓Q(x) ．．．①③归结,{x/y}⑤□ ．．．②④归结,置换{a/x}得证。四、2、3、解:现定义如下谓词F(x,y)------xy的父亲;G(x,z) xy的祖父;用谓词规律表示与求解:(1) F(x,y)∧F(y,z)→G(x,z)F(L,D)F(D,X)(4)G(u,v),u=?,v=?其中,L表示老李,D表示大李,X表示小李。先证存在祖孙关系①┓F(x,y)∨┓F(y,z)∨G(x,z)．．从(1)变换②F(L,D) ．．从(2)变换③F(D,X) ．．从(3)变换④┓G(u,v) ．．结论的否认⑤┓F(D,z)∨G(L,z) ．．①②归结,置换｛L/x,D/y｝⑥G(L,X) ．．③⑤归结,置换｛X/z｝⑦□ ．．④⑥归结,置换｛L/u,X/v｝得证,说明存在祖孙关系。为了求解用一个重言式④④┓G(u,v)∨G(u,v)．．用重言式代替结论的否认,重言式恒为真⑤┓F(D,z)∨G(L,z) ．．①②归结,置换｛L/x,D/y｝⑥G(L,X) ．．③⑤归结,置换｛X/z｝⑦G(L,X) ．．④⑥归结,置换｛L/u,X/v｝得结果:LX的祖父，即老李是小李的祖父。5251、解释以下模糊性学问：1)〔0.9。2)(患者，病症，(头疼，0.95))(患者，病症，(发烧，1.1))→(患者，疾病，(感冒，1.2))答：2、简洁阐述产生式系统的组成：答：3、补齐产生式系统与图搜寻的比照表答：4、W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU解：5、证明G是否是F1、F2F1：x(P(x)(Q(x)R(x))F2：x(P(x)S(x))G：x(S(x)R(x))3012α-β剪枝技术剪去不必要的分枝〔在节点及边上直接加注释〕3、利用谓词规律表示以下学问〔包括和结论〕，然后化成子句集：但凡清洁的东西就有人宠爱；人们都不宠爱苍蝇求证：苍蝇是不清洁的。一、1、D2、C3、C4、D5、A6、A7、D8、C9、D10、B11、A12、B13、A.14、D15、B二、1、图林 2、正向推理3、Artifical Intelligence4、随机性，模糊性，不完全性，不全都性5、纯文字，永真式，类含6、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)})7、节点和有向边，或图，与或图 8、最一般合一〔MGU〕9、深蓝 10、制造智能机器，实现机器智能三、1、答：1〕表示：命题“张三比较胖”2〕解释为：假设患者有些头疼并且发高烧，则他患了重感冒。2、答：1〕产生式规章库：描述相应领域学问的产生式规章集2〕〔事实的集合〕存放问题求解过程中当前信息的数据构造〔结果事实和最终结果事实〕3〕〔掌握系统〕是一个程序，掌握协调规章库与数据库的运行，包含推理方式和掌握策略。3、答：4、解：k=0;S0=S;δ0=ε;S0D0={g(A,y)},z}zg(A,yzg(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是单元素集。依据求MGUMGU=δ1=｛g(A,y)/z｝5、证:①┓P(x)∨Q(x)．．．从F1②┓P(y)∨R(y)③P(a)④S(a)`．．．从F1．．．从F2．．．从F2⑤┓S(z)∨┓R(z)．．．结论的否认⑥R(a) ．．．②③归结｛a/y｝⑦┓R(a) ．．．④⑤归结｛a/z｝⑧□ ．．．⑥⑦归结得证.四、1、答：谓词公式表示：x(student(x)∧read(x,三国演义))语义网络表示如图：2、3、证：现定义如下谓词L(x,y) 某人x宠爱某物y；P(y) 某物y(1)yx(P(y)→L(x,y))==>┓P(y)∨L(f(y),y)(2)x(┓L(x,Fly))==>┓L(x,Fly)(3)P(Fly)．．．结论的反(4)L(f(Fly),Fly)．．．(1)(3)归结,置换{Fly/y}(5)□ ．．．(2)(4)归结,{f(Fly)/x}得证。试题局部：一、选择题〔1515分〕1、97年５月，著名的“人机大战3.5比2.5台计算机被称为〔〕A〕深蓝 B〕IBM C〕深思 D〕蓝天2、以下不在人工智能系统的学问包含的4个要素中A)事实 B)规章 C)掌握和元学问D)关系3、谓词规律下，子,C1=L∨C1‘,C2=¬L∨C2‘, 假设σ是互补文字的〔最一般〕合一置换，则其归结C=〔〕A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’4、或图通常称为A〕框架网络 B)语义图 C)博亦图 D)状态图5、不属于人工智能的学派是A)符号主义 B)时机主义 C)行为主义 D)连接主义。6、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是7、要想让机器具有智能，必需让机器具有学问。因此，在人工智能中有一个争论领域，主要争论计算机如何自动猎取学问和技能，实现自我完善，这门争论分支学科叫〔。A)专家系统 B)机器学习 C)神经网络 D)模式识别8、以下哪局部不是专家系统的组成局部〔 〕A.〕用户 B〕综合数据库 C〕推理机 D〕学问库9、产生式系统的推理不包括〔〕A〕正向推理 B〕逆向推理 C〕双向推理 D〕简洁推理10、C(B|A)表示在规章A->B中，证据A为真的作用下结论B为真的A)可信度 B)信度 C)信任增长度 D)概率11、AI的英文缩写是A)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation12、反演归结〔消解〕证明定理时，假设当前归结式是〔〕时，则定理得证。永真式 B)包孕式〔subsumed〕 C)空子句13、在公式中yxp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依靠于y值。令这种依靠关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做〔〕依靠函数Skolem函数打算函数多元函数14、子句~PQ和P经过消解以后，得到〔〕PQ~PPQ15、假设问题存在最优解，则下面几种搜寻算法中〔〕必定可以得到该最优解。广度优先搜寻深度优先搜寻有界深度优先搜寻D.启发式搜寻二、填空题〔共30分：1.在谓词公式中紧接于量词之后被量词作用的谓词公式称为该量词的 而在一个量词的辖域中与该量词的指导变元一样的变元称为 ，其他变元称为2、假言推理〔AB〕A ，假言三段论〔AB〕〔BC〕3、几种常用的归结策略： 、支持集策略、线形归结策略、输入归结策略、单元归结策略4、在诸如走迷宫、下棋、八数码玩耍等玩耍中，常用到的一种人工智能的核心技术称为技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，这种图称为在启发式搜寻当中，通常用 来表示启发性信息。在二人博弈问题中最常用的一种分析技术是 ，这种方法的思想是先生成一棵博弈树然后再计算其倒推值。但它的效率较低，因此人们在此根底上，又提出了7、不确定性类型按性质分： ， ，， 。8、在删除策略归结的过程中删除以下子句：含有 的子句;含有 的子句;子句集中被别的子句 的子句。9、对证据的可信度C〔、C〔A1C〔A2〕之间，规定如下关系：CF〔~A〕= 、CF〔A1∧A2〕= 、CF〔A1∨A2〕= 。10、图：指由 组成的网络。按连接同一节点的各边的规律关系又可分为和 。11、合一算法：求非空有限具有一样谓词名的原子公式集的 。12、开发专家系统所要解决的根本问题有三个，那就是学问的猎取、学问的表示和 ，学问表示的方法主要有 ， ， 和语义网络等，在语义网络表示学问时，所使用的推理方法有 和三、简答与应用题2“不存在最大的整数”(4分)2.α－β剪枝的条件是什么？3、某问题由以下公式描述：、试用归结法证明(x)R(x)；4.专家系统的一般步骤有哪些？专家系统的开发与一般的软件系统开发相比较，有哪些共同点和特点？〔7分〕“图灵试验”？简洁描述之〔5分〕6、设有如下关系〔1〕假设x是yy又是z的父亲，则x是z〕老李是大李的父亲〔3〕大李是小李的父亲；问上述人员中谁和谁是祖孙关系？(10分)7.1～9九个数字排一个序列，使得该序列的前n(n=1,...,9)个数字组成的整数能被n整除。(1)、争论哪些学问可以帮助该问题的求解。、用产生式系统描述该问题.(15分)答案局部一、选择题A D A D B C B A D B B C B B A二、填空题1、辖域 约束变元 自由变元2、B AC3、删除策略4、图搜寻 状态空间图〔或状态图〕5、启发函数6、极大微小分析法 -剪枝技术7、随机性模糊性不全都性不确定性8、纯文字永真 类含9、~C〔A〕min{C〔A1，C〔A〕} max{C〔A1，C〔A〕}10、或图与或图11、最一般合一12、学问的运用规律表示法〔谓词表示法〕框架产生式AKO ISA三、简答及应用题1、定义谓词G(x)：x为整数D(x,y)：xy形式化为：┐xG(x)yG(y)D(x,y)或者xG(x)yGyDyx)2、答复:α剪枝：假设任一微小值层节点的β值小于或等于它任一先辈极大值节点的α值，即α〔先辈层〕β〔后继层，则可中止该微小值层中这个MIN节点以下的搜寻过程。这个MIN为这个β值。β剪枝：假设任一极大值层节点的α值大于或等于它任一先辈微小值层节点的β值，即α〔后继层〕≥β〔先辈层MAXMAX节点的最终倒推值就确定为这个α值。3、化子句集如下：4〔１〕系统分析、系统设计等几个阶段的工作。〔２〕但由于它是专家系统，而不是一般的软件系统，所以，又有其独特的地方，主要包括以下几个步骤：１０〕系统总体分析与设计；１１〕学问猎取；１２〕学问表示与学问描述语言设计；１３〕学问库设计、学问库治理系统设计；１４〕推理机与解释模块设计；１５〕总控与界面设计１６〕编程与调试１７〕测试与评价１８〕运行与维护〔３〕可以看出它有如下特点：２〕学问猎取和学问表示设计是一切工作的起点；学问表示与学问描述语言确定后，其他设计可同时进展；5、答：所谓“图灵试验持人、参与人和机器。主持人向参与人和机器提问，通过提问的结果来推断谁是人，谁是机器。假设主持人无法推断谁是人，谁是机器，则这台机器具备智能，即所谓的“智能机器6、解:现定义如下谓词F(x,y)------xy的父亲;G(x,z)xy的祖父;用谓词规律表示与求解:(1) F(x,y)∧F(y,z)→G(x,z)F(L,D)F(D,X)(4)G(u,v),u=?,v=?其中,L表示老李,D表示大李,X表示小李。先证存在祖孙关系①～F(x,y)∨～F(y,z)∨G(x,z)．．从(1)变换②F(L,D) ．．从(2)变换③F(D,X) ．．从(3)变换④～G(u,v) ．．结论的否认⑤～F(D,z)∨G(L,z) ．．①②归结,置换｛L/x,D/y｝⑥G(L,X) ．．③⑤归结,置换｛X/z｝⑦□ ．．④⑥归结,置换｛L/u,X/v｝得证,说明存在祖孙关系。为了求解用一个重言式④④～G(u,v)∨G(u,v)．．用重言式代替结论的否认,重言式恒为真⑤～F(D,z)∨G(L,z) ．．①②归结,置换｛L/x,D/y｝⑥G(L,X) ．．③⑤归结,置换｛X/z｝⑦G(L,X) ．．④⑥归结,置换｛L/u,X/v｝得结果:LX的祖父，即老李是小李的祖父。7、如下的学问可以帮助求解该问题：序列中，偶数在偶数位置，奇数在奇数位置；5。综合数据库：19的序列表示：N={x}，其中x19的数字之一。规章集：r1:IFlen(N)=4THEN{x}∪{5}r2:IFlen(N)为偶数andn=In(1,3,7,9)THEN{x}∪{n}r3:IFlen(N)为奇数andn=In(2,4,6,8)THEN{x}∪{n}len(N)为求序列的长度，In(a,b,c,d)为取a、b、c、d之一。初始状态：{}完毕条件：得到的序列Ni个数组成的整数能被i整除一、选择题(115分)1、人工智能是一门A)数学和生理学 B)心理学和生理学 C)语言学D)综合性的穿插学科和边缘学科2、语义网络表达学问时，有向弧AKO链、ISA链是用来表达节点学问的〔。A)无悖性 B)可扩大性 C)继承性3、(A->B)∧A=>B是A)附加律 B)拒收律 C)假言推理D)US4、命题是可以推断真假的A)祈使句 B)疑问句 C)感慨句 D)陈述句5、仅个体变元被量化的谓词称为A)一阶谓词 B)原子公式 C)二阶谓词 D)全称量词6、MGU是A)最一般合一 B)最一般替换 C)最一般谓词 D)基替换最一般合一7、以下不在人工智能系统的学问包含的4个要素中A)事实 B)规章 C)掌握 D)关系8、当前归结式是〔〕时，则定理得证。A)永真式 B包孕式〔subsumed〕 C)空子句9、或图通常称为A〕框架网络 B)语义图 C)博亦图 D)状态图10、不属于人工智能的学派是A)符号主义 B)时机主义 C)行为主义 D)连接主义。11、所谓不确定性推理就是从()的初始证据动身，通过运用()的学问，最终推出具有肯定程度的不确定性但却是合理或者近乎合理的结论的思维过程。A)不确定性,不确定性 B)确定性,确定性C)确定性,不确定性 D)不确定性确定性12.要想让机器具有智能，必需让机器具有学问。因此，在人工智能中有一个争论领域，主要争论计算机如何自动猎取学问和技能，实现自我完善，这门争论分支学科叫〔。A)专家系统 B)机器学习 C)神经网络 D)模式识别13、以下哪局部不是专家系统的组成局部〔 〕A.〕用户 B〕综合数据库 C〕推理机 D〕学问库14、产生式系统的推理不包括〔〕A〕正向推理 B〕逆向推理 C〕双向推理 D〕简洁推理15、C(B|A)表示在规章A->B中，证据A为真的作用下结论B为真的A)可信度 B)信度 C)信任增长度 D)概率1301、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是2、从事实动身，通过规章库求得结论的产生式系统的推理方式是。3、AI的英文缩写是 。4、不确定性类型按性质分： ， ，， 。5、在删除策略归结的过程中删除以下子句：含有 的子句;含有 的子句;子句集中被别的子句 的子句。6、对证据的可信度C〔、C〔A1C〔A2〕之间，规定如下关系：CF〔~A〕= 、CF〔A1∧A2〕= 、CF〔A1∨A2〕= 。7、图：指由 组成的网络。按连接同一节点的各边的规律关系又可分为和 。8、合一算法：求非空有限具有一样谓词名的原子公式集的 。9、1997年５月，著名的“人机大战，最终名为“ ”的计算机以3.5比2.5的总比分将世界际象棋棋王卡斯帕罗夫击败。10、人工智能的远期目标是 ，近期目标是 。5251、解释以下模糊性学问：1)〔0.9。2)(患者，病症，(头疼，0.95))(患者，病症，(发烧，1.1))→(患者，疾病，(感冒，1.2))答：2、简洁阐述产生式系统的组成：答：3、补齐产生式系统与图搜寻的比照表答：4、W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU解：5、证明G是否是F1、F2F1：x(P(x)(Q(x)R(x))F2：x(P(x)S(x))G：x(S(x)R(x))证:301答：2α-β剪枝技术剪去不必要的分枝〔在节点及边上直接加注释〕3、利用谓词规律表示以下学问〔包括和结论〕，然后化成子句集：但凡清洁的东西就有人宠爱；人们都不宠爱苍蝇求证：苍蝇是不清洁的。证：答案：一、1、D2、C3、C4、D5、A6、A7、D8、C9、D10、B11、A12、B13、A.14、D15、B二、1、图林 2、正向推理3、Artifical Intelligence4、随机性，模糊性，不完全性，不全都性5、纯文字，永真式，类含6、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)})7、节点和有向边，或图，与或图 8、最一般合一〔MGU〕9、深蓝 10、制造智能机器，实现机器智能三、1、答：1〕表示：命题“张三比较胖”2〕解释为：假设患者有些头疼并且发高烧，则他患了重感冒。2、答：1〕产生式规章库：描述相应领域学问的产生式规章集2〕〔事实的集合〕存放问题求解过程中当前信息的数据构造〔结果事实和最终结果事实〕3〕〔掌握系统〕是一个程序，掌握协调规章库与数据库的运行，包含推理方式和掌握策略。3、答：4、解：k=0;S0=S;δ0=ε;S0D0={g(A,y)},z}zg(A,yzg(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是单元素集。依据求MGUMGU=δ1=｛g(A,y)/z｝5、证:①┓P(x)∨Q(x)．．．从F1②┓P(y)∨R(y)③P(a)④S(a)`．．．从F1．．．从F2．．．从F2⑤┓S(z)∨┓R(z)．．．结论的否认⑥R(a) ．．．②③归结｛a/y｝⑦┓R(a) ．．．④⑤归结｛a/z｝⑧□ ．．．⑥⑦归结得证.四、1、答：谓词公式表示：x(student(x)∧read(x,三国演义))语义网络表示如图：2、3、证：现定义如下谓词L(x,y) 某人x宠爱某物y；P(y) 某物y(1)yx(P(y)→L(x,y))==>┓P(y)∨L(f(y),y)(2)x(┓L(x,Fly))==>┓L(x,Fly)(3)P(Fly)．．．结论的反(4)L(f(Fly),Fly)．．．(1)(3)归结,置换{Fly/y}(5)□ ．．．(2)(4)归结,{f(Fly)/x}得证。四、单项选择题：1：人类智能的特性表现在4个方面 。A：聪明、敏捷、学习、运用。B：能感知客观世界的信息、能对通过思维对获得的学问进展加工处理、能通过学习积存学问增长才能和适应环境变化、能对外界的刺激作出反响传递信息。C：感觉、适应、学习、创。D：能捕获外界环境信息、能够利用利用外界的有利因素、能够传递外界信息、能够综合外界信息进展创思维。2：人工智能的目的是让机器能够 ，以实现某些脑力劳动的机械化。A：具有智能 B：和人一样工作C：完全代替人的大脑 D：模拟、延长和扩展人的智能3：以下关于人工智能的表达不正确的有： 。A：人工智能技术它与其他科学技术相结合极大地提高了应用技术的智能化水平。B：人工智能是科学技术进展的趋势。C：由于人工智能的系统争论是从上世纪五十年月才开头的，格外，所以格外重要。D：人工智能有力地促进了社会的进展。4：人工智能争论的一项根本内容是机器感知。以以下举中的 不属于机器感知的领域。A：使机器具有视觉、听觉、触觉、味觉、嗅觉等感知力量。B：让机器具有理解文字的力量。C：使机器具有能够猎取学问、学习技巧的力量。D：使机器具有听懂人类语言的力量5：自然语言理解是人工智能的重要应用领域，下面列举中的不是它要实现的目标。A：理解别人讲的话。 B：对自然语言表示的信息进展分析概括或编辑。C：赏识音乐。 D：机器翻译。6：为了解决如何模拟人类的感性思维，例如视觉理解、直觉思维、悟性等，争论者找到一个重要的信息处理的机制是：。A：专家系统B：人工神经网络C：模式识别D：智能代理7：假设把学问依据作用来分类，下述不在分类的范围内。A：用掌握策略表示的学问，即掌握性学问。B：可以通过文字、语言、图形、声音等形式编码记录和传播的学问，即显性学问。C：用供给有关状态变化、问题求解过程的操作、演算和行动的学问，即过程性学问。D：用供给概念和事实使人们知道是什么的学问，即陈述性。8：下述 不是学问的特征。A：简单性和明确性 B：进化和相对性C：客观性和依附性 D：可重用性和共享性9：下述 不是人工智能中常用的学问格式化表示方法。A：框架表示法 B：状态空间表示法C：语义网络表示法 D：形象描写表示法10：关于“与/或”图表示法的表达中，正确的选项是： 。A/ANO”连续各个局部的图形，用来描述各局部的因果关系。B/ANO”连续各