The refinement operator presented in this paper represents a first step towards constructing more efficient and flexible ILP systems with precise theoretical ...
People also ask
What is theory refinement?
What is refinement in set theory?
In this paper, we show how to construct a flexible refinement operator for theories. Combining (weak) completeness and non-redundancy with flexibility has been ...
A syntactically monotonic, finite and solution-complete refinement operator for theories, which eliminates certain annoying redundancies (due to clause ...
Aug 30, 2001 · The refinement operator presented in this paper represents a first step towards constructing more efficient and flexible ILP systems with ...
The refinement operator presented in this paper represents a first step towards constructing more efficient and flexible ILP systems with precise theoretical ...
[PDF] Spaces of Theories with Ideal Refinement Operators - IJCAI
www.ijcai.org › Proceedings › Papers
The objective of this work is to extend the results obtained for spaces of clauses and prove the existence of ideal refinement operators for spaces of theories ...
Core Idea define background that uses meta-predicates to cover DL expressivity beyond LP express DL construct using background predicates.
We additionally prove that complete refinement operators for ALER cannot be locally finite and suggest how this problem can be overcome by an MDL search ...
Ultimately, refinement operators should construct chains of refinements from the initial hypotheses to target ones. The next definition introduces this notion.
Within Inductive Logic Programming, refinement operators compute a set of specializations or generalizations of a clause. They are applied in model ...