Paper Info
Title
A Note on Refinement Operators for IE-Based ILP Systems
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.
Year
DOI
Venue
2008
10.1007/978-3-540-85928-4_23
ILP
Keywords
Field
DocType
ie-based ilp systems,clause refinement,specific clause,subsumption order,refinement space,refinement operator,refinement operators,characterises progol,bottom clause,ideal refinement operator,general subsumption order,restricted subsumption order
Inverse,PROGOL,Logical consequence,Computer science,Generalization,Theoretical computer science,Operator (computer programming),Bounded function
Conference
Volume
ISSN
Citations 
5194
0302-9743
2
PageRank 
References 
Authors
0.42
4
2
Name
Order
Citations
PageRank
Alireza Tamaddoni-Nezhad126918.66
Stephen Muggleton23915619.54