TAILIEUCHUNG - Báo cáo khoa học: "Efficient Linear Logic Meaning"

The "glue" approach to semantic composition in Lexical-Functional Grammar uses linear logic to assemble meanings from syntactic analyses (Dalrymple et al., 1993). It has been compurationally feasible in practice (Dalrymple et al., 1997b). Yet deduction in linear logic is known to be intractable. Even the propositional tensor fragment is NP complete(Kanovich, 1992). In this paper, we investigate what has made the glue approach computationally feasible and show how to exploit that to efficiently deduce underspecified representations. . | Efficient Linear Logic Meaning Assembly Vineet Gupta Caelum Research Corporation NASA Ames Research Center Moffett Field CA 94035 John Lamping Xerox PARC 3333 Coyote Hill Road Palo Alto CA 94304 USA 1 Introduction The glue approach to semantic composition in Lexical-Functional Grammar uses linear logic to assemble meanings from syntactic analyses Dalrymple et al. 1993 . It has been computationally feasible in practice Dalrymple et al. 1997b . Yet deduction in linear logic is known to be intractable. Even the propositional tensor fragment is NP complete Kanovich 1992 . In this paper we investigate what has made the glue approach computationally feasible and show how to exploit that to efficiently deduce underspecified representations. In the next section we identify a restricted pattern of use of linear logic in the glue analyses we are aware of including those in Crouch and Genabith 1997 Dalrymple et al. 1996 Dalrymple et al. 1995 . And we show why that fragment is computationally feasible. In other words while the glue approach could be used to express computationally intractable analyses actual analyses have adhered to a pattern of use of linear logic that is tractable. The rest of the paper shows how this pattern of use can be exploited to efficiently capture all possible deductions. We present a conservative extension of linear logic that allows a reformulation of the semantic contributions to better exploit this pattern almost turning them into Horn clauses. We present a deduction algorithm for this formulation that yields a compact description of the possible deductions. And finally we show how that description of deductions can be turned into a compact underspecified description of the possible meanings. Throughout the paper we will use the illustrative sentence every gray cat left . It has functional structure 1 r PRED SUBJ LEAVE PRED SPEC MODS cat EVERY PRED and semantic contributions gray leave Vx. gơ x o

• Báo cáo khoa học
• Efficient Linear
• Logic Meaning
• Vineet Gupta Caelum
• báo cáo khoa học
• mô hình ngôn ngữ
• xử lý ngôn ngữ tự nhiên
• Vietnam Journal of Mechanics
• Data completion for linear symmetric operators cauchy problem
• Linear symmetric operators
• An efficient method via energy like error minimization
• Energy like error minimization
• BMC Bioinformatics
• RNA Folding
• Nussinov’s algorithm
• Cache efficient
• Pseudoknot free structure
• Linear ribonucleic acid
• Báo cáo sinh học hay
• cách trình bày báo cáo
• báo cáo sinh học
• công trình nghiên cứu sinh học
• tài liệu về sinh học
• BMC Biotechnology
• T rich genome
• Linear DNA cloning
• Dictyostelium discoideum
• Social amoeba
• Protein structure
• RNA structure
• Profile hashing
• Hierarchical clustering
• Model quality assessment
• Macromolecular structure analysis
• Nonlinear correlation
• Kidney cancer
• Testing dependence
• Non linear rank
• Newton’s method
• Goodman’s method
• Projected Hessian
• Interior point
• Nonlinear programming
• Numerical comparisons
• 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