问答题
论述题
判断下列公式是否为可合一,若可合一,则求出其最一般合一。
(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)可合一,其最一般和一为:σ={a/x,b/y}。
(2)可合一,其最一般和一为:&sigma......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
相关考题
-
问答题
产生式系统的推理过程? -
问答题
命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么? -
问答题
全局择优搜索A算法描述?
