TAILIEUCHUNG - Báo cáo khoa học: "ON DETERMINING THE CONSISTENCY OF PARTIAL DESCRIPTIONS OF TREES"

We examine the consistency problem for descriptions of trees based on remote dominance, and present a consistency-checking algorithm which is polynomial in the number of nodes in the description, despite disjunctions inherent in the theory of trees. The resulting algorithm allows for descriptions which go beyond sets of atomic formulas to allow certain types of disjunction and negation. collections to be combined contain contradictory information. | ON DETERMINING THE CONSISTENCY OF PARTIAL DESCRIPTIONS OF TREES Thomas L. Cornell Cognitive Science Program University of Arizona Tucson AZ 85721 cornell@ Abstract1 We examine the consistency problem for descriptions of trees based on remote dominance and present a consistency-checking algorithm which is polynomial in the number of nodes in the description despite disjunctions inherent in the theory of trees. The resulting algorithm allows for descriptions which go beyond sets of atomic formulas to allow certain types of disjunction and negation. INTRODUCTION In Marcus Hindle Fleck 1983 the authors proposed an approach to syntactic tree structures which took the primary structural relation to be remote dominance rather than immediate dominance. Recently researchers have shown a revived interest in variants of Marcus et al. s D-Theory most likely due to the availability of approaches and techniques developed in the study of feature structures and their underlying logics. For example both Rogers Vijay-Shanker 1992 and Cornell 1992 present formal treatments of many notions which Marcus et al. 1983 treated only informally and incompletely. Furthermore work on the psycholinguistic implications of this approach has continued apace Weinberg 1988 Gorrell 1991 Marcus Hindle 1990 making all the more necessary sustained foundational work in the theory of description-based tree-building applications parsers generators etc. This paper addresses one particular problem that arises in this approach to tree building. As with feature-structures the essential operation here is the combination of two collections of partial information about the syntactic structure of an expression. It may happen that the two 1 Many thanks to Dick Oehrle Ed Stabler Drew Moshier and Mark Johnson for comments discussion and encouragement. Theirs the gratitude mine the fault. collections to be combined contain contradictory information. For example one might contain the assertion that node

• Báo cáo khoa học
• ON DETERMINING THE CONSISTENCY
• PARTIAL DESCRIPTIONS OF TREES
• Thomas L
• Cornell
• 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