Abstract
In this paper the problem of induction of clausal theories through a search space consisting of theories is studied. We order the search space by an extension of θ-subsumption for theories, and find a least generalization and a greatest specialization of theories. A most specific theory is introduced, and we develop a refinement operator bounded by this theory.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H. Arimura. Learning acyclic first-order horn sentences from entailment. In Proc. of ALT-97, LNAI 1316, pp. 432–445. Springer-Verlag, 1997.
M. R. Garey and D. S. Johnson. Computers and Intractability-A Guide to Theory of NP-completeness. Freeman, 1997.
M. Krishna Rao and A. Satter. Learning from entailment of logic programs with local variables. Proc. of ALT-98, LNAI 1501, pp. 143–157. Springer-Verlag, 1998.
P. R. J. van der Laag and S.-H. Nienhuys-Cheng. Existence and nonexistence of complete refinement operators. In Proc. of ECML-94, LNAI 784, pp. 307–322. Springer-Verlag, 1994.
S. Muggleton. Inverse entailment and Progol. New Generation Computing, 13(3/4):245–286, 1995.
S. Muggleton. Completing inverse entailment. In Proc. of ILP-98, LNAI 1446, pp. 245–249. Springer-Verlag, 1998.
S.-H. Nienhuys-Cheng and R. de Wolf. Foundations of Inductive Logic Programming. LNAI 1228. Springer-Verlag, 1997.
G. D. Plotkin. Automatic Methods of Inductive Inference. PhD thesis, Edinburgh University, 1971.
J. C. Reynolds. Transformational systems and the algebraic structure of atomic formulas. In Machine Intelligence, vol. 5, pp. 135–151. Edinburgh University Press, 1970.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Midelfart, H. (1999). A Bounded Search Space of Clausal Theories. In: Džeroski, S., Flach, P. (eds) Inductive Logic Programming. ILP 1999. Lecture Notes in Computer Science(), vol 1634. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48751-4_20
Download citation
DOI: https://doi.org/10.1007/3-540-48751-4_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66109-2
Online ISBN: 978-3-540-48751-7
eBook Packages: Springer Book Archive