人工智能 搜索推理技术消解原理.ppt

文档介绍：人工智能ArtificialIntelligence(AD)(补充)(补充)(补充)(补充)36,7Prolog语言简介(补充)(求最一般的一致置换或合一者mgu本节:消解原理(或者归结原理),作为合一算法的输入(公式集)(Skolen)范式4子句集1自由变元与约束变元设u,阝是一个谓词公式,将量词记作0(即彐或V)约束变元如果中包含部分公式(0x),则中变元x的切出现都称为x在a中的约束出现,相应地称x为约束变元(哑元、虚构变量、约束变量)自由变元a中不在任何量词作用域内的变元x,称为变元x在a中的自由出现,相应地称x为自由变元(自由变量)说明量词的作用域(辖域)是直接跟在它后面的公式如果有括号,则是括号里的公式>如果没有括号,则是最短的完整公式