Đang chuẩn bị liên kết để tải về tài liệu:
Báo cáo khoa học: "A LOGICAL SEMANTICS FOR NONMONOTONIC SORTS"

Không đóng trình duyệt đến khi xuất hiện nút TẢI XUỐNG

Suppose we have a feature system, and we wish to add default values in a well-defined way. We might start with Kasper-Rounds logic, and use Reiter's example to form it into a default logic. Giving a node a default value would be equivalent to saying "if it is consistent for this node to have that value, then it does." Then we could use default theories to describe feature structures. The particular feature structure described would be the structure that supports the extension of the default theory. This is, in effect, what the theory of nonmonotonic sorts gives you. This.

TÀI LIỆU LIÊN QUAN

Báo cáo khoa học: "Machine Methods for Proving Logical Arguments Expressed in Englis"

Báo cáo khoa học: "Learning Context-Dependent Mappings from Sentences to Logical Form"

Báo cáo khoa học: "A Logical Basis for the D Combinator and Normal Form in CCG"

Báo cáo khoa học: "Sense-based Interpretation of Logical Metonymy Using a Statistical Method"

Báo cáo khoa học: "Extending Lambek grammars: a logical account of minimalist grammars"

Báo cáo khoa học: "Translating a Unification Grammar with Disjunctions into Logical Constraints"

Báo cáo khoa học: "TRANSLATION BY QUASI LOGICAL FORM TRANSFER"

Báo cáo khoa học: "Logical Form of Complex Sentences in Task-Oriented Dialogues*"

Báo cáo khoa học: "A LOGICAL SEMANTICS FOR NONMONOTONIC SORTS"

Báo cáo toán học: "Partition Identities I Sandwich Theorems and Logical 0–1 Laws"
Đã 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.