Converting Semantic Meta-knowledge into Inductive Bias
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.
KeywordsResource Description Framework Inductive Logic Programming Type Constraint Argument Position Type Hierarchy
Unable to display preview. Download preview PDF.
- 1.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)Google Scholar
- 2.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)Google Scholar
- 3.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)Google Scholar
- 4.McCreath, E.: Induction in First Order Logic from Noisy Training Examples and Fixed Example Set Sizes. PhD Thesis, University Of New South Wales (1999)Google Scholar
- 5.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)Google Scholar
- 7.Lenat, D., Guha, R.: Building Large Knowledge Based Systems: Representations and Inference in the Cyc Project. Addison-Wesley, Reading (1989)Google Scholar