Abstract
Having established the use of the logic for representing individuals, attention now turns to the problem of constructing predicates that individuals may or may not satisfy. Essentially, all that is required is the definition of a suitable collection of predicates on the type of an individual. However, these predicates are usually built up incrementally by composition and it is this incremental construction that is studied here.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliographical Notes
A.F. Bowers, C. Giraud-Carrier, and J.W. Lloyd. Classification of individuals with complex structure. In P. Langley, editor, Machine Learning: Proceedings of the Seventeenth International Conference (ICML2000), pages 81–88. Morgan Kaufmann, 2000.
A.F. Bowers, C. Giraud-Carrier, and J.W. Lloyd. A knowledge representation framework for inductive learning. http://csl.anu.edu.au/’jwl 2001.
W.W. Cohen. Grammatically biased learning: Learning logic programs using an explicit antecedent description language. Artificial Intelligence, 68: 303–366, 1994.
R. King, S. Muggleton, S. Srinivasan, and M. Sternberg. Structure-activity relationships derived by machine learning: The use of atoms and their bond connectivities to predict mutagenicity in inductive logic programming. Proceedings of the National Academy of Sciences, 93: 438–442, 1996.
J.W. Lloyd. Knowledge representation, computation, and learning in higher-order logic. http://csl.anu.edu.aujwl, 2001.
J.W. Lloyd. Predicate construction in higher-order logic. Elec- tronic Transactions on Artificial Intelligence, 4(2000):21–51, Section B. http://www.ep.liu.se/ej/etai/2000/009/.
S. Muggleton and L. De Raedt. Inductive logic programming: Theory and methods. Journal of Logic Programming, 19 /20: 629–679, 1994.
S.H. Nienhuys-Cheng and R. de Wolf. Foundations of Inductive Logic Programming. Lecture Notes in Artificial Intelligence 1228. Springer, 1997.
A. Srinivasan, R.D. King, and S.H. Muggleton. The role of background knowledge: using a problem from chemistry to examine the performance of an ILP program. Technical Report PRG-TR-08–99, Oxford University Computing Laboratory, 1999.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2003 J. W. Lloyd
About this chapter
Cite this chapter
Lloyd, J.W. (2003). Predicates. In: Logic for Learning. Cognitive Technologies. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-08406-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-08406-9_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-07553-7
Online ISBN: 978-3-662-08406-9
eBook Packages: Springer Book Archive