逆归结（inverse resolution），理学-计算机科学技术-人工智能-机器学习-规则学习，一种“自底向上”（bottom-up）的搜索策略。1965年，逻辑学家J.A.鲁滨逊（J.A.Robinson）提出了著名的归结原理（resolution principle），他指出一阶谓词演算中的演绎推理能用一条十分简洁的规则描述。1988年，计算机科学家S.马格莱顿（S.Muggleton）和W.邦廷（W.Buntine）针对归纳推理提出了逆归结（inverse resolution）的概念，这对归纳逻辑程序设计的发展起到了重要作用。基于归结原理，人们可将貌似复杂的逻辑规则与背景知识联系起来化繁为简；而基于逆归结，人们可基于背景知识来发明新的概念和关系。现假定两个逻辑表达式和成立，且分别包含互补项与；不失一般性地，令，。归结原理告诉人们，通过演绎推理能消去L而得到“归结项”。若定义析合范式的删除操作则归结过程可表述为简记为与上述过程相反，逆归结研究的是在已知和某个的情况下，如何得到。