《人工智能导论》试卷 .pdfVIP

《⼈⼯智能导论》试卷 ⼀、填空： 1.⼈⼯智能的研究途径有（1）、（2）和⾏为模拟。 2.任意列举⼈⼯智能的四个应⽤性领域（3）、（4）、（5）、（6）。 3.⼈⼯智能的基本技术包括（7）、（8）、（9）归纳技术、联想技术。 4.谓词逻辑是⼀种表达能⼒很强的形式语⾔，其真值的特点和命题逻辑的区别是 （10）。 5.谓词逻辑中，重⾔式（tautlogy）的值是（11）。 6.设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（12）。 7.在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF （A）=0，则意味 着13 ，CF （A）=-1，则意味着（14），CF （A）=1，则意味着（15）。 8.谓词公式G是不可满⾜的，当且仅当对所有的解释（16）。 9.谓词公式与其⼦句集的关系是（17）。 10.利⽤归结原理证明定理时，若得到的归结式为（18），则结论成⽴。 11.若C1=┐P∨Q，C2=P∨┐Q，则C1和C2的归结式R （C1，C2）= （19）。 12.若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则C1和C2的归结式R （C1，C2）= （20）。 13.有谓词公式G，置换δ，则G·ε= （21），δ·ε= （22）。 14.有⼦句集S= ｛P(x),P(y)｝，其MGU= （23）。 15.在归结原理中，⼏种常见的归结策略并且具有完备性的是（24），（25），（26）。 16.状态图启发式搜索算法的特点是（27）。 17.⼴度优先搜索算法中，OPEN表的数据结构实际是⼀个（28），深度优先搜索算 法中，OPEN表的数据结构实际是⼀个（29）。 18.产⽣式系统有三部分组成 （30），（31）和推理机。其中推理可分为（32）和 （33）。 19.专家系统的结构包含⼈机界⾯、（34），（35），（36），（37）和解 释模块。 20.在MYCIN推理中，对证据的可信度CF （A）、CF （A1）、CF （A2）之间，规定如 下关系：CF （~A）= （38），CF （A1 ∧A2 ）= （39），CF （A1 ∨A2 ） = （40）。 21.开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表⽰和 （41），知识表⽰的⽅法主要有（42），（43），（44）和语义⽹络等， 在语义⽹络表⽰知识时，所使⽤的推理⽅法有（45）和（46）。 22.MYCIN系统中使⽤不确定推理，规则A→B由专家指定其可信度CF （B，A），若 A真⽀持B真，则指定CF （B，A）（与零⽐较）应（47）；若A真不⽀持B 真，则指定CF （B，A）应（48）。 23.机器学习的含义是（49）。 24. ⾃然语⾔理解不仅包括计算机能正确理解⼈们⽤⾃然语⾔输⼊的信息，能正确回答 输⼊信息中的有关问题，⽽且还包括（50）、（51）、（52）。 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）。 ⼆、（3分）⽤谓词逻辑形式化下列描述 “不存在最⼤的整数” 三、（3分）⽤语义⽹络表⽰“苹果”知识。 四、（7分）将下列谓词公式化成⼦句集 () () ()() ()() , , x, ~→ y z ∧ f x P a R y z z Q x 五、（8分）若谓词公式E=P(x,f(y),z),置换s1= ｛f(x,y)/z,z/w｝，s2= ｛a/x,b/y,w/z｝，求E （s1·s2），E （s2·s1）。 六、（8分）⽤加权图的启发式搜索算法（不能⽤Dijkstra算法）求解下列问题：下图是⼀ 个交通图，设A是出发地，E是⽬的地，边上的数字表⽰两城市之间的交通费。求从A Open表的变化过程。 到E 七、（10分）⽤标准逻辑（经典逻辑，谓词逻辑）的⼦句集表⽰下述刑侦知识，并⽤反演 归解的线性策略证明结论 现定义