Abstract
This paper presents a theoretical discussion and a logical framework for a generalised model of abduction.
The classical definition about whether inferred rules are abductive or inductive appears to be very ambiguous. To avoid that problem, classical approaches to mechanise abduction reject the inference of rules by abductive means.
A formalism that includes abductive rule formation and distinguishes it from inductive inference is presented. We introduce a logical definition of abduction broad enough to include our formalism. To support our theoretical work and the relevance of abductive inference an abductive based system is presented and some practical results are given.
Get full access to this article
View all access options for this article.