原创力文档第3章确定性推理部分参考答案
判断下列公式是否为可合一，若可合一，则求出其最一般合一。
(1)P(a,b),P(x,y)
过程略对下列各题分别证明是否为的逻辑结论解先将和化成子句集再对进行归结所以是的逻辑结论先将和化成子句集由得由于为即可得因此扩充的子句集为再对进行归结所以是的逻辑结论同理可求得和其求解过程略设已知如果是的父亲是的父亲则是的祖父每个人都有一个父
(2)P(f(x),b),P(y,z)
(3)P(f(x),y),P(y,f(b))
第3章确定性推理部分参考答案
判断下列公式是否为可合一，若可合一，则求出其最一般合一。
(1)P(a,b),P(x,y)
过程略对下列各题分别证明是否为的逻辑结论解先将和化成子句集再对进行归结所以是的逻辑结论先将和化成子句集由得由于为即可得因此扩充的子句集为再对进行归结所以是的逻辑结论同理可求得和其求解过程略设已知如果是的父亲是的父亲则是的祖父每个人都有一个父
(2)P(f(x),b),P(y,z)
(3)P(f(x),y),P(y,f(b))
文档评论（0）