Abstract
We present the principles underlying the knowledge processing concepts of the first LILOG prototype. This is a natural language understanding system for German. The concepts are realized in LLILOG, our knowledge representation language developed from an order-sorted first order predicate logic, that includes concepts for guiding the inference process and for dealing with incomplete information. The reasoning system is based on order-sorted resolution with a theory resolution concept for sorts.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ait-Kaci, H., Nasr, R. (1986): “LOGIN: A Logic Programming Language with Built-in Inheritance”, J. Logic Programming 3, 1986, 185–215.
Beierle, C., Dörre, J., Pietät, U., Schmitt, P. H., Studer, R. (1988): The Knowledge Representation Language Luor, LILOG-Report 4L IBM Germany, Stuttgart, 1988.
Bläsius, K. H., Hedtstück, U. (1988): “Resolution with Feature Unification”, in: “CSL ’87”, Proc. of the 1st Workshop on Computer Science Logic, Karlsruhe, Lecture Notes in Computer Science, Springer-Verlag, Heidelberg et al., No. 329, 1988.
Bollinger, T., Hedtstück, U., Rollinger, C.-R. (1988): “Reasoning in Text Understanding: Knowledge Processing in LILOG”. LILOG-Report 49, IBM Germany, Stuttgart, 1988.
Brachman, R. J., Schmölze, J. G., (1985): “An Overview of the KL-ONE Knowledge Representation System”, Cognitive Science 9 (2), 171–216, 1985.
Cohn, A. G., (1987): “A More Expressive Formulation of Many Sorted Logic”, Journal of Automated Reasoning 3, 1987, 113–200.
Kamp, H. (1981): “A Theory of Truth and Semantic Representation”, in: J. A. Groenendijk: Kamp, H. 1, Amsterdam.
MacNeille, H.M. (1936): “Partially Ordered Sets”, Transactions of the American Mathematical Society, Vol. 42, 416–460.
Reiter, R. (1980): “A Logic for Default Reasoning”, Artificial Intelligence 13, 81–132, 1980.
Schmidt-Schauß, M. (1988): “Computational Aspects of an Order-Sorted Logic with Term Declaration”, Dissertation, University of Kaiserslautern, 1988.
Smolka, G. (1988): “A Feature Logic with Subsorts”, LILOG-Report 33, IBM Germany, Stuttgart, 1988.
Stickel, M.E. (1985): “Automated Deduction by Theory Resolution”, Journal of Automated Reasoning 1 (4), 1985, 333–355.
Uszkoreit, H. (1988): “From Feature Bundles to Abstract Data Types: New Directions in the Representation and Processing of Linguistic Knowledge”, in: Blaser, A. (ed.): Natural Language at the Computer, Lecture Notes in Computer Science, No. 320, Springer- Verlag, Heidelberg et al., 1988.
Walther, C. (1987): “A Many-Sorted Calculus Based on Resolution and Paramodulation”, in Research Notes in Artificial Intelligence, Pitman, London, and Morgan Kaufmann, Los Altos, Calif., 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bollinger, T., Hedtstück, U., Rollinger, CR. (1989). Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype. In: Metzing, D. (eds) GWAI-89 13th German Workshop on Artificial Intelligence. Informatik-Fachberichte, vol 216. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75100-4_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-75100-4_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51743-6
Online ISBN: 978-3-642-75100-4
eBook Packages: Springer Book Archive