Skip to main content

Using abduction for induction of normal logic programs

Oliver 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

Abstract

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.

Bibtex entry.

Contact details

Publication Admin