Talking about Trees and Truth-Conditions

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies thatgrammatical object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input.

[1]  Aravind K. Joshi,et al.  Mathematical and computational aspects of lexicalized grammars , 1990 .

[2]  Masaru Tomita,et al.  Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems , 1985 .

[3]  Masaru Tomita,et al.  Efficient parsing for natural language , 1985 .

[4]  Robin Cooper,et al.  Quantification and Syntactic Theory , 1983 .

[5]  James Rogers,et al.  A Model-Theoretic Framework for Theories of Syntax , 1996, ACL.

[6]  K. Vijay-Shanker,et al.  Using Descriptions of Trees in a Tree Adjoining Grammar , 1992, Comput. Linguistics.

[7]  Michael Bennett,et al.  Questions in Montague grammar , 1979 .

[8]  Reinhard Muskens.  Order-independence and underspecification , 1995 .

[9]  David J. Weir,et al.  D-Tree Grammars , 1995, ACL.

[10]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[11]  Tom Cornell.  On Determining the Consistency of Partial Descriptions of Trees , 1994, ACL.

[12]  Emiel Krahmer,et al.  Description theory, LTAGs and underspecified semantics , 1998, TAG+.

[13]  Richard Montague,et al.  ENGLISH AS A FORMAL LANGUAGE , 1975 .

[14]  R. May.  The grammar of quantification , 1978 .

[15]  R. Reiter,et al.  IJCAI-91: proceedings of the twelfth International Joint Conference on Artificial Intelligence : Darling Harbour, Sydney, Australia, 24-30 august 1991 , 1991 .

[16]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[17]  XTAG Research Group,et al.  A Lexicalized Tree Adjoining Grammar for English , 1998, ArXiv.

[18]  Anne Abeillé,et al.  A Lexicalized Tree Adjoining Grammar for English , 1990 .

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

[20]  Patrick Blackburn,et al.  Modal Logic and Model-Theoretic Syntax , 1997 .

[21]  Uwe Reyle,et al.  Dealing with Ambiguities by Underspecification: Construction, Representation and Deduction , 1993, J. Semant..

[22]  I. I. N. Kamp.  Combining Montague Semantics and Discourse Representation , 1996 .

[23]  J.F.A.K. van Benthem,et al.  "Situations, Language and Logic" , 1987 .

[24]  Rolf Backofen,et al.  A first-order axiomatization of the theory of finite trees , 1995, J. Log. Lang. Inf..

[25]  Tomek Strzalkowski,et al.  From Discourse to Logic , 1991 .

[26]  Mitchell P. Marcus,et al.  D-Theory: Talking about Talking about Trees , 1983, ACL.

[27]  Claire Gardent,et al.  Talking About Trees , 1993, EACL.

[28]  Lawrence S. Moss.  Exploring Logical Dynamics, Johan van Benthem , 2000, J. Log. Lang. Inf..

[29]  Bonnie L. Webber,et al.  Describing discourse semantics , 1998, TAG+.

[30]  Reinhard Muskens.  Underspecified Semantics ∗ , 1999 .

[31]  Aravind K. Joshi,et al.  Tree Adjunct Grammars , 1975, J. Comput. Syst. Sci..

[32]  P. Blackburn.  Modal Logic and Attribute Value Structures , 1993 .

[33]  Mark Johnson.  Logic and Feature Structures , 1991, IJCAI.

[34]  John Nerbonne,et al.  Constraint-based semantics , 1992 .

[35]  Mark Hepple.  On some similarities between D-tree grammars and type-logical grammars , 1998, TAG+.

[36]  Bonnie Webber,et al.  Multiple Discourse Connectives in a Lexicalized Grammar For Discourse , 2001 .