Using abduction for induction of normal logic programs
, Using abduction for induction of normal logic programs
. ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling
. P. Flach
, A. Kakas, L. Magnani, O. Ray
, (eds.), pp. 28–31. August 2006. PDF, 82 Kbytes
. External information
This paper proposes the approach of eXtended Hybrid Abductive Inductive Learning (XHAIL) for generalising positive and negative examples with respect to normal logic programs. A proof procedure is described that uses abduction to realise the abductive, deductive, and inductive phases which comprise this approach.