TAILIEUCHUNG - Báo cáo khoa học: "Coupling CCG and Hybrid Logic Dependency Semantics"

Categorial grammar has traditionally used the λ-calculus to represent meaning. We present an alternative, dependency-based perspective on linguistic meaning and situate it in the computational setting. This perspective is formalized in terms of hybrid logic and has a rich yet perspicuous propositional ontology that enables a wide variety of semantic phenomena to be represented in a single meaning formalism. Finally, we show how we can couple this formalization to Combinatory Categorial Grammar to produce interpretations compositionally | Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics ACL Philadelphia July 2002 pp. 319-326. Coupling CCG and Hybrid Logic Dependency Semantics Jason Baldridge ICCS Division of Informatics 2 Buccleuch Place University of Edinburgh Edinburgh UK EH8 9Lw jmb@ Geert-Jan M. Kruijff Universitat des Saarlandes Computational Linguistics Lehrstuhl Uszkoreit Building 17 Postfach 15 11 50 66041 Saarbrucken Germany gj@ Abstract Categorial grammar has traditionally used the A-calculus to represent meaning. We present an alternative dependency-based perspective on linguistic meaning and situate it in the computational setting. This perspective is formalized in terms of hybrid logic and has a rich yet perspicuous propositional ontology that enables a wide variety of semantic phenomena to be represented in a single meaning formalism. Finally we show how we can couple this formalization to Combinatory Categorial Grammar to produce interpretations compositionally. 1 Introduction The A-calculus has enjoyed many years as the standard semantic encoding for categorial grammars and other grammatical frameworks but recent work has highlighted its inadequacies for both linguistic and computational concerns of representing natural language semantics Copestake et al. 1999 Kruijff 2001 . The latter couples a resource-sensitive categorial proof theory Moortgat 1997 to hybrid logic Blackburn 2000 to formalize a dependency-based perspective on meaning which we call here Hybrid Logic Dependency Semantics HLDS . In this paper we situate HLDS in the computational context by explicating its properties as a framework for computational semantics and linking it to Combinatory Categorial Grammar CCG . The structure of the paper is as follows. In 2 we briefly introduce CCG and how it links syntax and semantics and then discuss semantic representations that use indexes to identify subparts of logical forms. 3 introduces HLDS and evaluates it

• Báo cáo khoa học
• Coupling CCG
• Hybrid Logic Dependency Semantics
• Jason Baldridge
• báo cáo khoa học
• mô hình ngôn ngữ
• xử lý ngôn ngữ tự nhiên
• Bài giảng Xử lý ngôn ngữ tự nhiên
• Ngôn ngữ tự nhiên
• Kỹ thuật lập trình
• Xử lý nhập nhằng ngữ nghĩa
• Xử lý ngữ nghĩa
• Xử lý ngôn ngữ
• Natural Language Processing
• Ngôn ngữ lập trình
• Nhập nhằng cấu trúc
• Tri thức về ngôn ngữ
• Mô hình n gram
• Dịch máy
• Phương pháp dịch máy
• Hiểu ngôn ngữ
• Phân tích ngữ nghĩa
• Phân loại tin tự động
• Biểu diễn vị từ
• Thuộc tính về sự kiện
• Thuộc tính về sự kiện
• Mô hình ngôn ngữ Google Book N grams
• Mô hình ngôn ngữ KenLM
• Phương pháp làm mịn
• Tách từ tiếng Việt
• Gán nhãn từ loại
• Phân tích cú pháp
• Nghĩa từ vựng
• Phân giải nhập nhằng từ
• Phân loại văn bản
• Lexical chain
• Phản hồi thông tin
• Bài toán PTCP
• Cấu trúc ngữ pháp
• Phân tích cú pháp xác suất
• CKY kết hợp xác suất
• Văn phạm phi ngữ cảnh xác suất
• Hình thái học