Parsing Natural Language using LDS: A Prototype

This paper describes a prototype implementation of a Labelled Deduction System for natural language interpretation (Gabbay and Kempson 1992), where interpretation is taken to be the process of understanding a natural language utterance. The implementation models the process of understanding wh-gap dependencies in questions and relative clauses for a fragment of English. The paper is divided in three main sections. In section 1, we introduce the basic architecture of the system. Section 2 outlines a prototype implementation of wh-binding and indicates its potential for explanation of linguistic phenomena, and in Section 3 we briefly set the model within a larger theoretical perspective, comparing it to other type-logical approaches to natural language analysis.Article

[1]  Fernando Pereira,et al.  Definite clause grammars for language analysis , 1986 .

[2]  Mark Hepple,et al.  Hybrid Categorial Logics , 1995, Log. J. IGPL.

[3]  Dov M. Gabbay,et al.  Interest Group in Pure and Applied Logics , 1995 .

[4]  D. Gabbay,et al.  Indefinites as Epsilon Terms: A Labelled Deduction Account , 1997 .

[5]  Glyn Morrill,et al.  Clausal Proofs and Discontinuity , 1995, Log. J. IGPL.

[6]  Mark Hepple,et al.  The grammar and processing of order and dependency : a categorial approach , 1990 .

[7]  Dick Oehrle,et al.  Some 3-Dimensional Systems of Labelled Deduction , 1995, Log. J. IGPL.

[8]  Michael Moortgat.  Multimodal Linguistic Inference , 1995, Log. J. IGPL.

[9]  Dov M. Gabbay,et al.  Fibred semantics for feature-based grammar logic , 1996, J. Log. Lang. Inf..

[10]  David Milward.  Incremental Interpretation of Categorial Grammar , 1995, EACL.

[11]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[12]  Richard T. Oehrle,et al.  Term-labeled categorial type systems , 1994 .

[13]  Dov M. Gabbay,et al.  Natural-Language Content: A Proof-Theoretic Perspective , 1992 .

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

[15]  Paul M. Postal,et al.  Remarks on weak crossover effects , 1993 .

[16]  Joseph E. Aoun.  'Wh'- elements in situ: syntax or lF? , 1993 .

[17]  David Milward,et al.  Dynamic dependency grammar , 1994 .

[18]  Glyn Morrill,et al.  Type Logical Grammar: Categorial Logic of Signs , 1994 .

[19]  David R. Dowty.  Thematic proto-roles and argument selection , 1991 .

[20]  Edward L. Keenan,et al.  In The Handbook of Contemporary Semantic Theory. 1996. Shalom Lappin (ed). Blackwell The Semantics of Determiners , 1996 .

[21]  Dov M. Gabbay,et al.  Labelled abduction and relevance reasoning , 1994 .

[22]  John Robert Ross,et al.  Constraints on variables in syntax , 1967 .

[23]  Seth Kulick,et al.  Partial Proof Trees as Building Blocks for a Categorial Grammar , 1997 .