Efficient Semantic Tableau Generation for Abduction in Propositional Logic
Résumé
Abduction is a backward chaining inference, finding the best explanations of an observation with regard to a knowledge base in a two-steps process: i) hypotheses generation, and ii) explanations selection according to a minimality criterion.