Xem mẫu
Lập trình logic và ràng buộc (Logic Programming and Constraint)
Ts. Lê Mạnh Hải Khoa CNTT,
ĐH Kỹ thuật Công nghệ TP HCM
1
Mở đầu I Mục đích môn học:
• Giới thiệu một công cụ hỗ trợ nghiên cứu trí tuệ nhân tạo: ngôn ngữ lập trình SWIProlog.
• Một số ứng dụng trong xử lý ngôn ngữ tự nhiên.
II. Thời gian và nội dung: 30 tiết lý thuyết + 15 tiết bài tập
• Tổng quan về Prolog(3 tiết)
• Kỹ thuật lập trình Prolog(9 tiết) • Logic và CSDL(3 tiết)
• Logic và Hệ chuyên gia(3 tiết) • Logic và ngữ pháp (6 tiết)
• Logic và lập trình ràng buộc (6 tiết) • Bài tập và kiểm tra giữa kỳ (15 tiết)
2
III Giáo trình và tài liệu tham khảo
•Bài giảng của Lê Mạnh Hải (Lưu hành nội bộ) •James Lu, Jerud J. Mead. Prolog A Tutorial Introduction. Computer Science Department Bucknell University
•Ulf Nilsson and Jan Maluszynsky. LOGIC, PROGRAMMING AND PROLOG (2ED). John Wiley & Sons Ltd. 2000.
•Phan Huy Khánh. Lập trình logic trong Prolog. Nhà xuất bản ĐH QG Hà nội. 2004
3
IV. Đánh giá:
•Điểm giữa kỳ (30%): Bài kiểm tra 60 phút trên PC •Thi kết thúc môn (70%): Bài kiểm tra 90 phút
V. Giáo viên:
•Ts. Lê Mạnh Hải. Khoa CNTT HUTECH. •email: lm.hai@hutech.edu.vn
•Website: giangvien.hutech.edu.vn
4
Bài 1: Giới thiệu về ngôn ngữ Prolog
• Mục tiêu:
– Lược sử Prolog và các dòng sản phẩm
– Cài đặt SWIProlog và SWIProlog editor – Các khái niệm cơ bản và ví dụ
5
...
- tailieumienphi.vn
nguon tai.lieu . vn