TAILIEUCHUNG - Báo cáo khoa học: "HORN EXTENDED FEATURE STRUCTURES: FAST UNIFICATION WITH NEGATION AND LIMITED DISJUNCTION"

The notion of a Horn extended feature structure (HoXF) is introduced, which is a feature structure constrained so that its only allowable extensions are those satisfying some set of llorn clauses in featureterm logic, l l o X F ' s greatly generalize ordinary feature structures in admitting explicit representation of negative and implicational constraints. In contradistinction to the general case in which arbitrary logical constraints are allowed (for which the best known algorithms are exponential), there is a highly tractable algorithm for the unification of HoXF's. . | HORN EXTENDED FEATURE STRUCTURES FAST UNIFICATION WITH NEGATION AND LIMITED DISJUNCTION Stephen J. Hegner Department of Computer Science and Electrical Engineering Votey Building University of Vermont Burlington VT 05405 USA telephone 802 656-3330 internet hegner@ uucp .uunetluvm-genlhegner ABSTRACT The notion of a Horn extended feature structure HoXF is introduced which is a feature structure constrained so that its only allowable extensions are those satisfying some set of Horn clauses in featureterm logic. IIoXF s greatly generalize ordinary feature structures in admitting explicit representation of negative and implicational constraints. In contradistinction to the general case in which arbitrary logical constraints are allowed for which the best known algorithms are exponential there is a highly tractable algorithm for the unification of HoXF s. 1. PRELIMINARY CONCEPTS Unification-based grammar formalisms Unification-based grammar formalisms constitute a cornerstone of many of the most important approaches to natural-language understanding Shieber 1986 Colban 1988 Fenstad et al. 1989 . The basic idea is that the parser generates a number of partial representations of the total parse which are subsequently checked for consistency and combined by a second process known as a unifier. A common form of representation for the partial representations is that of feature structures which are record-like data structures which are allowed to grow in three distinct ways by adding missing values by adding attributes and by coalescing existing attributes forcing therti to be the same . The last operation may lead to cyclic structures which we do not exclude. If the feature structure S2 is an extension of Si . Si grows into S2 by application of some sequence of the above rules we write Si c S2 and say that Si subsumes S2- Intuitively if Si c S2 S2 contains more information than does Si. It is easy to show that c is a partial order on the class of all feature .

TỪ KHÓA 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.