Catalogue of Artificial Intelligence Techniques
Categories: Inference and Reasoning , Theorem Proving
Author(s): Fausto Giunchiglia, Frank van Harmelen, Robin Boswell
The word `Meta-X' can be read as `X about X'. So, for instance the word `Meta-knowledge' can be read as `knowledge about knowledge', the word `meta-level' as `at a level about another level' and the word `meta-level inference as `inference performed at a level which is about another level'. More generally, when speaking of meta-level inference, we think of the following:
- There are two theories, one (usually called the object theory) which is about a given topic, and another one (usually called the meta-theory) which is about the object theory. The two theories may or may not in general share the same language.
- The inferences performed in the meta-theory are called `meta-level inferences'. In general, the process of carrying on deduction in the meta-theory is called `meta-level inference'.
- contains two occurrences of the unknown ` '.
- Aiello, L. and Levi, G., The uses of metaknowledge in AI sytems Proceedings of ECAI-84 (1984), 705--717.