归结演绎推理

人工智能归结演绎推理软件学院13111313111318梁艳芳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）∧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）二、程序traceDOMAINSname=symbolPREDICATESM(name,name).S(name,name)GOALM(X,lan),write(X=,X).CLAUSESS(hua,lan).M(sun,hua).M(Y,lan):-S(Z,lan),M(Y,Z).三、运行结果