Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Luận Văn - Báo Cáo
Báo cáo khoa học
Báo cáo khoa học: "USING %-CALCULUS TO REPRESENT IN LOGIC GRAMMARS"
tailieunhanh - Báo cáo khoa học: "USING %-CALCULUS TO REPRESENT IN LOGIC GRAMMARS"
This paper descrlbes how meanings are represented in a semantic grammar for a fragment of English in the logic programming language Prolog. The conventions of Definite Clause Grammars are used. Previous work on DCGs with a semantic component has used essentially first-order formulas for representing meanings. The system described here uses formulas of the typed ~-calculus. The first section discusses general issues concerning the use of first-order logic or the h-calculus to represent meanings, The second section describes how h-calculus meaning representations can be constructed and manipulated directly in Prolog. This 'programmed' representation motivates a suggestion, discussed in. | USING X-CALCULUS TO REPRESENT MEANINGS IN LOGIC GRAMMARS David Scott Warren Computer Science Department SUNY at Stony Brook Stony Brook NY 11794 ABSTRACT This paper describes how meanings are represented in a semantic grammar for a fragment of English in the logic programming language Prolog. The conventions of Definite Clause Grammars are used. Previous work on DCGs with a semantic component has used essentially first-order formulas for representing meanings. The system described here uses formulas of the typed X-calculus. The first section discusses general issues concerning the use of first-order logic or the x-calculus to represent meanings. The second section describes how X-calculus meaning representations can be constructed and manipulated directly In Prolog. This programmed representation motivates a suggestion discussed in the third section for an extension to Prolog so that the language Itself would Include a mechanism for handling the x-formulas directly. I X-CALCULUS AND FOL AS MEANING REPRESENTATION LANGUAGES The initial phase of most computer programs for processing natural language is a translation system. This phase takes the English text input and transforms it into structures In some Internal meaning-representation language. Most of these systems fall into one of two groups those that use a variant of first-order logic FOL as their representation language and those that use the typed x-calculus LC for their representation language. Systems based on semantic nets or conceptual dependency structures would generally be calssified as using variants of FOL but see Jones and Warren 1982 for an approach that views them as LC-based. The system considered here are several highly formalized grammar systems that concentrate on the translation of sentences of logical form. The first-order logic systems are exemplified by those systems that have developed around or gravitated to logic programming and the Prolog language in particular. These include the systems
Tất Bình
82
6
pdf
Báo lỗi
Trùng lắp nội dung
Văn hóa đồi trụy
Phản động
Bản quyền
File lỗi
Khác
Upload
Tải xuống
đang nạp các trang xem trước
Bấm vào đây để xem trước nội dung
Tải xuống
TÀI LIỆU LIÊN QUAN
Ebook Calculus for business, economics, and the social and life sciences (10th edition): Part 2
419
89
0
Ebook Calculus (10th edition): Part 2
419
55
2
Ebook Calculus for business, economics, and the social and life sciences (10th edition): Part 1
387
90
1
Ebook Calculus (10th edition): Part 1
387
91
0
Calculus: Early Transcendentals (Stewart's Calculus Series) sixth edition
1
83
1
Ebook Advanced calculus: Part 1
316
56
0
Ebook Advanced calculus: Part 2
276
53
0
Ebook Essential calculus - Early transcendentals: Part 2
525
82
2
Ebook Essential calculus - Early transcendentals (2nd edition): Part 2
524
79
2
Calculus For the Practical Man
358
69
0
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
461928
55
Giới thiệu :Lập trình mã nguồn mở
14
23024
64
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10968
531
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
10166
451
Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3
9564
104
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8362
1127
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8272
423
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7887
2225
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
6808
256
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
6041
1457
TỪ KHÓA LIÊN QUAN
Báo cáo khoa học
CALCULUS TO REPRESENT
LOGIC GRAMMARS
David Scott Warren
scientific reports
model language
process natural language
Dialog Control
Natural Language System
Dialog Control in a Natural Language System
Expanding the Horizons
Natural Language Interfaces
Phil Hayes
PROSPECTS OR PRACTICAL
NATURAL LANGUAGE SYSTEMS
Workshops
NATURAL LANGUAGE
INTERACTION WITH MACHINES
Long Papers
COMPUTER INTEBFACE DESIGN MURRAY TUROFF DEPARTMENT OF COMPUTER
IiVFORMATION SCIENCE IIEW JERSEY INSTITUTE OF TECHNOLOGY
EVALUATION OF NATURAL LANGUAGE
INTERFACES TO DATABASE SYSTEMS
A PANEL DISCUSSION
database query system
J
Norwood Crout
INTERFACES TO DATA BASE SYSTEMS
Bozena Henisz
INTERPRETING NATURAL LANGUAGE
DATABASE UPDATES
S
Jermld Kaplan Jim David
TRANSPORTABLE NATURAL LANGUAGE
INTERFACES TO DATABASES
Gary G
Hendrlx and William H
Lewis
DATABASES THEORETICAL
TECHNICAL ISSUES
TRANSPORTABLE NATURAL LANGUAGE INTERFACES
PROBLEMS AND TECHNIQUES
Barbara J
Grosz
THEORETICAL TECHNICAL ISSUES
NATURAL LANGUAGE ACCESS TO DATABASES
R
Petrick
Domain Independent
Database Access Systems
ISSUES IN NATURAL LANGUAGE
ACCESS TO DATABASES
A LOGIC PROGRAMMING PERSPECTIVE
Sharon C
Salveter David Maier
PLANNING NATURAL LANGUAGE
EXPRESSIONS REFERRING
Douglas E
Appelt
THE TEXT SYSTEM
NATURAL LANGUAGE GENERATION
Kathleen R
M
MENTING A DATABASE
KNOWLEDGE REPRESENTATION
THE KEY TO THE SELECTION PROBLEM
E
Jeffrey Conklin David D
McDonald
A KNOWLEDGE ENGINEERING
NATURAL LANGUAGE UNDERSTANDING
Stuart C
Shapiro
NATURAL LANGUAGE TEXTS
NECESSARILY GRAMMATICAL
EVEN COMPLETE
UNGRAMHATICALITY
EXTRA GRAMMATICALITY
NATURAL LANGUAGE UNDERSTANDING SYSTEMS
Taxonomy
Descriptions
Individuals in Natural
Language Understanding
The Use of Ooject Special Knowledge
Natural Language Processing
Mark H
Bursteln
TÀI LIỆU MỚI ĐĂNG
THE ANTHROPOLOGY OF ONLINE COMMUNITIES BY Samuel M.Wilson and Leighton C. Peterson
19
160
0
17-05-2024
Báo cáo tốt nghiệp: Vận hành và bảo dưỡng trong MPLS
92
150
3
17-05-2024
HƯỚNG DẪN SỬ DỤNG PHẦN MỀM CAITA part 9
18
134
0
17-05-2024
Truyện kiếm hiệp - Duy ngã độc tôn phần 5/7
1
102
0
17-05-2024
Báo cáo nghiên cứu khoa học " HÃY LÀM CHO HUẾ XANH HƠN VÀ ĐẸP HƠN "
6
125
0
17-05-2024
Các liệu pháp chăm sóc đặc biệt cho đôi chân
4
102
0
17-05-2024
báo cáo khoa học: "Ultrasound-guided diagnostic breast biopsy methodology: retrospective comparison of the 8-gauge vacuum-assisted biopsy approach versus the spring-loaded 14-gauge core biopsy approach"
15
98
0
17-05-2024
Báo cáo nghiên cứu khoa học " NÂNG QUAN HỆ KINH TẾ THƯƠNG MẠI VIỆT NAM - TRUNG QUỐC LÊN TẦM CAO THỜI ĐẠI "
8
119
0
17-05-2024
Báo cáo nghiên cứu khoa học " Quan hệ Trung – Nga trong tổ chức hợp tác Thượng Hải "
8
115
0
17-05-2024
Chủ đề 3 : SỰ CÂN BẰNG CỦA VẬT RẮN (4 tiết)
9
141
0
17-05-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7887
2225
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
6041
1457
Ebook Chào con ba mẹ đã sẵn sàng
112
3784
1250
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
5401
1137
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8362
1127
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3547
656
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10968
531
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3745
527
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
4158
523
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4184
483
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.