Knowledge Representation in LILOG

This paper introduces the knowledge representation language L LILOG . The language is being developed in the framework of the LILOG project and serves for modelling the semantic background knowledge of the LILOG natural language understanding system. Moreover, it is also used as the target language for representing information extracted from German texts in a logical form. The aspects of L LILOG discussed here focus on the sort concept of L LILOG and its means for structuring knowledge bases. The sort concept of L LILOG integrates ideas from the KL-ONE family of languages and other feature term languages having their origin in the area of computational linguistics into the framework of an order-sorted predicate logic. The structuring concept introduced for L LILOG is a simple form of separating logical theories into modules.

[1]  Hector J. Levesque,et al.  KRYPTON: Integrating Terminology and Assertion , 1983, AAAI.

[2]  Christoph Walther,et al.  Many-Sorted Resolution and Paramodulation , 1987 .

[3]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[4]  Arnold Oberschelp.  Untersuchungen zur mehrsortigen Quantorenlogik , 1962 .

[5]  N. Curteanu.  Book Reviews: Lecture on Contemporary Syntactic Theories: An Introduction to Unification-Based Approaches to Grammar , 1987, CL.

[6]  Udo Pletat,et al.  Aspects of Consistency of Sophisticated Knowledge Representation Languages , 1989, Natural Language and Logic.

[7]  Robert T. Kasper,et al.  A Logical Semantics for Feature Structures , 1986, ACL.

[8]  Joseph A. Goguen,et al.  Institutions : abstract model theory for computer science , 1985 .

[9]  Christoph Walther,et al.  A Many-Sorted Calculus Based on Resolution and Paramodulation , 1982, IJCAI.

[10]  Hector J. Levesque,et al.  An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.

[11]  Marc B. Vilain,et al.  The Restricted Language Architecture of a Hybrid Representation System , 1985, IJCAI.

[12]  Gary G. Hendrix,et al.  Encoding Knowledge in Partitioned Networks , 1979 .

[13]  Bernd Owsnicki-Klewe,et al.  Neuere KI-Formalismen zur Repräsentation von Wissen. Eine Fallstudie , 1987, KIFS.

[14]  Hans Uszkoreit,et al.  A Flexible Graph-Unification Formalism and Its Application to Natural-Language Processing , 1988, IBM J. Res. Dev..

[15]  Ipke Wachsmuth,et al.  Zur intelligenten Organisation von Wissensbeständen in künstlichen Systemen , 1989, IWBS Report.

[16]  Drew McDermott,et al.  From PLANNER to CONNIVER: a genetic approach , 1972, AFIPS '72 (Fall, part II).

[17]  P. Patel-Schneider.  Small can be beautiful in knowledge representation , 1984 .