Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Luận Văn - Báo Cáo
Báo cáo khoa học
Báo cáo khoa học: "ON DETERMINING THE CONSISTENCY OF PARTIAL DESCRIPTIONS OF TREES"
Đang chuẩn bị liên kết để tải về tài liệu:
Báo cáo khoa học: "ON DETERMINING THE CONSISTENCY OF PARTIAL DESCRIPTIONS OF TREES"
Ðức Khải
63
8
pdf
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
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@ccit.arizona.edu 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
TÀI LIỆU LIÊN QUAN
Báo cáo khoa học: "Determining the Specificity of Terms using Compositional and Contextual Information"
Báo cáo khoa học: "An Unsupervised Model for Statistically Determining Coordinate Phrase Attachment"
Báo cáo khoa học: "ON DETERMINING THE CONSISTENCY OF PARTIAL DESCRIPTIONS OF TREES"
Báo cáo khoa hoc:" Application of a biotin functionalized QD assay for determining available binding sites on electrospun nanofiber membrane"
báo cáo khoa học: " Determining research knowledge infrastructure for healthcare systems: a qualitative study"
báo cáo khoa học: " Multiple evidence for the role of an Ovate-like gene in determining fruit shape in pepper"
Báo cáo toán học: "On the determining number and the metric dimension of graphs"
Báo cáo y học: " Determining relevant cortisol concentrations in critically ill patients"
Báo cáo y học: "Determining promoter location based on DNA structure first-principles calculations"
Báo cáo toán học: "Sets of Points Determining Only Acute Angles and Some Related Colouring Problems"
crossorigin="anonymous">
Đã 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.