tailieunhanh - Báo cáo khoa học: "Geometry of Lexico-Syntactic Interaction"

Interaction of lexical and derivational semantics---for example substitution and lambda conversion--- is typically a part of the on-line interpretation process. Proof-nets are to categorial grammar what phrase markers are to phrase structure grammar: unique graphical structures underlying equivalence classes of sequential syntactic derivations; but the role of proof-nets is deeper since they integrate also semantics. In this paper we show how interaction of lexical and derivational semantics at the lexico-syntactic interface can be precomputed as a process of off-line lexical compilation comprising Cut elimination in partial proof-nets. . | Proceedings of EACL 99 Geometry of Lexico-Syntactic Interaction Glyn Morrill Departament de Llenguatges i Sistemes Informatics Universitat Politècnica de Catalunya Jordi Girona Salgado 1-3 E-08034 Barcelona morrill @ Isi .upc .es Abstract Interaction of lexical and derivational semantics for example substitution and lambda conversion is typically a part of the on-line interpretation process. Proof-nets are to categorial grammar what phrase markers are to phrase structure grammar unique graphical structures underlying equivalence classes of sequential syntactic derivations but the role of proof-nets is deeper since they integrate also semantics. In this paper we show how interaction of lexical and derivational semantics at the lexico-syntactic interface can be precomputed as a process of off-line lexical compilation comprising Cut elimination in partial proof-nets. Introduction Consider the following examples of paraphrase 1 a. b. c. Frodo lives in Bag End. Frodo inhabits Bag End. in b live f 2 a. John tries to find Mary. b. John seeks Mary. c. try find m j Typically for at least lb and 2b the normalised semantic forms result from a process of substitution and lambda conversion subsequent to or simultaneous with syntactic derivation. We show how such interaction of lexical and derivational semantics at the lexico-syntactic interface can be precomputed as a process of off-line lexical compilation comprising Cut elimination in partial proof-nets. For accessibility we devote in the initial sections a considerable proportion of space to an introduction to categorial grammar oriented towards proof-nets see also Morrill 1994 Moortgat 1996 and Carpenter 1997 . 1 Categorial grammar We consider categorial grammar with category formulas F categories defined by the following grammar 3 a. F A F F F F F F b. A s I N I CN I pp I . The categories in A are referred to as atomic and correspond to the kinds of expressions which are considered to be complete . Fairly uncontroversially