On Expressing Lexical Generalizations in HPSG

This paper investigates the status of the lexicon and the possibilities for expressing lexical generalizations in the paradigm of Head-Driven Phrase Structure Grammar (HPSG). We illustrate that the architecture readily supports the use of implicational principles to express generalizations over a class of word objects. A second kind of lexical generalizations expressing relations between classes of words is often expressed in terms of lexical rules. We show how lexical rules can be integrated into the formal setup for HPSG developed by King (1989, 1994), investigate a lexical rule specification language allowing the linguist to only specify those properties which are supposed to differ between the related classes, and define how this lexical rule specification language is interpreted. We thereby provide a formalization of lexical rules as used in HPSG.

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

[2]  Matthew L. Ginsberg,et al.  Readings in Nonmonotonic Reasoning , 1987, AAAI 1987.

[3]  Walt Detmar Meurers,et al.  Lexical Generalizations in the Syntax of German Non-Finite Constructions , 1999 .

[4]  Gerald Penn,et al.  A Formal Interpretation of Relations and Quantification in HPSG , 1999 .

[5]  Thilo Götz,et al.  Feature constraint grammars , 1999 .

[6]  Paola Monachesi,et al.  A Lexical Approach to Italian Cliticization , 1999 .

[7]  Mark Johnson,et al.  Attribute-value logic and the theory of grammar , 1988 .

[8]  Walt Detmar Meurers,et al.  Compiling HPSG Type Constraints into Definite Clause Programs , 1995, ACL.

[9]  Erhard W. Hinrichs,et al.  Studies in Contemporary Phrase Structure Grammar: Partial VP and split NP topicalization in German: an HPSG analysis , 2000 .

[10]  Bob Carpenter,et al.  The logic of typed feature structures , 1992 .

[11]  Ivan A. Sag,et al.  French Clitic Movement Without Clitics or Movement , 1997 .

[12]  Dale Gerdemann,et al.  The Correct and Efficient Implementation of Appropriateness Specifications for Typed Feature Structures , 1994, COLING.

[13]  Paul John King,et al.  An Expanded Logical Formalism for Head-Driven Phrase Structure Grammar , 1994 .

[14]  Gosse Bouma,et al.  Satisfying Constraints on Extraction andAdjunction , 2001 .

[15]  Ted Briscoe,et al.  Order independent and persistent typed default unification , 1996 .

[16]  Drew McDermott,et al.  Artificial intelligence meets natural stupidity , 1976, SGAR.

[17]  Noam Chomsky,et al.  वाक्यविन्यास का सैद्धान्तिक पक्ष = Aspects of the theory of syntax , 1965 .

[18]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[19]  Gertjan van Noord,et al.  Adjuncts and the Processing of Lexical Rules , 1994, COLING.

[20]  Bob Carpenter,et al.  The Generative Power of Categorial Grammars and Head-Driven Phrase Structure Grammars with Lexical Rules , 1991, Comput. Linguistics.

[21]  Frank Richter,et al.  A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar , 2000 .

[22]  Walt Detmar Meurers,et al.  Interleaving universal principles and relational constraints over typed feature logic , 1997 .

[23]  D. Flickinger.  Lexical rules in the hierarchical lexicon , 1989 .

[24]  Walt Detmar Meurers,et al.  The ConTroll System as Large Grammar Development Platform , 1997, Workshop On Computational Environments For Grammar Development And Linguistic Engineering.

[25]  I. Sag.  English relative clause constructions , 1997, Journal of Linguistics.

[26]  John Haugeland.  Mind design , 1985 .

[27]  Tilman N. Höhle.  Lexikalistische Syntax : die Aktiv-Passiv-Relation und andere Infinitkonstruktionen im Deutschen , 1978 .

[28]  Ted Briscoe,et al.  Lexical rules in constraint based grammars , 1999, CL.

[29]  Detmar MeurersSonderforschungsbereich.  Towards a Semantics for Lexical Rulesas used in HPSGWalt , 1995 .

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

[31]  McDermottDrew.  Artificial intelligence meets natural stupidity , 1976 .

[32]  Walt Detmar Meurers.  On Implementing an HPSG theory - Aspects of the logical architecture, the formalization, and the implementation of head-driven phrase structure grammars , 1994, ArXiv.

[33]  Tilman N. Hohle.  The complement extraction lexical rule and variable argument raising , 1995 .

[34]  Gosse Bouma,et al.  Constraints and resources in Natural Language Syntax and Semantics , 1999 .

[35]  Ivan A. Sag,et al.  Information-Based Syntax and Semantics: Volume 1, Fundamentals , 1987 .

[36]  Walt Detmar Meurers,et al.  Word Formation in Lexical Type Hierarchies { a Case Study of Bar-adjectives in German { , 1993 .

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

[38]  Ivan A. Sag,et al.  Book Reviews: Head-driven Phrase Structure Grammar and German in Head-driven Phrase-structure Grammar , 1996, CL.

[39]  Mike Calcagno.  Lexical Rules in HPSG: What are they? , 2001 .

[40]  Alex Lascarides,et al.  Default Representation in Constraint-based Frameworks , 1999, Comput. Linguistics.

[41]  Dale Gerdemann,et al.  Open and Closed World Types in NLP Systems , 1995 .

[42]  Gert Smolka,et al.  A Feature Logic with Subsorts , 1988, LILOG-Report.

[43]  Thilo Gotz.  A Normal Form For Typed Feature Structures , 1994 .

[44]  Walt Detmar Meurers,et al.  A Computational Treatment of Lexical Rules in HPSG as Covariation in Lexical Entries , 1997, CL.

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

[46]  Donald Michie,et al.  Machine Intelligence 4 , 1970 .

[47]  Walt Detmar Meurers.  On Partial Constituent Fronting in German , 2001 .

[48]  Kenneth S. Murray.  Learning as knowledge integration , 1995, UTCS publications.

[49]  Walt Detmar Meurers.  Using lexical principles in HPSG to generalize over valence properties , 1997 .

[50]  H. Aït-Kaci.  A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification) , 1984 .