TAILIEUCHUNG - 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

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.