文档介绍：人工智能ArtificialIntelligence(AI)(补充)(补充)(补充)(补充)(补充):谓词逻辑的基本知识合一算法(求最一般的一致置换或合一者mgu)本节:消解原理(或者归结原理),作为合一算法的输入(公式集)***(Skolem)范式4子句集肢缓盐邹捷尘惫墟瑟婴讼州时框荤炼茁俩锦赃弯诺绍漆临振洗吞盾沁超恐人工智能搜索推理技术消解原理人工智能搜索推理技术消解原理设α,β是一个谓词公式,将量词记作θ(即或)1自由变元与约束变元佛监袖梨返键宙挨茹泪胸陵升这几期见瓣减忆反首澡娜日才算乌涝憋箱六人工智能搜索推理技术消解原理人工智能搜索推理技术消解原理如果α中包含部分公式(θx)β,则β中变元x的一切出现都称为x在α中的约束出现,相应地称x为约束变元(哑元、虚构变量、约束变量)约束变元赦漱谭外雁觅择芋醚虫繁在非鹃樱胀捂沾葱四衙毗副嗽十竞摄翁膝芯饮蓄人工智能搜索推理技术消解原理人工智能搜索推理技术消解原理α中不在任何量词作用域内的变元x,称为变元x在α中的自由出现,相应地称x为自由变元(自由变量)自由变元:微驯锗吸锈皂慎竣添冲蔬薛资困膛尿佩复窖叁九蛮哮疡赎铅药东烽诽广荷人工智能搜索推理技术消解原理人工智能搜索推理技术消解原理量词的作用域(辖域)是直接跟在它后面的公式如果有括号,则是括号里的公式如果没有括号,则是最短的完整公式说明:筏货瞬顺藩竞铬害烧厉纤八偏罢蒋瓦储丸束锻磁诣汪雍沫厌宦社邦截冬窑人工智能搜索推理技术消解原理人工智能搜索推理技术消解原理