Zusammenfassung
L LILOG ist eine sehr mächtige Sprache, vielleicht zu mächtig, um effizient implementiert werden zu können. Die aktuelle Implementierung von L LILOG, d.h. L LILOG-Compiler und Inferenzmas-chine mit Subsumtionschecker und Beweiser, realisiert nur einen Teil von L LILOG. In manchen Punkten ist sie sogar inkorrekt.
In diesem Aufsatz soll auf einige dieser Lücken eingegangen werden und Vorschläge gemacht werden, wie diese Lücken beseitigt werden können.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Bollinger, T., Lorenz, S. und Pletat, U. The LILOG Inference Engine. In: Herzog, O. und Rollinger, C.-R., Hrsg., Text Understanding in LILOG: Integrating Computational Linguistics and Artifical Intelligence, Lecture Notes in Artifical Intelligence 546. Springer-Verlag, Berlin, 1991.
Bollinger, T. und Pletat, U. Knowledge in Operation. IWBS Report 165, IBM Deutschland, 1991.
Bollinger, T. und Pletat, U. The LILOG Knowledge Representation System. SIGART Bulletin, Special Issue on Implemented Knowledge Representation and Reasoning Systems, 2(3):22–27, Juni 1991.
Bollinger, T. A Model Elimination Calculus for Generalized Clauses. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sydney, Australia, 1991. Morgan Kaufmann.
Lenat, D. und Guha, R. The Evolution of Cycl, The Cyc Representation Language. SIGART Bulletin, Special Issue on Implemented Knowledge Representation and Reasoning Systems, 2(3):84–87, Juni 1991.
Loveland, D. Automated Theorem Proving: A Logical Basis, Band 6 der Fundamental Studies in Computer Science. North-Holland, New York, 1978.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bollinger, T. (1992). Verarbeitung von L LILOG — Theorie und Praxis oder Was kann man noch besser machen bei der Verarbeitung von L LILOG?. In: Klose, G., Lang, E., Pirlein, T. (eds) Ontologie und Axiomatik der Wissensbasis von LILOG. Informatik-Fachberichte, vol 307. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77387-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-77387-7_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55306-9
Online ISBN: 978-3-642-77387-7
eBook Packages: Springer Book Archive