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.
|Translated title of the contribution||Using abduction for induction of normal logic programs|
|Title of host publication||ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling|
|Publication status||Published - 2006|
Bibliographical noteOther page information: 28-31
Conference Proceedings/Title of Journal: ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling
Other identifier: 2000633