TAILIEUCHUNG - Báo cáo khoa học: "Memoisation for Glue Language Deduction and Categorial Parsing"

The multiplicative fragment of linear logic has found a number of applications in computational linguistics: in the "glue language" approach to LFG semantics, and in the formulation and parsing of various categorial grammars. These applications call for efficient deduction methods. Although a number of deduction methods for multiplicative linear logic are known, none of them are tabular methods, which bring a substantial efficiency gain by avoiding redundant computation (. chart methods in CFG parsing): this paper presents such a method, and discusses its use in relation to the above applications. . | Memoisation for Glue Language Deduction and Categorial Parsing Mark Hepple Department of Computer Science University of Sheffield Regent Court 211 Portobello Street Sheffield SI 4DP UK Abstract The multiplicative fragment of linear logic has found a number of applications in computational linguistics in the glue language approach to LFG semantics and in the formulation and parsing of various categorial grammars. These applications call for efficient deduction methods. Although a number of deduction methods for multiplicative linear logic are known none of them are tabular methods which bring a substantial efficiency gain by avoiding redundant computation . chart methods in CFG parsing this paper presents such a method and discusses its use in relation to the above applications. 1 Introduction The multiplicative fragment of linear logic which includes just the linear implication o and multiplicative operators has found a number of applications within linguistics and computational linguistics. Firstly it can be used in combination with some system of labelling after the labelled deduction methodology of Gabbay 1996 as a general method for formulating various categorial grammar systems. Linear deduction methods provide a common basis for parsing categorial systems formulated in this way. Secondly the multiplicative fragment forms the core of the system used in work by Dalrymple and colleagues for handling the semantics of LFG derivations providing a glue language for assembling the meanings of sentences from those of words and phrases. Although there are a number of deduction methods for multiplicative linear logic there is a notable absence of tabular methods which like chart parsing for CFGs avoid redundant computation. Hepple 1996 presents a compilation method which allows for tabular deduction for implicational linear logic . the fragment with only O- . This paper develops that method to cover the fragment that includes the .

• Báo cáo khoa học
• Memoisation for Glue Language Deduction
• Categorial Parsing
• Mark Hepple
• 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