%0 Journal Article
%T 基于限定的溯因问题求解
%A 孙吉贵
%A 陈保平
%J -
%D 1997
%X 溯因问题是人工智能中的一个重要研究方向，它在许多领域中有着广泛的应用，但在很多情形下，溯因解释的求取是非常困难的．本文提供一种基于限定理论的溯因解释求法，对于满足完备性公理和正原因假设的理论，可以证明其限定中的相容解释就是溯因解释，并且对Ｈｏｒｎ子句集给出具体的求解算法
%K 溯因推理 溯因解 限定 相容解释 独立的溯因解
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19970412&flag=1