2008 ANoteonRefinementOperatorsforIE

• (Tamaddoni-Nezhad & Muggleton, 2008) ⇒ Alireza Tamaddoni-Nezhad, and Stephen Muggleton. (2008). “A Note on Refinement Operators for IE-Based ILP Systems.” In: Proceedings of the 18th International Conference on Inductive Logic Programming. ISBN:978-3-540-85927-7 doi:10.1007/978-3-540-85928-4_23

Subject Headings: Refinement Operator

Cited By

• http://scholar.google.com/scholar?q=%222008%22+A+Note+on+Refinement+Operators+for+IE-Based+ILP+Systems
• http://dl.acm.org/citation.cfm?id=1431080.1431105&preflayout=flat#citedby

Quotes

Abstract

ILP systems which use some form of Inverse Entailment (IE) are based on clause refinement through a hypotheses space bounded by a most specific clause. In this paper we give a new analysis of refinement operators in this setting. In particular, Progol's refinement operator is revisited and discussed. It is known that Progol's refinement operator is incomplete with respect to the general subsumption order. We introduce a subsumption order relative to a most specific (bottom) clause. This subsumption order, unlike previously suggested orders, characterises Progol's refinement space. We study the properties of this subsumption order and show that ideal refinement operators exist for this order. It is shown that efficient operators can be implemented for least generalisation and greatest specialisation in the subsumption order relative to a bottom clause. We also study less restricted subsumption orders relative to a bottom clause and show how Progol's incompleteness can be addressed.

References

;

	Author	volume	Date Value	title	type	journal	titleUrl	doi	note	year
2008 ANoteonRefinementOperatorsforIE	Stephen Muggleton Alireza Tamaddoni-Nezhad			A Note on Refinement Operators for IE-Based ILP Systems				10.1007/978-3-540-85928-4_23		2008