TAILIEUCHUNG - Báo cáo khoa học: "The Semantics of Grammar Formalisms Seen as Computer Languages"

The design, implementation, and use of grammar forma]isms for natural language have constituted a major branch of coml)utational linguistics throughout its development. By viewing grammar formalisms as just a special ease of computer languages, we can take advantage of the machinery of denotational semantics to provide a precise specification of their meaning. Using Dana Scott's domain theory, we elucidate the nature of the feature systems used in augmented phrase-structure grammar formalisms, in particular those of recent versions of generalized phrase structure grammar, lexical functional grammar and PATRI1, and provide a (lcnotational semantics for a simple grammar formalism. . | The Semantics of Grammar Formalisms Seen as Computer Languages Fernando c. N. Pereira and Stuart M. Shieber Artificial Intelligence Center SRI International and Center for the Study of Language and Information Stanford University Abstract The design implementation and use of grammar formalisms for natural language have constituted a major branch of computational linguistics throughout its development. By viewing grammar formalisms as just a special case of computer languages we can take advantage of the machinery of denotational semantics to provide a precise specification of their meaning. Using Dana Scott s domain theory we elucidate the nature of the feature systems used in augmented phrase-structure grammar formalisms in particular those of recent versions of generalized phrase structure grammar lexical functional grammar and PATR-II and provide a denotational semantics for a simple grammar formalism. We find that the mathematical structures developed for this purpose contain an operation of feature generalization not available in those grammar formalisms that can be used to give a partial account of the effect of coordination on syntactic features. 1. Introduction1 The design implementation and use of grammar formalisms for natural language have constituted a major branch of computational linguistics throughout its development. However notwithstanding the obvious superficial similarity between designing a grammar formalism and designing a programming language the design techniques used for grammar formalisms have almost always fallen short with respect to those now available for programming language design. Formal and computational linguists most often explain the effect of a grammar formalism construct either by example or through its actual operation in a particular implementation. Such practices are frowned upon by most programming-language designers they become even more dubious if one considers that most grammar formalisms in use are based either on a .

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.