⼈⼯智能复习题⼀、将下⾯的公式化成Skolem标准型(?x)((?y)P(x,y)→～(?y)(Q(x,y)→R(x,y)))将下式化为Skolem标准形：～(?x)(?y)P(a,x,y)→(?x)(～(?y)Q(y,b)→R(x))解：第⼀步，消去→号，得：～(～(?x)(?y)P(a,x,y))∨(?x)(～～(?y)Q(y,b)∨R(x))第⼆步，～深⼊到量词内部，得：(?x)(?y)P(a,x,y)∨(?x)((?y)Q(y,b)∨R(x))第三步，变元易名，得(?x)((?y)P(a,x,y)∨(?u)(?v)(Q(v,b)∨R(u))第四步，存在量词左移，直⾄所有的量词移到前⾯，得：(?x)(?y)(?u)(?v)P(a,x,y)∨(Q(v,b)∨R(u))由此得到前束范式第五步，消去“?”（存在量词），略去“?”任意量词消去(?y)，因为它左边只有(?x)，所以使⽤x的函数f(x)代替之，这样得到：(?x)(?z)(P(a,x,f(x))∧～Q(z,b)∧～R(x))消去(?z)，同理使⽤g(x)代替之，这样得到：(?x)(P(a,x,f(x))∧～Q(g(x),b)∧～R(x))则，略去任意变量，原式的Skolem标准形为：P(a,x,f(x))∧～Q(g(x),b)∧～R(x)⼆、谓词表⽰法表⽰修道⼠和野⼈渡河问题修道⼠和野⼈渡河问题：在河左岸有三个修道⼠、三个野⼈河⼀条船，修道⼠要把所有的⼈都运到河对岸，但是a)修道⼠和野⼈都会划船，但是船⼀次只能装两个⼈b)在两个岸边，野⼈数⽬不能超过修道⼠的数⽬，否则后者被吃掉野⼈完全服从修道⼠的任何渡河⽅案。试图求出⼀种确保修道⼠安全的渡河⽅案。要写出谓词的定义，功能和变量的个体域。（提⽰：写出必须的谓词和初始状态，修道⼠cenobite野⼈wildness）三、下列⼦句是否可以合⼀，如果可以，写出最⼀般合⼀置换a)P(x,B,B)和P(A,y,z)b)P(g(f(v)),g(u))和P(x,x)c)P(x,f(x))和P(y,y)d)P(y,y,B)和P(z,x,z)e)P(f(a),g(x))和P(y,y)不能合⼀f)P(a,x,f(g(y)))和P(z,h(z,u),f(u))可以合⼀，最⼀般合⼀置换σ3＝{a/z,h(a,g(y))/x,g(y)/u}四、简答题1.什么是⼈⼯智能？⼈⼯智能有哪⼏个主要学派？AI的主要学派：(l)符号主义(2)连接主义(3)⾏为主义2.什么是博弈问题？它具有哪些特点？博弈问题a)双⼈对弈，对垒的双⽅轮流⾛步；b)信息完备，对垒双⽅所得到的信息是⼀样的，不存在⼀⽅能看到，⽽另外⼀⽅看不到的情况；c)零和，即对⼀⽅有利的棋，对另⼀⽅肯定是不利的，不存在对双⽅均有利或均⽆利的棋，对弈的结果是⼀⽅赢，⽽另⼀⽅输，或者双⽅和棋。特点：双⽅的智能活动，任何⼀⽅都不能单独控制博弈过程，⽽是由双⽅轮流实施其控制对策的过程3.简述谓词逻辑归结过程。命题归结过程将命题写成合取范式求出⼦句集对⼦句集使⽤归结推理规则归结式作为新⼦句参加归结归结式为空⼦句□，S是不可满⾜的（⽭盾），原命题成⽴。（证明完毕）谓词的归结：除了有量词和函数以外，其余和命题归结过程⼀样4.什么是知识？它有哪些特性？5.什么是机器学习？机器学习有哪些⽅法？Simon（1983）：学习就是系统中的变化，这种变化使系统⽐以前更有效地去做同样的⼯作。Minsky(1985)：学习是在我们头脑中（⼼⾥内部）进⾏有⽤的变化。学习是⼀种具有多侧⾯的现象。学习的过程有：获取新的陈述性知识、通过教育或实践发展机械技能和认知能⼒、将新知识组织成为通⽤化和有效的表达形式、借助观察和实验发现新的事实和新的理论。6.⼈⼯智能中什么是知识表⽰观？有哪些主要的知识表⽰观？知识表⽰的定义a)知识表⽰研究⽤机器表⽰知识的可⾏性、有效性的⼀般⽅法。b)知识表⽰是理智推理的部分理论。c)知识表⽰是有效计算的载体。d)知识表⽰是交流的媒介（如语义⽹络）。知识表⽰的分类知识表⽰⽅法种类繁多,⽽且分类的标准也不⼤相同。按照⼈们从不同⾓度进⾏探索和对问题的不同理解，知识表⽰⽅法可分为陈述性知识表⽰和过程性知识表⽰两⼤类。7.何谓语义⽹络？它有哪些基本的语义关系？语义⽹络是⼀种通过概念及其语义联系（或语义关系）来表⽰知识的有向图，结点和弧必须带有标注。其中有向图的各结点⽤来表⽰各种事物、概念、情况、属性、状态、事件和动作等；结点上的标注⽤来区分各结点所表⽰的不同对象，每个结点可以带有多个属性，以表征其所代表的对象的特性。在语义⽹络中，结点还可以是⼀个语义⼦⽹络；弧是有⽅向和标注的，⽅向表⽰结点间的主次关系且⽅向不能随意调换。标注⽤来...
