Nonmonotonic abductive inductive learning

Research output: Contribution to journalArticle (Academic Journal)peer-review

112 Citations (Scopus)


Inductive Logic Programming (ILP) is concerned with the task of generalising sets of positive and negative examples with respect to background knowledge expressed as logic programs. Negation as Failure (NAF) is a key feature of logic programming which provides a means for nonmonotonic commonsense reasoning under incomplete information. But, so far, most ILP research has been aimed at Horn programs which exclude NAF, and has failed to exploit the full potential of normal programs that allow NAF. By contrast, Abductive Logic Programming (ALP), a related task concerned with explaining observations with respect to a prior theory, has been well studied and applied in the context of normal logic programs. This paper shows how ALP can be used to provide a semantics and proof procedure for nonmonotonic ILP that utilises practical methods of language and search bias to reduce the search space. This is done by lifting an existing method called Hybrid Abductive Inductive Learning (HAIL) from Horn clauses to normal logic programs. To demonstrate its potential benefits, the resulting system, called XHAIL, is applied to a process modelling case study involving a nonmonotonic temporal Event Calculus (EC).
Translated title of the contributionNonmonotonic abductive inductive learning
Original languageEnglish
Article number329-340
JournalJournal of Applied Logic
Issue number3
Publication statusPublished - Sept 2009

Bibliographical note

Other identifier: 2001069


Dive into the research topics of 'Nonmonotonic abductive inductive learning'. Together they form a unique fingerprint.

Cite this