Đang chuẩn bị liên kết để tải về tài liệu:
Báo cáo khoa học: "EXPRESSING DISJUNCTIVE AND NEGATIVE FEATURE CONSTRAINTS CLASSICAL FIRST-ORDER LOGIC"

Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ

Attributes are partial: it need not be the case that every attribute is d ef!ned for every complex element. The set of attribute-value structures partially ordered by the subsumption relation (together with all additional entity T that every attribute-value structure subsumes) forms a lattice, and the join operation on this lattice is called the unification operati(m 119]. Example: (from [16]). The attribute-value structure (1) has six complex elements labelled el . e6 and two corastant elements, singular and third. . | Expressing Disjunctive and Negative Feature Constraints with Classical First-Order Logic. Mark Johnson Cognitive and Linguistic Sciences Box 1978 Brown University Providence RI02912. mj@cs.brown.edu Abstract In contrast to the designer logic approach this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatized in classical first-order logic which can express disjunctive and negative constraints. Because only quantifier-free formulae are used in the axiomatization the satisfiability problem is ÍAỂP-complete. Introduction Many modern linguistic theories such as Lexical-Functional Grammar 1 Functional Unification Grammar 12 Generalized PhraseStructure Grammar 6 Categorial Unification Grammar 20 and Head-driven PhraseStructure Grammar 18 replace the atomic categories of a context-free grammar with a feature structure that represents the syntactic and semantic properties of the phrase. These feature structures are specified in terms of constraints that they must satisfy. Lexical entries constrain the feature structures that can be associated with terminal nodes of the syntactic tree and phrase structure rules simultaneously constrain the feature structures that can be associated with a parents and its immediate descendants. The tree is well-formed if and only if all of these constraints are simultaneously satisfiable. Thus for the purposes of recognition a method for determining the satisfiability of such constraints is required the nature of the satisfying feature structures is of secondary importance. Most work on unification-based grammar including the references cited above has adopted a type of feature structure called an attribute-value structure. The elements in an attribute-value structure come in two kinds constant elements and complex elements. Constant elements are atomic entities with no internal structure i.e. they have no attributes. Complex elements have zero or more attributes whose values

TÀI LIỆU LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã 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.