Generalization by absorption of definite clauses

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)

Abstract

Absorption is one of the so-called inverse resolution operators of Inductive Logic Programming. The paper studies the properties of absorption that make it suitable for incremental generalization of definite clauses using background knowledge represented by a definite program. The soundness and completeness of the operator are established according to Buntine's model of generalization called generalized subsumption. The completeness argument proceeds by viewing absorption as the inversion of SLD-resolution. In addition, some simplifying techniques are introduced for reducing the non-determinism inherent in usual presentations of absorption. The effect of these simplifications on completeness is discussed.

Original languageEnglish
Pages (from-to)127-157
Number of pages31
JournalJournal of Logic Programming
Volume40
Issue number2
DOIs
Publication statusPublished - 1999
Externally publishedYes

Fingerprint

Dive into the research topics of 'Generalization by absorption of definite clauses'. Together they form a unique fingerprint.

Cite this