Using abduction for induction of normal logic programsOliver Ray, 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.