论文信息 - CLG(n): Constraint Logic Grammars

CLG(n): Constraint Logic Grammars

CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for describing phrasal and lexical information and principles of language. Complex constrains can be expressed in a slightly restriced form of first order predicate logic, which makes CLG(2) well suited for expressing, amongst others, HPSG-style of grammars. A sound implementation of the formal semantics of CLG(2) is achieved by resorting to delayed evaluation of non equational constraints.

Nelma Moreira | Luís Damas | Giovanni B. Varile | Sergio Balari

[1] Noam Chomsky,et al. Filters and Control , 1990 .

[2] Robert T. Kasper,et al. A Unification Method for Disjunctive Feature Descriptions , 1987, ACL.

[3] A. Warner,et al. Multiple heads and minor categories in generalized phrase-structure grammar , 1989 .

[4] Lauri Karttunen,et al. Features and Values , 1984, ACL.

[5] Marc Moens,et al. Expressing generalizations in unification-based grammar formalisms , 1989, EACL.

[6] Fernando Pereira,et al. Grammars and Logics of Partial Information , 1987, ICLP.

[7] William C. Rounds,et al. A logic for partially specified data structures , 1987, POPL '87.

[8] Ivan A. Sag,et al. Information-based syntax and semantics , 1987 .

[9] Joxan Jaffar,et al. From Unification to Constraints , 1987, LP.

[10] G. B. Varile,et al. CLG: A Grammar Formalism Based on Constraint Reslution , 1989, EPIA.

[11] Carla Umbach,et al. Views of the Syntax/Semantics Interface Proceedings of the Workshop ``GPSG and Semantics'''', organized by the project KIT-FAST, TU Berlin, Feb. 22-24, 1989 , 1989 .

[12] Mike Rosner,et al. A rich environment for experimentation with unification grammars , 1989, EACL.

[13] William C. Rounds,et al. A Complete Logical Calculus for Record Structures Representing Linguistic Information , 1986, LICS.

[14] Geoffrey K. Pullum,et al. Generalized Phrase Structure Grammar , 1985 .