Abstract
Investigations in the context of the LILOG project have shown that a knowledge based control of the inference engine may lead to significant improvements in efficiency. The object is to allow the specification of knowledge (metaknowledge) about the intended use of the real knowledge (object knowledge). For that purpose a special control language has been designed allowing the specification of metaknowledge, which is used by the inference engine for an immediate control of its inference steps. By that, a partial control of the knowledge processing is possible. The basis for the development of the actual control language was an analysis of different kinds of metaknowledge which have turned out to be important within the LILOG context. These different kinds of metaknowledge also demand different procedures for interpretation. In this paper the different kinds of metaknowledge are presented by means of several examples, from which we derive certain elements of the control language for the inference engine.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bläsius K.H., Rollinger C.-R., Siekmann J.-H. (1990): Structure and control of the L-LILOG inference system. In: Bläsius K.H., Hedtstück U., Rollinger C.-R. (eds): Sorts and Types in Artificial Intelligence. Lecture Notes in Artificial Intelligence, Vol. 418, Springer-Verlag, Berlin, Heidelberg, pp. 165–182
Bollinger T., Hedtstück U., Rollinger C.-R. (1989): Reasoning for text understanding — Knowledge processing in the 1st LILOG prototype. In: Metzing (ed): GWAI-89 13th German Workshop on Artificial Intelligence, Informatik Fachberichte 216, Springer-Verlag, Berlin, Heidelberg, pp. 203–212
Eberle K. (1989): Quantifikation, Plural, Ereignisse und ihre Argumente in einer mehrsortigen Sprache der Prädikatenlogik erster Stufe. IWBS Report 67, IBM Deutschland, Stuttgart
Emde W., Schmiedel A. (1983): Aspekte der Verarbeitung unsicheren Wissens. KIT-Report 6, TU Berlin, FB Informatik, Berlin
Klabunde K. (1989): Erweiterung der Wissensrepräsentationssprache L-LILOG um Konstrukte zur Spezifikation von Kontrollinformation. IWBS Report 92, IBM Deutschland, Stuttgart
Kowalski R. (1975): A proof procedure using connection graphs. Journal of ACM, 22 (4)
Müller M. (1990): Implementierung und Integration von Verfahren zur wissensbasierten Steuerung der LELOG-Inferenzmaschine. Diplomarbeit, Fachhochschule Dortmund
Pletat U., v. Luck K. (1990): Knowledge representation in LILOG. In: Bläsius K.H., Hedtstück U., Rollinger C.-R. (eds): Sorts and Types in Artificial Intelligence. Lecture Notes in Artificial Intelligence, Vol. 418, Springer-Verlag, Berlin, Heidelberg, pp. 140–164
Robinson J.A. (1965): A machine oriented logic based on the resolution principle. Journal of ACM, 12(1): pp. 23–41
Röhrig R. (1991): Kommentar zu Verarbeitung von L-LILOG — Theorie und Praxis. In: Klose G., Lang E., Pirlein T. (eds.): Die Ontologie und Axiomatik der Wissensbank von LEU/2. IWBS Report 171, IBM Deutschland, Stuttgart, pp. IX–11–IX–14
Schmiedel A. (1984): Eine Inferenzmaschine zur Verarbeitung unsicheren Wissens. In: Rollinger C. (eds.): Probleme des (Text-) Verstehens. Niemeyer-Verlag, Tübingen
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bläsius, K.H. (1991). Knowledge based control of the LILOG inference engine: Kinds of metaknowledge. In: Herzog, O., Rollinger, CR. (eds) Text Understanding in LILOG. Lecture Notes in Computer Science, vol 546. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54594-8_73
Download citation
DOI: https://doi.org/10.1007/3-540-54594-8_73
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54594-1
Online ISBN: 978-3-540-38493-9
eBook Packages: Springer Book Archive