NIGEL Gets To Know Logic

This paper argues for using logic as the internal meaning representation language for natural language generators. We present our efforts in realizing such an interface for the natural language generator NIGEL. The language is a restricted first-order logic enhanced by some non-standard quantifiers. A network knowledge base organizes the concepts of the application domain appearing as predicates in the logical expressions into categories known by the generator. The logical expressions are interpreted by NIGEL using the hybrid knowledge representation system KL-TWO.1

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

[2]  Gunther Kress,et al.  System and Function in Language , 1978 .

[3]  James G. Schmolze,et al.  Classification in the KL-ONE Knowledge Representation System , 1983, IJCAI.

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

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

[6]  William C. Mann,et al.  An Overview of the Penman Text Generation System , 1983, AAAI.

[7]  Gary G. Hendrix,et al.  Expanding the Utility of Semantic Networks Through Partitioning , 1975, IJCAI.

[8]  Paul S Jacobs.  A Knowledge-Based Approach to Language Production , 1985 .

[9]  L. M. Faltz,et al.  Boolean semantics for natural language , 1984 .

[10]  William C. Mann.  Inquiry Semantics: A Functional Semantics of Natural Language Grammar , 1983, EACL.

[11]  Christopher Habel,et al.  Referential Nets With Attributes , 1982, COLING.

[12]  Michael Brady,et al.  Natural Language Generation as a Computational Problem: an Introduction , 1983 .

[13]  Thomas Kaczmarek,et al.  Recent Developments in NIKL , 1986, AAAI.

[14]  Nicholas Rescher,et al.  The Logic of Decision and Action , 1967 .

[15]  Douglas E. Appelt.  TELEGRAM: A Grammar Formalism for Language Planning , 1983, IJCAI.

[16]  Katharina Morik,et al.  Beyond Domain-Independence: Experience With the Development of a German Language Access System to Highly Diverse Background Systems , 1983, IJCAI.

[17]  Stuart C. Shapiro,et al.  Generalized Augmented Transition Network Grammars for Generation from Semantic Networks , 1979, ACL.

[18]  Eduard H. Hovy,et al.  Integrating Text Planning and Production in Generation , 1985, IJCAI.

[19]  T. Kaczmarek,et al.  The Consul/CUE interface: An integrated interactive environment , 1983, CHI '83.