tailieunhanh - Báo cáo khoa học: "Balancing Clarity and Efficiency in Typed Feature Logic through Delaying"

The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resource Grammar (LinGO, 1999, ERG). It is argued that a simple generalization of the conventional delay statements used in logic programming is sufficient to restore much of the functionality and concomitant benefit that the ERG elected to forego, with an acceptable although still perceptible computational cost. | Balancing Clarity and Efficiency in Typed Feature Logic through Delaying Gerald Penn University of Toronto 10 King s College Rd. Toronto M5S 3g4 Canada gpenn@ Abstract The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design with particular reference to the design decisions made in the English Resource Grammar LinGO 1999 ERG . It is argued that a simple generalization of the conventional delay statements used in logic programming is sufficient to restore much of the functionality and concomitant benefit that the ERG elected to forego with an acceptable although still perceptible computational cost. 1 Motivation By convention current HPSGs consist at the very least of a deductive backbone of extended phrase structure rules in which each category is a description of a typed feature structure TFS augmented with constraints that enforce the principles of grammar. These principles typically take the form of statements for all TFSs holds where is usually an implication. Historically HPSG used a much richer set of formal descriptive devices however mostly on analogy to developments in the use of types and description logics in programming language theory Ait-Kaci 1984 which had served as the impetus for HPSG s invention Pollard 1998 . This included logic-programming-style relations Hohfeld and Smolka 1988 a powerful description language in which expressions could denote sets of TFSs through the use of an explicit disjunction operator and the full expressive power of implications in which antecedents of the abovementioned principles could be arbitrarily complex. Early HPSG-based natural language processing systems faithfully supported large chunks of this richer functionality in spite of their inability to handle it efficiently so much so that when the designers of the ERG set out to select formal descriptive devices for their implementation with the aim of balancing clarity and efficiency Flickinger 2000 they chose

• Báo cáo khoa học
• Balancing Clarity
• Efficiency in Typed Feature
• Logic through Delaying
• 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