Abduction, that ubiquitous form of reasoning

摘要

In recent years, attention has been devoted to abduction, a hypothetical form of non-monotonic reasoning that tries to fit the best ‘explanation’ to a given observation. In this paper we present a collection of applications of automated abductive reasoning developed in the Center for Artificial Intelligence of the ITESM (Monterrey, Mexico) in the last five years, covering a range from natural language understanding to software re-use.