Approaches to abductive reasoning: an overview

摘要

Abduction is a form of non-monotonic reasoning that has gained increasing interest in the last few years. The key idea behind it can be represented by the following inference rule