溯因问题求解方法

溯因推理(Abduction)是已知某一结果已经发生,去寻找这个结果的原因。具体地说。

Abduction is an important research field in AI,but it is a very difficult problem. In this paper,we first characterize the abductive explanations based on logic,and discuss the relation between minimal abductive explanations and abductive explanations. We give some methods to get all the abductive explanations or the best explanations, such as by resolution,circumscription,and AND/OR graph.