A Coalgebraic Modelling of Head-Driven Phrase Structure Grammar

This paper provides a coalgebraic modelling of Head-Driven Phrase Structure Grammar. HPSG is a licensing theory in the sense that grammaticality is defined in terms of abstract grammar principles, well-formedness conditions on linguistic analyses rather then by a set of rules that would explicitely generate an analysis. Since coalgebras are very well suited for modelling licensing theories, we provide a conceptually particularly adequate formalisation for HPSG by showing that HPSG can indeed be modeled with coalgebras. We also show that the category of grammar models contains a final coalgebra. This final coalgebra we propose as the model of an HPSG grammar, because it models the analyses of the structurally different readings of all and only those utterances licensed by the grammar while eliminating spurious ambiguities.

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

[2]  William C. Rounds,et al.  Feature Logics , 1997, Handbook of Logic and Language.

[3]  Gert Smolka,et al.  A Complete and Recursive Feature Theory , 1994, ACL.

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

[5]  Desmond Fearnley-Sander,et al.  Universal Algebra , 1982 .

[6]  Paul John King.  Towards Truth in HPSG , 1999 .

[7]  Benjamin C. Pierce,et al.  Basic category theory for computer scientists , 1991, Foundations of computing.

[8]  Gert Smolka,et al.  Records for Logic Programming , 1994, J. Log. Program..

[9]  P. M. Cohn,et al.  THE METAMATHEMATICS OF ALGEBRAIC SYSTEMS , 1972 .

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

[11]  B. Jacobs,et al.  A tutorial on (co)algebras and (co)induction , 1997 .

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

[13]  Paul John King,et al.  The Complexity of Modellability in Finite and Computable Signatures of a Constraint Logic for Head-Driven Phrase Structure Grammar , 1999, J. Log. Lang. Inf..

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

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

[16]  Jan J. M. M. Rutten,et al.  Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..