TAILIEUCHUNG - Báo cáo khoa học: "Compiling HPSG type constraints into definite clause programs"

We present a new approach to HPSG processing: compiling HPSG grammars expressed as type constraints into definite clause programs. This provides a clear and computationally useful correspondence between linguistic theories and their implementation. The compiler performs offline constraint inheritance and code optimization. As a result, we are able to efficiently process with HPSG grammars without haviog to hand-translate them into definite clause or phrase structure based systems. | Compiling HPSG type constraints into definite clause programs Thilo Gotz and Walt Detmar Meurers SFB 340 ưniversitãt Tubingen Kleine WilhelmstraBe 113 72074 Tubingen Germany tg dm sf s. . uni-tueb ingen. de Abstract We present a new approach to HPSG processing compiling HPSG grammars expressed as type constraints into definite clause programs. This provides a clear and computationally useful correspondence between linguistic theories and their implementation. The compiler performs offline constraint inheritance and code optimization. As a result we are able to efficiently process with HPSG grammars without havipg to hand-translate them into definite clause or phrase structure based systems. 1 Introduction The HPSG architecture as defined in Pollard and Sag 1994 henceforth HPSGII is being used by an increasing number of linguists since the formally well-defined framework allows for a rigid and explicit formalization of a linguistic theory. At the same time the feature logics which provide the formal foundation of HPSGII have been used as basis for several NLP systems such as ALE Carpenter 1993 CUF Done and Dorna 1993 Troll Gerde-mann and King 1993 or TFS Emele and Zajac 1990 . These systems are - at least partly - intended as computational environments for the implementation of HPSG grammars. HPSG linguists use the description language of the logic to express their theories in the form of implicative constraints. On the other hand most of the computational setups only allow feature descriptions as extra constraints with a phrase structure or definite clause based language. 1 From a computational point of view the latter setup has several advantages. It provides access to the pool of work done in the The authors are listed alphabetically. 1One exception is the TFS system. However the possibility to express recursive relations on the level of the description language leads to serious control problems in that system. area of natural language processing . to .

• Báo cáo khoa học
• Compiling HPSG type constraints
• definite clause programs
• 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