人工智能复习题 .pdfVIP

⼈⼯智能复习题

⼀、将下⾯的公式化成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)知识表⽰是交流的媒介（如语义⽹络）。

知识表⽰的分类

知识表⽰⽅法种类繁多,⽽且分类的标准也不⼤相同。按照⼈们从不同⾓度进⾏探索和对问题的不同理解，知识表⽰⽅法可分

为陈述性知识