Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Luận Văn - Báo Cáo
Báo cáo khoa học
Báo cáo khoa học: "TWO THEORIES FOR COMPUTING THE LOGICAL FORM OF MASS EXPRESSIONS"
Đang chuẩn bị liên kết để tải về tài liệu:
Báo cáo khoa học: "TWO THEORIES FOR COMPUTING THE LOGICAL FORM OF MASS EXPRESSIONS"
Gia Uy
51
4
pdf
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
There are various difficulties in accomodating the traditional mass/count distinction into a grammar for English which has a goal the production of "logical form" semantic translations of the initial English sentences, The present paper surveys some of these difficulties. One puzzle is whether the distinction is a syntactic one or a semantic one, i.e., whether it is a well-formedness constraint or whether it is a description of the semantic translations produced. Another puzzle is whether it should be applied to simple words (as they occur in the lexicon) or whether it should apply only to longer units (such. | TWO THEORIES FOR COMPUTING THE LOGICAL FORM OF MASS EXPRESSIONS Francis Jeffry Pelletier Lenhart K. Schubert Dept. Computing Science University of Alberta Edmonton Alberta T6G 2E1 Canada ABSTRACT There are various difficulties in accomodating the traditional mass count distinction into a grammar for English which has a goal the production of logical form semantic translations of the initial English sentences. The present paper surveys some of these difficulties. One puzzle is whether the distinction is a syntactic one or a semantic one i.e. whether it is a well-formedness consttaint or whether it is a description of the semantic translations produced. Another puzzle is whether it should be applied to simple words as they occur in the lexicon or whether it should apply only to longer units such as entire NPs . Of the wide variety of possible theories only two seem to produce the required results having to do with plausible inferences and intuitively satisfying semantic representations . These two theories are developed and compared. According to Montague Thomason 1974 Gazdar Gazdar et al 1984 and a rapidly growing number of linguists philosophers and Al researchers the logical form underlying sentences of a natural language are systematically--and simply--determined by the syntactic form of those sentences. This view is in contrast with a tacit assumption often made in Al that computation of logical translations requires throngs of more or less arbitrary rules operating upon syntactic forms.1 The following are a few grammar rules in approximately the style of Gazdar s Generalized Phrase Structure Grammar GPSG . They differ from Gazdar s primarily in that they are designed to produce more or less conventional logical translations rather than the intensional ones of Montague and Gazdar for details see Schubert Pelletier 1982 . Each rule consists of a rule number a phrase structure rule and a semantic logical translation rule. 1. s NP VP VP NF 2. VP V be PRED PRED 3. .
TÀI LIỆU LIÊN QUAN
Báo cáo khoa học: "Thematic segmentation of texts: two methods for two kinds of texts"
Báo cáo khoa học: "Two years experience with quality assurance protocol for patient related Rapid Arc treatment plan verification using a two dimensional ionization chamber array"
báo cáo khoa học: " Computed tomography imaging of subpleural lipoma in two men: two case reports"
Báo cáo toán học: " Completing partial Latin squares with two filled rows and two filled columns"
Báo cáo y học: "Sarcoidosis mimicking lymphoma on positron emission tomography-computed tomography in two patients treated for lymphoma: two case reports"
Báo cáo y học: " Superior vena cava obstruction presenting with epistaxis, haemoptysis and gastro-intestinal haemorrhage in two men receiving haemodialysis with central venous catheters: two case reports"
báo cáo hóa học: " Validation of two complementary oral-health related quality of life indicators (OIDP and OSS 0-10 ) in two qualitatively distinct samples of the Spanish population"
báo cáo hóa học:" Validation of two complementary oral-health related quality of life indicators (OIDP and OSS 0-10 ) in two qualitatively distinct samples of the Spanish population"
Báo cáo y học: "Occult gallbladder carcinoma presenting as a primary ovarian tumor in two women: two case reports and a review of the literature"
báo cáo hóa học: " Elementary proofs of two theorems involving arguments of eigenvalues of a product of two unitary matrices"
crossorigin="anonymous">
Đã 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.