归结演绎推理
怏怏不乐-心甘情愿造句
人工智能
归结演绎推理
软件学院
131113
13111318
梁艳芳
Web方向
一、基于归结反演的问题求解：
已知
F1：孙（sun）女士是小花（hua）的母亲
F2：小花（hua）和小兰（lan）是姐妹
F3：如果x和y是姐妹，则x的母亲也是y的母亲
求：小兰（lan）的母亲是谁？
解：
首先定义谓词
M（X，Y）：X是Y的母亲
S（X，Y）：X和Y是姐妹
则
F1：（sun，hua）
F2：（hua，lan）
F3
：（
X）（
Y）（
Z）（S（X，Y）
∧<
br>M（Z，X）
→
M（Z，Y））
G：
﹁
（
X）M（X，lan）
∨
ANSWER（X）
把上述公式化为子句集如下：
（1）M（sun，hua）
（2）S（hua，lan）
（3）
﹁
S（X，Y）∨
﹁
M（Z，X）∨M（Z，Y））
（4）
﹁
M（u，lan）
∨
ANSWER（u）
应用归结原理进行归结：
（5）
﹁
S（X，Y）∨M（li，Y）
（6）
﹁
S（hua，lan）∨
ANSWER（sun）
（7） ANSWER（sun）
二、程序
trace
DOMAINS
name=symbol
PREDICATES
M(name,name).
S(name,name)
GOAL
M(X,lan), write(
CLAUSES
S(hua,lan).
M(sun,hua).
M(Y,lan):-S(Z,lan),M(Y,Z).
三、运行结果