We show that the problems of parsing and surface realization for grammar formalisms with “context-free” derivations, coupled with Montague semantics (under a certain restriction) can be reduced in a uniform way to Datalog query evaluation. As well as giving a polynomialtime algorithm for computing all derivation trees (in the form of a shared forest) from an input string or input logical form, this reduction has the following complexity-theoretic consequences for all such formalisms: (i) the decision problem of recognizing grammaticality (surface realizability) of an input string (logical form) is in LOGCFL; and (ii) the search problem of finding one...
Nội dung trích xuất từ tài liệu:
Báo cáo khoa học: "Parsing and Generation as Datalog Queries"
Báo cáo khoa học: Parsing and Generation as Datalog Queries
Số trang: 8
Loại file: pdf
Dung lượng: 404.60 KB
Lượt xem: 11
Lượt tải: 0
Thông tin tài liệu:
Tìm kiếm theo từ khóa liên quan:
Parsing and Generation Datalog Queries Makoto Kanazawa báo cáo khoa học mô hình ngôn ngữ xử lý ngôn ngữ tự nhiênTài liệu có liên quan:
-
63 trang 355 0 0
-
12 trang 338 0 0
-
Phương pháp tạo ra văn bản tiếng Việt có đề tài xác định
7 trang 286 0 0 -
13 trang 272 0 0
-
Báo cáo khoa học Bước đầu tìm hiểu văn hóa ẩm thực Trà Vinh
61 trang 260 0 0 -
Tóm tắt luận án tiến sỹ Một số vấn đề tối ưu hóa và nâng cao hiệu quả trong xử lý thông tin hình ảnh
28 trang 233 0 0 -
NGHIÊN CỨU CHỌN TẠO CÁC GIỐNG LÚA CHẤT LƯỢNG CAO CHO VÙNG ĐỒNG BẰNG SÔNG CỬU LONG
9 trang 230 0 0 -
Giáo trình Lập trình logic trong prolog: Phần 1
114 trang 224 0 0 -
Đề tài nghiên cứu khoa học và công nghệ cấp trường: Hệ thống giám sát báo trộm cho xe máy
63 trang 218 0 0 -
22 trang 199 0 0
