TAILIEUCHUNG - Báo cáo khoa học: "Alternating Quantifier Scope in CCG*"

The paper shows that movement or equivalent computational structure-changing operations of any kind at the level of logical form can be dispensed with entirely in capturing quantifer scope ambiguity. It offers a new semantics whereby the effects of quantifier scope alternation can be obtained by an entirely monotonic derivation, without typechanging rules. | Alternating Quantifier Scope in CCG Mark Steedman Division of Informatics University of Edinburgh 2 Buccleuch Place Edinburgh EH8 9LW UK steedman@ Abstract The paper shows that movement or equivalent computational structure-changing operations of any kind at the level of logical form can be dispensed with entirely in capturing quantifier scope ambiguity. It offers a new semantics whereby the effects of quantifier scope alternation can be obtained by an entirely monotonic derivation without typechanging rales. The paper follows Fodor 1982 Fodor and Sag 1982 and Park 1995 1996 in viewing many apparent scope ambiguities as arising from referential categories rather than true generalized quantifiers. 1 Introduction It is standard to assume that the ambiguity of sentences like 1 is to be accounted for by assigning two logical forms which differ in the scopes assigned to these quantifiers as in 2a b 1 1 Every boy admires some saxophonist. 2 a. x y ỉ admires yx b. By .saxophonist y A x admires yx The question then arises of how a grammar parser can assign all and only the correct interpretations to sentences with multiple quantifiers. This process has on occasion been explained in terms of quantifier movement or essentially Early versions of this paper were presented to audiences at Brown u. NYU and Karlový u. Prague. Thanks to Jason Baldridge Gann Bierner Tim Fernando Kit Fine Polly Jacobson Mark Johnson Aravind Joshi Richard Kayne Shalom Lappin Alex Lascarides Suresh Manandhar Jaruslav Peregrin Jong Park Anna Szabolcsi Bonnie Webber Alistair Willis and the referees for helpful comments. The work was supported in part by ESRC grant M423284002. The notation uses juxtaposition a to indicate application of a functor f to an argument a. Constants are distinguished from variables by a prime and semantic functors like admires are assumed to be Curried . A convention of left associativity is assumed so that admires yx is equivalent to

• Báo cáo khoa học
• Alternating Quantifier Scope in CCG
• Mark Steedman
• Long Papers
• báo cáo khoa học
• mô hình ngôn ngữ
• xử lý ngôn ngữ tự nhiên
• Bài giảng Xử lý ngôn ngữ tự nhiên
• Ngôn ngữ tự nhiên
• Kỹ thuật lập trình
• Xử lý nhập nhằng ngữ nghĩa
• Xử lý ngữ nghĩa
• Xử lý ngôn ngữ
• Natural Language Processing
• Ngôn ngữ lập trình
• Nhập nhằng cấu trúc
• Tri thức về ngôn ngữ
• Mô hình n gram
• Dịch máy
• Phương pháp dịch máy
• Hiểu ngôn ngữ
• Phân tích ngữ nghĩa
• Phân loại tin tự động
• Biểu diễn vị từ
• Thuộc tính về sự kiện
• Thuộc tính về sự kiện
• Mô hình ngôn ngữ Google Book N grams
• Mô hình ngôn ngữ KenLM
• Phương pháp làm mịn
• Tách từ tiếng Việt
• Gán nhãn từ loại
• Phân tích cú pháp
• Nghĩa từ vựng
• Phân giải nhập nhằng từ
• Phân loại văn bản
• Lexical chain
• Phản hồi thông tin
• Bài toán PTCP
• Cấu trúc ngữ pháp
• Phân tích cú pháp xác suất
• CKY kết hợp xác suất
• Văn phạm phi ngữ cảnh xác suất
• Hình thái học