TAILIEUCHUNG - Báo cáo khoa học: "TRANSLATING ENGLISH INTO LOGICAL FORM"

A scheme for syntax-directed translation that mirrors compositional model-theoretic semantics is discussed. The scheme is the basis for an English translation system called PArR and was used to specify a semantically interesting fragment of English, including such constructs as tense, aspect, modals, and various iexically controlled verb complement structures. PATR was embedded in a question-answering system that replied appropriately to questions requiring the computation of logical entailments. . | TRANSLATING ENGLISH INTO LOGICAL FORM Stanley J. Rosenschein Stuart M. Shieber Artificial Intelligence Center SRI International 333 Ravenswood Avenue Menlo Park CA 94025 ABSTRACT A scheme for syntax-directed translation that mirrors compositional model-theoretic semantics is discussed. The scheme is the basis for an English translation system called PATR and was used to specify a semantically interesting fragment of English including such constructs as tense aspect modals and various lexically controlled verb complement structures PATR was embedded in a question-answering system that replied appropriately to questions requiring the computation of logical entailments. I INTRODUCTION When contemporary linguists and philosophers speak of semantics they usually mean model-theoretic semantics mathematical devices for associating truth conditions with sentences. Computational linguists on the other hand often use the term semantics to denote a phase of processing in which a data structure . a formula or network is constructed to represent the meaning of a sentence and serve as input to later phases of processing. A better name for this process might be translation or transduction. Whether one takes semantics to be about model theory or translation the fact remains that natural languages are marked by a wealth of complex constructions such as tense aspect moods plurals modality ad-verbials degree terms and sentential complements that make semantic specification a complex and challenging endeavor. Computer scientists faced with the problem of managing software complexity have developed strict design disciplines in their programming methodologies. One might speculate that a similar requirement for manageability has led linguists since Montague at least to follow a discipline of strict compositionality in semantic specification even though model-theoretic semantics per se does not demand it. Compositionality requires that the meaning of a phrase be a function of the .

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.