人工智能导论试卷

1、人工智能试卷四 一、选择题（每题1分共15分）1、AI的英文缩写是A）Automatic Intelligence B）Artifical IntelligenceC）Automatice Information D）Artifical Information2、反演归结消解 证明定理时若当前归结式是时 则定理得证。A）永真式 B）包孕式subsumed C）空子句3、从已知事实出发通过规则库求得结论的产生式系统的推理方式是A）正向推理 B）反向推理 C）双向推理4、语义网络表达知识时有向弧AKO链、ISA链是用来表达节点知识的。A）无悖性 B）可扩充性C） 继承性5、（A-B）AA = B

2、是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 深蓝BIBM C 深思 D 蓝天10、下列不在人工智能系统的知识包含的4个要素中A）事实B）规则C）控制和元知识 D）关系11、谓词逻辑下 子句，C1=L VC1?, C2= ? L V若Z是互补文字的最一般合一

3、置换则其归结式C=A） C1? Z V C2?l B）C1? VC2? C）C1?11 D）C1? A C2?12、或图通常称为A 框架网络 B）语义图 C）博亦图 D）状态图13、不属于人工智能的学派是A）符号主义 B）机会主义 C）行为主义D）连接主义。14、人工智能的含义最早由一位科学家于1950年提出并且同时提出一个机器智能的测试模型请问这个科学家是A）明斯基 B）.扎德 C）图林 D）冯.诺依曼15.要想让机器具有智能必须让机器具有知识。因此 在人工智能中有一个研究领域主要研究计算机如何自动获取知识和技能实现自我完善这门研究分支学科叫。A）专家系统 B）机器学习C）神经网络 D）模式

4、识别二、填空题（每空1.5分 共30分）1、不确定性类型按性质分随机性 模糊性 不完全性不一致性O2、在删除策略归结的过程中删除以下子句含有的子句；含有的子句；子句集中被别的子句的子句。纯文字永真式类含3、对证据的可信度 CF A 、CF A1 、CF A2 之间规定如下关系CF A、CF A1A A2CF A1V A2-CF(A)minCF(A1),CF(A2) maxCF(A1),CF(A2)4、图 指由 和组成的网络。按连接同一节点的各边的逻辑关系又可分为和。节点有向边或图与或图5、合一算法求非空有限具有相同谓词名的原子公式集的最一般合一MGU6、产生式系统的推理过程中从可触发规则中选择

5、一个规则来执行被执行的规则称为。被触发规则7、P(B|A)表示在规则 A -B中证据A为真的作用下结论B为真的8、人工智能的远期目标是制造智能机器实现机器智能近期目标是。三、简答及计算题(每题5分 共25分)1、填写下面的三值逻辑表。其中T F U分别表示真 假 不能判定2、什么是产生式产生式规则的语义是什么答产生式规则基本形式P- Q 或者IF P THEN QP是产生式的前提前件用于指出该产生式是否可用的条件Q是一组结论或操作后件用于指出当前提P所指示的条件满足时应该得出的结论或应该执行的操作产生式规则的语义如果前提P被满足 则可推出结论 Q或执行Q所规定的操作谓词公式G通过 个步骤所得的

6、子句集合 S 称为G的子句集。请写出这些步骤。消去蕴含式和等价式-缩小否定词的作用围直到其作用于原子公式：适当改名使量词间不含同名指导变元和约束变元。.消去存在量词形成Skolem标准型消去所有全称量词6)化成合取式.适当改名使子句间无同名变元.消去合取词A用逗号代替以子句为元素组成一个集合S4、已知 S=P(f(x),y,g(y),P(f(x),z,g(x)求 MGU解 k=0;S0=S; S 0= e ;S0不是单元素集求得差异集 D0=y,z,其中y是变元 z是项且y不在z中出现。k=k+1=1有 8 1 = 8 0 z/y = e z/y = z/yS1=S0 z/y =P(f(x),

7、z,g(z),P(f(x),z,g(x),S1不是单元素集求得差异集 D1= z,x ,k=k+1=2; 8 2= 8 1 z/x = z/y,z/x ,S2=S1 - z/x =P(f(z),z,g(z)是单元素集。根据求 MGlM法MGU = 2= z/y,z/x1、人工智能是一门A)数学和生理学B)心理学和生理学C)语言学D)综合性的交叉学科和边缘学科2、语义网络表达知识时有向弧AKO链、ISA链是用来表达节点知识的。A)无悖性 B)可扩充性C) 继承性3、(A-B) A A = B 是A）附加律 B）拒收律 C）假言推理D）US 4、命题是可以判断真假的A）祈使句 B）疑问句 C）感叹

8、句 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、所谓不确定性推理就是从 （）的初始证据出发通过运用（）的知识最终推出具有一定程度的不确定性但却

9、是合理或者近乎合理的结论的思维过程。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）概率二、填空题（每题1分共30

10、分）1、人工智能的含义最早由一位科学家于1950年提出并且同时提出一个机器智能的测试模型请问这个科学家是2、从已知事实出发通过规则库求得结论的产生式系统的推理方式是正向推理3、AI 的英文缩写是Artifical Intelligence4、不确定性类型按性质分随机性 模糊性 不完全性 不一致性5、在删除策略归结的过程中删除以下子句含有的子句；含有的子句;子句集中被别的子句的子句。纯文字永真式类含6、对证据的可信度 CF A 、CF A1CF A2 之间规定如下关系CF A1 V A2maxCF(A1),CF(A2)7、图指由CF A =、CF A1A A2 =。 -CF(A) minCF(A

11、1),CF(A2)组成的网络。按连接同一节点的各边的逻辑关系又可分为和。节点和有向边或图与或图8、合一算法求非空有限具有相同谓词名的原子公式集的。最一般合一MGU9、1997年 月 著名的“人机大战”最终名为“”的计算机以3.5比2.5的总比分将世界国际象棋、深蓝棋王卡斯帕罗夫击败。10、人工智能的远期目标是近期目标是。制造智能机器实现机器智能三、简答及计算题(每题5分 共25分)1、解释下列模糊性知识1)三体型 胖 0.9。2)(患者 症状 (头疼 0.95) ) A (患者 症状 (发烧 1.1)-(患者 疾病 (感冒 1.2)答2、简单阐述产生式系统的组成答3、补齐产生式系统与图搜索的对

12、比表答4、已知 W=P(f(x,g(A,y),z),P(f(x,z),z)求 MGU解 k=0;S0=S; S 0= e ;S0不是单元素集求得差异集D0=g(A,y),z, 其中z是变元g(A,y)是项 且z不在g(A,y)中出现。k=k+1=1有 8 1 = 8 0 g(A,y)/z =e - g(A,y)/z = g(A,y)/z是单元素集。S1=S0 g(A,y)/z =P(f(x,g(A,y),g(A,y),S1根据求 MGlM法MGU= 1= g(A,y)/z、填空题 共30分1.归结法中可以通过的方法得到问题的解答。 TOC o 1-5 h z .化成子句形式为。.从已知事实出发

13、通过规则库求得结论的产生式系统的推理方式是的英文缩写.AI是是.人工智能的基本技术包括、一.目前所用的知识表示形式有、 等。.产生式系统有三部分组成和推理机。其中推理可分为和.在谓词公式中紧接于量词之后被量词作用的谓词公式称为该量词的而在一个量词的辖域中与该量词的指导变元相同的变元称为其他变元称为9、1997年 月 著名的“人机大战”最终名为“”的计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败。10、人工智能的远期目标是近期目标 TOC o 1-5 h z 是。11、谓词逻辑中 重言式tautlogy 的值是。12、利用归结原理证明定理时若得到的归结式为则结论成立。13、若 C

14、1中 PV Q C2=PV n Q 贝U C1 和 C2 的归结式 R C1 C2 =。14、若 C1=P(x) VQ(x) C2=n P(a) V R(y) 则 C1 和 C2的归结式 R C1 C2 =。15、在归结原理中几种常见的归结策略并且具有完备性的是16、在启发式搜索当中 通常用来表示启发性信息。17、假言推理A B假言三段论A B填空题1、 修改证明树2、。3、 正向推理4、Artifical Inteligence5、搜索技术推理技术 知识表示和知识库技术、归纳技术、联想技术6、框架语义网络面向对象7、综合数据库知识库 正向推理 反向推理8、辖域 约束变元 自由变元9、深蓝10

15、、制造智能机器实现机器智能11、真12、空集13、n PVP 或QV Q14、Q a V R y15、删除策略支持集策略线性归结策略16、启发函数17、B A C二、选择题 15小题共15分 1.人工智能是一门A)数学和生理学B) 心理学和生理学 C)语言学D)综合性的交叉学科和边缘学科2、下列哪个不是人工智能的研究领域A.机器证明.docin. B. 模式识别C.人工生命D.编译原理.神经网络研究属于下列学派符号主义连接主义行为主义D.都不是.已知初始问题的描述通过一系列变换把此问题最终变为一个子问题集合这些子问题的解可以直接得到从而解决了初始问题。这是知识表示法叫状态空间法问题归约法谓词逻

16、辑法D.语义网络法.在公式中 y xp(x,y)存在量词是在全称量词的辖域我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义 它把每个y值映射到存在的那个x。这种函数叫做A.依赖函数B. Skolem函数C.决定函数D.多元函数.子句PQ和P经过消解以后 得到PQPP Q7、8.A A B A 称为 A B -A B 称为A.结合律B.分配律 C.吸收律D.摩根律8、下列哪部分不是专家系统的组成部分A.用户 B综合数据库C 推理机D 知识库9、产生式系统的推理不包括A 正向推理B 逆向推理C 双向推理D 简单推理10、C(B|A)表示在规则A-B中 证据A为真的作用下结论 B为

17、真的A)可信度 B)信度 C)信任增长度D)概率11、AI的英文缩写是A)Automatic Intelligence B)Artifical IntelligenceC)Automatice Information D)Artifical Information12、反演归结 消解 证明定理时若当前归结式是时 则定理得证。A)永真式 B)包孕式subsumed C)空子句x可能依13、在公式中 y xp(x,y)存在量词是在全称量词的辖域我们允许所存在的赖于y值。令这种依赖关系明显地由函数所定义它把每个y值映射到存在的那个x。这种函数叫做依赖函数Skolem 函数决定函数D.多元函数14、子

18、句PQ和P经过消解以后 得到PQPE. P Q必然可以得到该最优解。15、如果问题存在最优解则下面几种搜索算法中A.广度优先搜索B.深度优先搜索C.有界深度优先搜索D.启发式搜索三、简答与应用题 TOC o 1-5 h z .深度优先方法的特点是什么6.什么是置换置换是可交换的吗6分某问题由下列公式描述(1)、试用归结法证明(x)R(x)8分4.卜图所示博弈树按从左到右的顺序进行a-3剪枝搜索试标明各生成节点的到推值何处发生剪枝及应选择的走步。10分5.10 分设有如下关系1如果x是y的父亲 y又是z的父亲 则x是z的祖父 2 老是大的父亲 3 大是小的父亲问上述人员中谁和谁是祖关系（10分）

19、6.某被盗公安局派了五个侦察员去调查。研究案情时侦察员说“与钱中至少有一人作案”侦察员说“钱与至少有一人作案”侦察员说“与中至少有一个作案”侦察员说“与至少一个与案无关”侦察员 说“钱与中至少有一人与此案无关”。如果这五个侦察员的话都是可信的试用消解原理推理求出谁是盗窃犯。10分选择题1 2 3 4 5 6 7 8 9 10 11 12 13 14 15C D B B B B C A D B B C B B A三、简答与应用题.解答：1属于图搜索2 是一个通用的搜索方法3 如果深度限制不合适有可能找不到问题的解4不能保证找到最优解。.回答：通常用有序对的集合 s t1/v1v2 tn/vn来表

20、示任一置换置换集的元素ti/vi的含义是表达式中的变量vi处处以项ti来替换 用s对表达式E作置换后的例简记为 Eso一般来说 置换是不可交换的 即两个置换合成的结果与置换使用的次序有 关。.3.5.、解：现定义如下谓词F(x,y)x是y的父亲;G(x,z)x是y的祖父;用谓词逻辑表示已知与求解 ：F(x,y) A F(y,z) -G(x,z)F(L,D) F(D,X) (4) G(u,v),u=?,v=?先证存在祖关系 F(x,y) V F(y,z) F(L,D) F(D,X)G(u,v)F(D,z) VG(L,z)其中，L表不老,D表不大,X表不小。V G(x,z)从(1)变换从(2)变换

21、从(3)变换结论的否定归结，置换 L/x,D/yG(L,X)归结，置换 X/z口归结，置换 L/u,X/v得证，说明存在祖关系。为了求解用一个重言式 G(u,v) VG(u,v)用重言式代替结论的否定,重言式恒为真F(D,z) VG(L,z)归结，置换 L/x,D/y G(L,X)归结,置换 X/zG(L,X)归结，置换 L/u,X/v得结果:L是X的祖父即老是小的祖父。6.解设用T(x)表示x是作案者则侦察员A的话可表示T()T(钱)侦察员B的话可表示T(钱)T()侦察员C的话可表示T()T()侦察员D的话可表示T() T()侦察员E的话可表示T(钱)T()上面五个组成子句集S求谁是作案者把

22、T(x)ANSWER(x)并入S1得到。即比S1多出如下一个子句T(x)ANSWER(x)然后利用消解原理对S1进行消解可得答案钱和是作案者。人工智能试卷九试题部分一、选择题 15小题共15分.人工智能产生于哪一年。A.1957B.1962C. 1956D.1979.下列哪个不是人工智能的研究领域A.机器证明模式识别人工生命D.编译原理.神经网络研究属于下列学派符号主义连接主义行为主义D.都不是.已知初始问题的描述通过一系列变换把此问题最终变为一个子问题集合这些子问题的解可以直接得到从而解决了初始问题。这是知识表示法叫状态空间法问题归约法谓词逻辑法D.语义网络法.在公式中 y xp(x,y)存

23、在量词是在全称量词的辖域我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义它把每个y值映射到存在的那个x。这种函数叫做依赖函数Skolem 函数决定函数D.多元函数.子句PQ和P经过消解以后得到PQC.PF. P Q7、8.A A B A称为 A BA B称为B.结合律B.分配律 C.吸收律D.摩根律9、10.如果问题存在最优解则下面几种搜索算法中必然可以得到该最优解可以认为是“智能程度相对比较高”的算法。D.广度优先搜索E.深度优先搜索.F.有界深度优先搜索G.启发式搜索.产生式系统的推理不包括正向推理逆向推理双向推理D.简单推理.下列哪部分不是专家系统的组成部分用户综合数据

24、库C.推理机D.知识库.要想让机器具有智能必须让机器具有知识。因此在人工智能中有一个研究领域主要研究计算机如何自动获取知识和技能 实现自我完善这门研究分支学科叫。专家系统机器学习神经网络D.模式识别14、人工智能是一门A）数学和生理学B） 心理学和生理学 C）语言学D）综合性的交叉学科和边缘学科 TOC o 1-5 h z 15、语义网络表达知识时有向弧AKO链、ISA链是用来表达节点知识的。A）无悖性 B）可扩充性 C） 继承性二、填空题 共30分.归结法中可以通过 的方法得到问题的解答。.化成子句形式为。.从已知事实出发通过规则库求得结论的产生式系统的推理方式是.AI是是的英文缩写.人工智

25、能的基本技术包括、 、归纳技术、联想技术。.目前所用的知识表示形式有、 等。.产生式系统有三部分组成和推理机。其中推理可分为和 。.在谓词公式中紧接于量词之后被量词作用的谓词公式称为该量词的而在一个量词的辖域中与该量词的指导变元相同的变元称为其他变元称为9、1997年 月 著名的“人机大战” 比分将世界国际象棋”的计算机以3.5比2.5的总棋王卡斯帕罗夫击败。10、人工智能的远期目标是近期目标11、谓词逻辑中重言式 tautlogy的值是12、利用归结原理证明定理时若得到的归结式为则结论成立。13、若 C1中 PV QC2=PV n Q 则 C1 和 C2 的归结式 R C1 C2 = 14、

26、若 C1=P(x) VQ(x) C2勺 P(a) V R(y) 则 C1 和 C2的归结式 R C1 C2 =15、在归结原理中几种常见的归结策略并且具有完备性的是16、在启发式搜索当中通常用17、假言推理 A B A三、简答与应用题来表示启发性信息。假言三段论 A B B C1、剪枝方法只是极小极大方法的一种近似（6分）剪枝可能会遗漏掉最佳走步。这种说法是否正确2.将下列谓词公式化成子句集afyxRzxQzPzyx,。6 分3、解释下列模糊性知识1）三体型 胖 0.9。2）（患者 症状 （头疼 0.95） ） A （患者 症状 （发烧 1.1）-（患者 疾病 （感冒1.2） ）（6 分）4.

27、写出图中树的结点两个访问序列要求分别满足以下两个搜索策略(6分)(1)深度优先搜索(2)广度优先搜索5、产生式系统由哪些部分组成.某被盗公安局派了五个侦察员去调查。研究案情时侦察员说“与钱中至少有一人作案”侦察员说“钱与至少有一人作案”侦察员说“与中至少有一个作案”侦察员说“与至少一个与案无关”侦察员说“钱与中至少有一人与此案无关”。如果这五个侦察员的话都是可信的试用消解原理推理求出谁是盗窃犯。15分.下图所示博弈树按从左到右的顺序进行a -3剪枝搜索 试标明各生成节点的到推值何处发生剪枝及应选择的走步。答案部分一、选择题2 3 4 5 6 7 8 9 10 11 12 13 14 15C D

28、 B B B B C D A D D A B D C填空题1,修改证明树.。3,正向推理. Artifical Inteligence.搜索技术推理技术知识表示和知识库技术.框架语义网络面向对象.综合数据库 知识库正向推理反向推理.辖域 约束变元 自由变元543.9, 深蓝.制造智能机器实现机器智能.真.空集. n PV P 或QV Q. Q a VR y.删除策略支持集策略线性归结策略.启发函数. B AC三、简答与应用题1不正确。剪枝方法利用已经搜索的信息剪掉哪些对于搜索最佳走步没有意义的分枝其找到的最佳走步与极小极大方法找到的结果是一样的。而且搜索效率有很大提高。2、afyxRzxQzP

29、zyx,)a(f,y,x(Rz,x n Q)z(Pz n yx)a(f,y,x(R)z,x(Q)z(Pzyx)a(f,y,b(R)z,b(Q)z(Pzy)a(f,y,b(R)yg,b(Q)yg(Py)a(f,y,b(R)yg,b(Q)yg(P3、答 1 表示命题“三比较胖”2 解释为如果患者有些头疼并且发高烧则他患了重感冒。4、解深度优先搜索广度优先搜索5解答：组成产生式系统的三要素：1综合数据库2一组产生式规则或者规则集3 一个控制系统 或者控制策略6、解 设用T(x)表示x是作案者 则侦察员A的话可表示T()T(钱)侦察员B的话可表示T(钱)T()侦察员C的话可表示T()T()侦察员D的话

30、可表示T() T()侦察员E的话可表示T(钱)T()上面五个组成子句集S求谁是作案者把T(x)ANSWER(x)并入S1得到。即比S1多出如下一个子句T(x)ANSWER(x)然后利用消解原理对S1进行消解可得答案钱和是作案者。7.人工智能试卷T、选择题15小题共15分最终计算机以3.5比2.5的总比分将世界国际象棋棋1、97年 月著名的“人机大战”王卡斯帕罗夫击败这台计 算机被称为A 深蓝B IBM C 深思 D 蓝天2、下列不在人工智能系统的知识包含的4个要素中A）事实B）规则C）控制和元知识 D）关系3、谓词逻辑下子句，C1=LV C1?, C2= ? LV若Z是互补文字的 最一般 合一

31、置换则其归结式C=A） C1? Z V C2?Z B）C1? VC2? C）C1?11 D）C1? A C2?4、或图通常称为A 框架网络 B）语义图 C）博亦图 D）状态图5、不属于人工智能的学派是A）符号主义 B）机会主义 C）行为主义 D）连接主义。6、人工智能的含义最早由一位科学家于1950年提出并且同时提出一个机器智能的测试模型请问这个科学家是A）明斯基 B）.扎德 C）图林 D）冯.诺依曼7、要想让机器具有智能必须让机器具有知识。因此 在人工智能中有一个研究领域主要研究计算机如何自动获取知识和技能实现自我完善这门研究分支学科叫。A）专家系统 B）机器学习 C）神经网络 D）模式识别

32、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)Automatic Intelligence B)Artifical IntelligenceC)Automatice Information D)Artifical Information12、反演归结 消解证明定理时若当前归结式是时 则定理得证。A)永真式 B)包孕式subsumed C)空子句x可能

33、依13、在公式中 y xp(x,y)存在量词是在全称量词的辖域我们允许所存在的赖于y值。令这种依赖关系明显地由函数所定义它把每个y值映射到存在的那个 x。这种函数叫做依赖函数Skolem 函数决定函数D.多元函数14、子句P Q和P经过消解以后 得到 A. P B. Q C. PG. P Q则下面几种搜索算法中必然可以得到该最优解。15、如果问题存在最优解H.广度优先搜索I.深度优先搜索J.有界深度优先搜索D.启发式搜索二、填空题 共30分1.在谓词公式中紧接于量词之后被量词作用的谓词公式称为该量词的而在一个量词的辖域中与该量词的指导变元相同的变元称为其他变元称为2、假言推理A B A假言三段

34、论A BB C.3 、几种常用的归结策略、支持集策略、线形归结策略、输入归结策略、单元归结策略4、在诸如走迷宫、下棋、八数码游戏等游戏中常用到的一种人工智能的核心技术称为技术 解这类问题时常把在迷宫的位置、 棋的布局、八数码所排成的形势用图来表这种图称为.在启发式搜索当中通常用来表示启发性信息。.在二人博弈问题中最常用的一种分析技术是这种方法的思想是先生成一棵博弈树然后再计算其倒推值。但它的效率较低因此人们在此基础上又提出了7、不确定性类型按性质分O8、在删除策略归结的过程中删除以下子句含有的子句；含有的子句；子句集中被别的子句的子句。9、对证据的可信度 CF A 、CF A1 、CF A2

35、之间规定如下关系CF A =、CF A1A A2 =、CF A1V A2 =。10、图指由组成的网络。按连接同一节点的各边的逻辑关系又可分为11、合一算法求非空有限具有相同谓词名的原子公式集的。12、开发专家系统所要解决的基本问题有三个那就是知识的获取、知识的表示和知识表示的方法主要有和语义网络等在语义网络表示知识时所使用的推理方法有和三、简答与应用题1、谓词逻辑形式化下列描述“不存在最大的整数”(4分)a 3剪枝的条件是什么6分3、某问题由下列公式描述(1)、试用归结法证明(x)R(x)8分.专家系统的一般步骤有哪些专家系统的开发与一般的软件系统开发相比较有哪些共同点和特点 7分 TOC o

36、 1-5 h z .何谓“图灵实验”简单描述之5分6、设有如下关系1 如果x是y的父亲 y又是z的父亲 则x是z的祖父 2 老是大的父亲 3 大是小的父亲问上述人员中谁和谁是祖关系(10分)7.给19九个数字排一个序列使得该序列的前n(n=1,.,9)个数字组成的整数能被n整除。(1)、讨论哪些知识可以帮助该问题的求解。(2)、用产生式系统描述该问题.(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、随机性模糊性不一致性不

37、确定性8、纯文字永真 类含9、CF A minCF A1 CF A2 maxCF A1 CF A2 10、或图与或图11、最一般合一12、知识的运用逻辑表不法谓词表不法框架 产生式 AKO ISA三、简答及应用题1、定义谓词G(x) x为整数D(x,y) x 大于 y形式化为),()()(yxDyGyxGx n或者),()()(xyDyGyxGx2、回答：a剪枝若任一极小值层节点的3值小于或等于它任一先辈极大值节点的a值即a 先辈层 A 3后继层则可中止该极小值层中这个MIN节点以下的搜索过程。这个 MIN节点最终的倒推值就确定为这个3值。3剪枝若任一极大值层节点的a值大于或等于它任一先辈极小

38、值层节点的3值即“ 后继层 3 先辈层则可以中止该极大值层中这个MAX节点以下的搜索过程。这个MA炸点的最终倒推值就确定为这个a值。3、化子句集如下.4 、答专家系统与一般的软件系统开发无异其开发过程同样要遵循软件工程的步骤和原则即也要进行系统分析、系统设计等几个阶段的工作。但由于它是专家系统而不是一般的软件系统所以又有其独特的地方主要包括以下几个步骤系统总体分析与设计知识获取知识表示与知识描述语言设计知识库设计、知识库管理系统设计推理机与解释模块设计总控与界面设计编程与调试测试与评价运行与维护可以看出它有如下特点知识获取和知识表示设计是一切工作的起点知识表示与知识描述语言确定后其他设计可同时

39、进行5、答 所谓“图灵实验”是为了判断一台机器是否具备智能的实验。实验由三个封闭的房间组成分别放置主持人、参与人和机器。主持人向参与人和机器提问通过提问的结果来判断谁是人谁是机器。如果主持人无法判断谁是人谁是机器则这台机器具备智能即所谓的“智能机器”。6、解：现定义如下谓词F(x,y)x是y的父亲；G(x,z)x是y的祖父；用谓词逻辑表示已知与求解： F(x,y) A F(y,z) - G(x,z)(2) F(L,D) F(D,X)G(u,v),u=?,v=?其中，L表不老,D表不大,X表不小。先证存在祖关系 F(x,y) V F(y,z) V G(x,z) 从(1)变换 F(L,D)从(2)

40、变换F(D,X)从(3)变换G(u,v)结论的否定F(D,z) V G(L,z)归结,置换 L/x,D/yG(L,X)归结，置换 X/z口归结，置换 L/u,X/v得证，说明存在祖关系。为了求解用一个重言式G(u,v) V G(u,v)用重言式代替结论的否定，重言式恒为真F(D,z) VG(L,z)归结，置换 L/x,D/yG(L,X)归结，置换X/zG(L,X)归结，置换L/u,X/v得结果:L是X的祖父即老是小的祖父。7、如下的知识可以帮助求解该问题序列中偶数在偶数位置奇数在奇数位置第五个数为5。综合数据库用一个1至IJ 9的序列表示N = x 其中x为1至！J 9的数字之一。规则集r1:

41、 IF len(N)=4 THEN x U 5r2: IF len(N)为偶数 and n=In(1, 3, 7, 9) THEN xU nr3: IF len(N)为奇数 and n=In(2, 4, 6, 8) THEN xU n其中len(N)为求序列的长度In(a, b, c, d) 为取a、b、c、d之一。初始状态 结束条件 得到的序列N前i个数组成的整数能被i整除人工智能试卷十三1,什么是人工智能人工智能与计算机程序的区别答 AI是研究如何制造人造的智能机器或智能系统来模拟人类智能活动的能力以延伸人类 智能的科学 它与计算机程序的区别是AI研究的是符号表示的知识而不是数值数据为研究

42、对象AI采用启发式搜索方法而不是普通的算法控制结构与知识是分离的允许出现不正确的答案.化下列逻辑表达式为不含存在量词的前束式afYXRZXPZYX,答),(afYXRZXPZYX),(afYXRZXPZYX afYXRZXPZYX,afYbRZbPZY, afYbRYfbPY,)(.求下列谓词公式的子句集),(),(),(yxRyxQyxPyx答)，()，()，(yxRyxQyxPyx),(),(),(yxRyxQyxPyx),(),(),(),(yxRyxQyxRyxPyx所以子句集为),(),(),(),(yxRyxQyxRyxP).若有梯形ABCD将其中的若干定理形式化即定义一些谓词公式

43、然后利用归结原理证明错角CDBABD证明设梯形顶点依次为a,b,c,d,定义谓词：T(x,y,u,v): 表示xy为上底,uv为下底的梯形.A BDC .P(x,y,u,v):表示 xy|uvE(x,y,z,u,v,w) 表示/xyz=/uvw问题的描述和相应的子句集为xyuvT(x,y,u,v) - P(x,y,u,v).梯形上下底平行子句T(x,y,u,v) V P(x,y,u,v)xyuvP(x,y,u,v)E(x,y,v,u,v,y)平行则错交相等子句T(a,b,c,d). 已知子句 T(a,b,c,d)E(a,b,d,c,d,b). 要证明的结论子句 E(a,b,d,c,d,b)子句

44、集S为T(x,y,u,v)V P(x,y,u,v)P(x,y,u,v)V E(x,y,v,u,v,y)T(a,b,c,d)E(a,b,d,c,d,b)下面利用归结原理证明P(a,b,c,d)1 和 3 归结置换a/x,b/y,c/u,d/vE(a,b,d,c,d,b)2 和 5 归结置换a/x,b/y,c/u,d/vNIL 4 和 6 归结根据归结原理得证。.求子句集f(u)u),h(z,P(z,f(g(y),a,P(x,S的 MGU解 k=0;S0=S; S 0= e ;S0不是单元素集求得差异集D0= a/z ，其中z是变元 a是项且z不在a中出现。k=k+1=1有 8 1 = 8 0 a

45、/za/za/zS1=S0-a/zP(a,x,f(g(y),P(a,h(a,u),f(u),S1不是单元素集求得差异集 D1= x,h(a,u) ,k=k+1=2; 8 2= 8 1 h(a,u)/x = a/z,h(a,u)/x ,S2=S1 h(a,u)/x =P(a,h(a,u),f(g(y),P(a,h(a,u),f(u)S2不是单元素集求得差异集D2= g(y),u ,k=k+1=38 3= 8 2 g(y)/u = a/z,h(a,u)/x - g(y)/u = a/z,h(a,g(y)/x,g(y)/uS3=S2 - g(y)/u =P(a,h(a,g(y),f(g(y)是单元素

46、集。根据求 MGlM法MGU = 3=a/z,h(a,g(y)/x,g(y)/u6,用代价优先算法求解下图的旅行推销员问题请找一条从出发能遍历各城市的最佳路径旅行费最少每条弧上的数字表示城市间的旅行费用。并用CLOSED1记录遍历过的结点OPE破记录待遍历的结点。画出closed和open表的变化过程然后根据closed表找出最佳路径。OPENH扩展节点父节点A 0 NULL TOC o 1-5 h z B31AC28AD43BC 54 B TOC o 1-5 h z E38DC59DC27EA51ECLOSER扩展节点父节点A 0 NULLC28AE29CD38EB43DA31B7.用框架表

47、示下述报导的沙尘暴灾害事件虚拟新华社3月16日电昨日 沙尘暴袭击韩国汉城机场与高速公路被迫关闭造成的损失不详。韩国官方示如果需要直接损失情况可待一周后的官方公布的字。此次沙尘暴起因中日韩专家认为是由于中国区过分垦牧破坏植被所致。提示分析概括用下划线标出的要点经过概念化形成槽Slot 并拟出槽的名称 选填侧面 face 值。侧面包含值 value ”默认值default 如果需要值if-needed 如果附加值 if-added ”几个方面用 不到的侧面值可删除。FRAMESlotlValueDefaultIf-neededIf-addedSlot2ValueDefaultIf-neededIf

48、-addedSlot3ValueDefaultIf-neededIf-addedFRAME沙尘暴Slotl 时间Value 3 月 15日DefaultIf-neededIf-addedSlot2 地点Value韩国汉城DefaultIf-neededIf-addedSlot3 损失Value 不详DefaultIf-needed 一周后官方公布数字If-addedSlot4 起因Default 中国蒙 古区人工智能试卷十八 一、选择题 13小题共13分.人工智能的含义最早由一位科学家于1950年提出并且同时提出一个机器智能的测试模型请问这个科学家是 C 。明斯基扎德.docin. C. 图灵

49、D.冯.诺依曼.下列哪个不是人工智能的研究领域D机器证明模式识别人工生命D.编译原理.神经网络研究属于下列B 学派符号主义连接主义行为主义D.都不是.已知初始问题的描述通过一系列变换把此问题最终变为一个子问题集合这些子问题的解可以直接得到从而解 决了初始问题。这是知识表示法叫A.状态空间法问题归约法谓词逻辑法D.语义网络法.在公式中y xp(x,y)存在量词是在全称量词的辖域我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义它把每个y值映射到存在的那个 x。这种函数叫做 B依赖函数Skolem 函数决定函数D.多元函数.子句PQ和P经过消解以后得到 BPQPH. P Q7,8.

50、A A B A 称为 C - A B -A B 称为D三、结合律B.分配律C.吸收律D.摩根律9,10.如果问题存在最优解则下面几种搜索算法中A必然可以得到该最优解D可以认为在这几种算法中是“智能程度相对比较高”的算法。K.广度优先搜索.深度优先搜索M.有界深度优先搜索N.启发式搜索.产生式系统的推理不包括D正向推理逆向推理双向推理D.简单推理.下列哪部分不是专家系统的组成部分A用户综合数据库推理机D.知识库.要想让机器具有智能必须让机器具有知识。因此在人工智能中有一个研究领域主要研究计算机如何自动获取知识和技能实现自我完善这门研究分支学科叫B 。专家系统机器学习神经网络模式识别二、填空题 1

51、2小题共30分.人工智能三大学派是符号主义、联结主义、行为主义。.化成子句形式为。正向推理.从已知事实出发通过规则库求得结论的产生式系统的推理方式是.AI 的英文缩写是 Artifical Inteligence.在谓词公式中紧接于量词之后被量词作用的谓词公式称为该量词的辖域而在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元6、假言推理 A B A B7、几种常用的归结策略删除策略归结策略其他变元称为 自由变元假言三段论 A B B C A C、支持集策略、线形归结策略、输入归结策略、单元8、在诸如走迷宫、下棋、八数码游戏等游戏中常用到的一种人工智能的核心技术称为图搜索 技术 解这类

52、问题时 常把在迷宫的位置、棋的布局、八数码所排成的形势用图 来表这种图称为状态空间图 或状态图.在启发式搜索当中通常用启发函数来表示启发性信息。.在二人博弈问题中最常用的一种分析技术是极大极小分析法这种方法的思想是先生成一棵博弈树然后再计算其倒推值。但它的效率较低因此人们在此基础上又提出了 -剪枝技术.某产生式系统中的一条规则A x B x 则前件是 A x 后件是Bx.在框架和语义网络两种知识表示方法中框架适合于表示结构性强的知识而语义网络则适合表示一些复杂的关系和联系的知识。面向对象不仅仅是一种知识表示方法也是一种流行的软件设计和开发技术。三、简答题 3小题共27分.把下列谓词公式分别化成

53、相应的子句集9分解 x(yP(x,y) - y(Q(x,y) - R(x,y)=x(yP(x,y)-y ( Q(x,y) V R(x,y) =x(yP(x,y) -y(Q(x,y) A R(x,y)=x( yP(x,y) V y(Q(x,y) A R(x,y)改名=x(y P(x,y) V y(Q(x,y) A R(x,y)消去存在量词y,z=x(y P(x,y) V z(Q(x,z) A R(x,z)=x(y P(x,y) V z(Q(x,z) AR(x,z).y=f(x),z=g(x)=x(P(x,f(x) V (Q(x,g(x) A R(x,g(x)=x(P(x,f(x) V (Q(x,

54、g(x)A (P(x,f(x) V R(x,g(x)从而谓词公式的子句集是P(x,f(x) V (Q(x,g(x)P(x,f(x) V R(x,g(x).专家系统的一般步骤有哪些专家系统的开发与一般的软件系统开发相比较有哪些共同点和特点 5分答专家系统与一般的软件系统开发无异其开发过程同样要遵循软件工程的步骤和原则即也要进行系统分 析、系统设计等几个阶段的工作。但由于它是专家系统而不是一般的软件系统所以又有其独特的地方主要包括以下几个步骤系统总体分析与设计知识获取 .docin.知识表示与知识描述语言设计知识库设计、知识库管理系统设计推理机与解释模块设计总控与界面设计编程与调试测试与评价运行与

55、维护可以看出它有如下特点知识获取和知识表示设计是一切工作的起点知识表示与知识描述语言确定后其他设计可同时进行2、八数码游戏 初始棋局和目标棋局如图 定义启发函数h x 表示某状态下与目标数码不同的位置个数 用全局择优法画出搜索的过程。8分初始状态 目标状态解4、试实现一个“大学教师”的框架士、博士 、专业 计算机、电子、自动化、职称解框架名 大学教师类属教师学历（学士、硕士、博士）专业计算机、电子、自动化、职称 助教、讲师、副教授、教授四、应用题 2小题共30分1.某被盗公安局派了五个侦察员去调查。 作案”侦察员说“钱与至少有一人作案”侦察员说个与案无关” 侦察员大学教师类属于教师助教、讲师、

56、副教授、教授包括以下属性学历学士、硕5分研究案情时 侦察员 说 “与钱中至少有一人“与中至少有一个作案”侦察员说“与至少一说“钱与中至少有一人与此案无关”。如果这五个侦察员的话都是可信的试用消解原理推理求出谁是盗窃犯。15解 设用T(x)表小x是作案者 则侦察员A的话可表示T()T(钱)侦察员B的话可表示T(钱)T()侦察员C的话可表示T()T()侦察员D的话可表示T() T()侦察员E的话可表示T(钱)T()上面五个组成子句集 S求谁是作案者 把T(x)ANSWER(x)并入S1得到。即比S1多出如下一个子句T(x)ANSWER(x)然后利用消解原理对S1进行消解可得答案钱和是作案者。2.某

57、企业欲招聘一个 JAVA程序员定义如下产生式规则(要求)r1: IF 有工作经验or (本科以上学历 and有相关知识背景then 录用 0.9)IF 工作两年以上and作过相关工作then 有工作经验 0.8r3:IF 学过数据结构and学过JAVAand学过数据库and学过软件工程then有相关知识背景(0.9)r4:学过数据结构相关课程的成绩/100r5:学过JAVA相关课程的成绩/100相关课程的成绩/100r6:学过数据库相关课程的成绩/100r7:学过软件工程 r8:做过相关工作JAVA程序员 1 项目经理 1数据库开发工程师0.9数据库管理员0.7,网络管理员 0.6 客服人员0.4设有一本科毕业生甲其相关课程的成绩为数据结构=85,JAVA=80,数据库=40,软件工程=90另有一社会招聘人员乙参加工作三年曾做过数据库管理员和数据库开发人员根据确定性理论问该公司应该招聘谁如果你是该本科生为了能在招聘中胜出你应该加强哪门课程 并使该门课程的成绩至少达到多少15分解 1对于本科毕业生由r4 r5 r6 r7CF学过数据结构 =0.6CF 学过 JAVA =0.8CF 学过数据库 =0.4CF 学过软件工程 =0.9由r3C