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.
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