人工智能确定性推理部分参考答案.pdfVIP

确定性推理部分参考答案 1判断下列公式是否为可合一，若可合一，则求出其最一般合一。 (1) P(a,b),P(x,y) (2) P(f(x),b),P(y,z) (3) P(f(x),y),P(y,f(b)) (4) P(f(y),y,x),P(x,f(a),f(b)) (5) P(x,y),P(y,x) 解： 可合一，其最一般和一为： 。 (1) (T={a/x,b/y} (2)可合一，其最一般和一为：(T={y/f(x),b/z}。 (3) 可合一，其最一般和一为：d={f(b)/y,b/x} o ⑷不可合一。 (5)可合一，其最一般和一为：b={y/x}。 2把下列谓词公式化成子句集： (1) (x)