%0 Journal Article
%T ABDUCTIVE REASONING WITH CIRCUMSCRIPTION<br>基于限定的溯因问题求解
%A CHEN Baoping
%A SUN Jigui
%A <br>陈保平
%A 孙吉贵
%J 软件学报
%D 1997
%I 
%X 溯因问题是人工智能中的一个重要研究方向，它在许多领域中有着广泛的应用，但在很多情形下，溯因解释的求取是非常困难的．本文提供一种基于限定理论的溯因解释求法，对于满足完备性公理和正原因假设的理论，可以证明其限定中的相容解释就是溯因解释，并且对Ｈｏｒｎ子句集给出具体的求解算法.
%K 溯因推理
%K 溯因解
%K 限定
%K 相容解释
%K 独立的溯因解
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=1FC93596D52CE219B7EE2FE8781482ED&yid=5370399DC954B911&vid=5D311CA918CA9A03&iid=E158A972A605785F&sid=EC34D52BE81085CE&eid=CA9ED1AB4D9E3E04&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=7