tailieunhanh - Báo cáo khoa học: "An Attributive Logic of Set Descriptions Set Operations"

This paper provides a model theoretic semantics to feature terms augmented with set descriptions. We provide constraints to specify HPSG style set descriptions, fixed cardinality set descriptions, set-membership constraints, restricted universal role quantifications, set union, intersection, subset and disjointness. A sound, complete and terminating consistency checking procedure is provided to determine the consistency of any given term in the logic. It is shown that determining consistency of terms is a NP-complete problem. . | An Attributive Logic of Set Descriptions and Set Operations Suresh Manandhar HCRC Language Technology Group The University of Edinburgh 2 Buccleuch Place Edinburgh EH8 9LW UK Internet Abstract This paper provides a model theoretic semantics to feature terms augmented with set descriptions. We provide constraints to specify HPSG style set descriptions fixed cardinality set descriptions set-membership constraints restricted universal role quantifications set union intersection subset and disjointness. A sound complete and terminating consistency checking procedure is provided to determine the consistency of any given term in the logic. It is shown that determining consistency of terms is a NP-complete problem. Subject Areas feature logic constraint-based grammars HPSG 1 Introduction Grammatical formalisms such as HPSG Pollard and Sag 1987 Pollard and Sag 1992 and LFG Kaplan and Bresnan 1982 employ feature descriptions Kasper and Rounds 1986 Smolka 1992 as the primary means for stating linguistic theories. However the descriptive machinery employed by these formalisms easily exceed the descriptive machinery available in feature logic Smolka 1992 . Furthermore the descriptive machinery employed by both HPSG and LFG is difficult if not impossible to state in feature based formalisms such as ALE Carpenter 1993 TFS Zajac 1992 and CUF Dorre and Dorna 1993 which augment feature logic with a type system. One such expressive device employed both within LFG Kaplan and Bresnan 1982 and HPSG but is unavailable in feature logic is that of set descriptions. Although various researchers have studied set descriptions with different semantics Rounds 1988 Pollard and Moshier 1990 two issues remain unaddressed. Firstly there has not been any work on consistency checking techniques for feature terms augmented with set descriptions. Secondly for applications within grammatical theories such as the HPSG formalism set descriptions alone are not enough since .

• Báo cáo khoa học
• An Attributive Logic
• Set Descriptions Set Operations
• Suresh Manandhar
• 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