人工智能_(马少平_朱小燕_著)_清华大学出版社_课后答案(25)

2，Q(A)∨Q(B) 3，~P(y)∨~Q(y)

7、以归结反演法证明公式（ x）P（x）是[P（A1）∨P（A2）]的逻辑推论，然而，（ x）P（x）的Skolem形即P（A）并非[P（A1）∨P（A2）]的逻辑推论，请加以证明。 答： （1）将（x）P（x）取反化为子句： ~（x）P（x） =（ x）~P（x）

与条件[P（A1）∨P（A2）]合在一起得子句集： {~P（x）, P（A1）∨P（A2）

}

所以，公式（x）P（x）是[P（A1）∨P（A2）]的逻辑推论。

（2）对于（x）P（x）的Skolem形，即P（A），取反后为~P（A），与条件[P（A1）∨P（A2）]合在一起得子句集：

{~P（A）, P（A1）∨P（A2）}

该子句集不能进行归结，故P（A）不是[P（A1）∨P（A2）]的逻辑推论。

搜索“diyifanwen.net”或“第一范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，第一范文网，提供最新教学研究人工智能_(马少平_朱小燕_著)_清华大学出版社_课后答案(25)全文阅读和word下载服务。