人工智能大作业(3)

3.14 (3) 证明G是F的逻辑结论

F: ( x)( y)(P(f(x))∧(Q(f(b)))

G: P(f(a))∧P(y)∧Q(y)

先将F和¬G化成子句集：

S={P(a,b), ¬P(x,b)}

再对S进行归结：

所以，G是F的逻辑结论

3.18 设有子句集

{P(x)∨Q(x, b), P(a)∨﹁Q(a, b),﹁Q(a, f(a)), ﹁P(x)∨Q(x, b)}

请用祖先过滤策略求出其归结式

解：支持集策略不可用，原因是没有指明哪个子句是由目标公式的否定化简来的。 删除策略不可用，原因是子句集中没有没有重言式和具有包孕关系的子句。

单文字子句策略的归结过程如下：

用线性输入策略（同时满足祖先过滤策略）的归结过程如下：

百度搜索“77cn”或“免费范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，免费范文网，提供经典小说综合文库人工智能大作业(3)在线全文阅读。