人工智能习题.doc

word
知识(zhī shi)表示方法局部(júbù)参考答案
设有如下语句，请用相应(xiāngyīng)的谓词公式分别把他们表示出来：
(1) 有的人喜欢梅花(méihuā)，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花 ial
Paper：Area〔SCI，EI，Core，General〕
Default：Core
学生(xué sheng)框架
Frame <Students>
AKO<Teachers-Students >
Major：Unit〔Major-Name〕
Classes：Unit〔Classes-Name〕
Degree：Area〔doctor，mastor, bachelor〕
Default：bachelor
确定性推理(tuīlǐ)局部(júbù)参考答案
把如下(rúxià)谓词(wèi cí)公式化成子句集：
(x)(y)(P(x, y)∧Q(x, y))
(x)(y)(P(x, y)→Q(x, y))
(x)(y)(P(x, y)∨(Q(x, y)→R(x, y)))
(x) (y) (z)(P(x, y)→Q(x, y)∨R(x, z))
解：(1) 由于(x)(y)(P(x, y)∧Q(x, y))已经是Skolem标准型，且P(x, y)∧Q(x, y)已经是合取范式，所以可直接消去全称量词、合取词，得
{P(x, y), Q(x, y)}
再进展变元换名得子句集：
S={P(x, y), Q(u, v)}
(2) 对谓词公式(x)(y)(P(x, y)→Q(x, y))，先消去连接词“→〞得：
(x)(y)(¬P(x, y)∨Q(x, y))
此公式已为Skolem标准型。
再消去全称量词得子句集：
S={¬P(x, y)∨Q(x, y)}
word
(3) 对谓词公式(x)(y)(P(x, y)∨(Q(x, y)→R(x, y)))，先消去连接词“→〞得：
(x)(y)(P(x, y)∨(¬Q(x, y)∨R(x, y)))
此公式已为前束范式。
再消去存在量词，即用Skolem函数(hánshù)f(x)替换y得：
(x)(P(x, f(x))∨¬Q(x, f(x))∨R(x, f(x)))
此公式(gōngshì)已为Skolem标准型。
最后(zuìhòu)消去全称量词得子句集：
S={P(x, f(x))∨¬Q(x, f(x))∨R(x, f(x))}
(4) 对谓词(wèi cí)(x) (y) (z)(P(x, y)→Q(x, y)∨R(x, z))，先消去连接词“→〞得：
(x) (y) (z)(¬P(x, y)∨Q(x, y)∨R(x, z))
再消去存在(cúnzài)量词，即用Skolem函数f(x)替换y得：
(x) (y) (¬P(x, y)∨Q(x, y)∨R(x, f(x,y)))
此公式已为Skolem标准型。
最后消去全称量词得子句集：
S={¬P(x, y)∨Q(x, y)∨R(x, f(x,y))}
,F2,…,Fn的逻辑结论：
F:(x)(y)(P(x, y)
G: (y)(x)(P(x, y)
F: (x)(P(x)∧(Q(a)∨Q(b)))
G: (x) (P(x)∧Q(x))
解：(1) 先将F和¬G化成子句集：
S={P(a,b), ¬P(x,b)}
再对S进展归结：
¬P(x,b)
P(a,b)
NIL
{a/x}
所以，G是F的逻辑结论
(2) 先将F和¬G化成子句集
由F得：S1={P(x)，(Q(a)∨Q(b))}
由于¬G为：¬(x) (P(x)∧Q(x))，即
word
(x) (¬ P(x)∨¬ Q(x))，
可得： S2={¬ P(x)∨¬ Q(x)}
因此，扩大的子句集为：
S={P(x)，(Q(a)∨Q(b))，¬ P(x)∨¬ Q(x)}
再对S进展归结：
Q(a)∨Q(b)
Q(a)
¬ P(x)∨¬ Q(x)
¬ P(a)
P(x)
NIL
Q(a)∨Q(b)
{a/b}
¬ P(x)∨¬ Q(x)
Q(a)
{a/x}
¬ P(a)
P(x)
{a/x}
NIL