Abstract
The Cyc KB has a rich pre-existing ontology for representing common sense knowledge. To clarify and enforce its terms’ semantics and to improve inferential efficiency, the Cyc ontology contains substantial meta-level knowledge that provides definitional information about its terms, such as a type hierarchy. This paper introduces a method for converting that meta-knowledge into biases for ILP systems. The process has three stages. First, a “focal position” for the target predicate is selected, based on the induction goal. Second, the system determines type compatibility or conflicts among predicate argument positions, and creates a compact, efficient representation that allows for syntactic processing. Finally, mode declarations are generated, taking advantage of information generated during the first and second phases.
Distribution Statement A: Approved for public release; distribution is unlimited.
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
Tausend, B.: Biases and their Effects in Inductive Logic Programming. In: Bergadano, F., De Raedt, L. (eds.) ECML 1994. LNCS, vol. 784, pp. 431–434. Springer, Heidelberg (1994)
Tausend, B.: Representing Biases for Inductive Logic Programming. In: Bergadano, F., De Raedt, L. (eds.) ECML 1994. LNCS, vol. 784, pp. 427–430. Springer, Heidelberg (1994)
Nedellec, C., Rouveirol, C., Ade, H., Bergadano, F., Tausend, B.: Declarative Bias in ILP. In: De Raedt, L. (ed.) Advances in Inductive Logic Programming, pp. 82–103. IOS Press, Amsterdam (1996)
McCreath, E.: Induction in First Order Logic from Noisy Training Examples and Fixed Example Set Sizes. PhD Thesis, University Of New South Wales (1999)
McCreath, E., Sharma, A.: Extraction of Meta-Knowledge to Restrict the Hypothesis Space for ILP Systems. In: Yao, X. (ed.) Eighth Australian Joint Conference on Artificial Intelligence, pp. 75–82. World Scientific Publishing, Singapore (1995)
Di Mauro, N., Esposito, F., Ferilli, S., Basile, T.M.A.: An Algorithm for Incremental Mode Induction. In: Orchard, B., Yang, C., Ali, M. (eds.) IEA/AIE 2004. LNCS (LNAI), vol. 3029, pp. 512–522. Springer, Heidelberg (2004)
Lenat, D., Guha, R.: Building Large Knowledge Based Systems: Representations and Inference in the Cyc Project. Addison-Wesley, Reading (1989)
Muggleton, S.H.: Inverse Entailment and Progol. New Generation Computing 13, 245–286 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cabral, J., Kahlert, R.C., Matuszek, C., Witbrock, M., Summers, B. (2005). Converting Semantic Meta-knowledge into Inductive Bias. In: Kramer, S., Pfahringer, B. (eds) Inductive Logic Programming. ILP 2005. Lecture Notes in Computer Science(), vol 3625. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11536314_3
Download citation
DOI: https://doi.org/10.1007/11536314_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28177-1
Online ISBN: 978-3-540-31851-4
eBook Packages: Computer ScienceComputer Science (R0)