TAILIEUCHUNG - Báo cáo khoa học: "A UNIFICATION-BASED SEMANTIC INTERPRETATION FOR COORDINATE CONSTRUCTS"

This paper shows that a first-order unificationbased semantic interpretation for various coordinate constructs is possible without an explicit use of lambda expressions if we slightly modify the standard Montagovian semantics of coordination. This modification, along with partial execution, completely eliminates the lambda reduction steps during semantic interpretation. | A UNIFICATION-BASED SEMANTIC INTERPRETATION FOR COORDINATE CONSTRUCTS Jong c. Park University of Pennsylvania Computer and Information Science 200 South 33rd Street Philadephia PA 19104-6389 USA Internet parkQlinc. . edu Abstract This paper shows that a first-order unificationbased semantic interpretation for various coordinate constructs is possible without an explicit use of lambda expressions if we slightly modify the standard Montagovian semantics of coordination. This modification along with partial execution completely eliminates the lambda reduction steps during semantic interpretation. 1 Introduction Combinatory Categorial Grammar CCG has been offered as a theory of coordination in natural language Steedman 1990 . It has usually been implemented in languages based on first order unification. Moore 1989 however has pointed out that coordination presents problems for first-order unification-based semantic interpretation. We show that it is possible to get over the problem by compiling the lambda reduction steps that are associated with coordination in the lexicon. We show how our first-order unification handles the following examples of coordinate constructs. Harry walks and every farmer walks. A farmer walks and talks. A farmer and every senator talk. Harry finds and a woman cooks a mushroom. Mary gives every dog a bone and some policeman a flower. We will first start with an illustration of why standard Montagovian semantics of coordination cannot be immediately rendered into a first-order unification strategy. The lexicon must contain multiple entries for the single lexical item and since only like categories are supposed to conjoin. For example the lexical entry for and in specifies the constraint that the lexical item should expect on both sides sentences to give a sentence. Moore 1989 predicts that a unification-based semantic interpretation for sentences which involve for example noun phrase coordination won t be .

• Báo cáo khoa học
• A UNIFICATION BASED
• SEMANTIC INTERPRETATION
• COORDINATE CONSTRUCTS
• 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