A Framework for Abductive Rule Formation

Article type: Research Article

Authors: Larrosa, Javier | Cortés, Ulises

Affiliations: Dept. Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Pau Gargallo 5, 08028, Barcelona (Catalonia), Spain, Email: [email protected], [email protected]

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.

DOI: 10.3233/AIC-1995-8204

Journal: AI Communications, vol. 8, no. 2, pp. 91-100, 1995