Trong chương này, luận văn đã trình bày được vấn đề đặt ra của bài toán, dùng Datalog và SQL để biểu diễn các trực kiện và các quy tắc cho các bài toán, sử dụng phép hợp giải SLD để giải quyết quá trình tìm kiếm. Sau đó mô phỏng các bài toán ứng dụng trong hệ thống DES 3.8.
KẾT LUẬN
Qua thời gian học tập và nghiên cứu, luận văn đã đạt được một số yêu cầu trong lĩnh vực nghiên cứu.
Những kết quả của luận văn
-Luận văn đã tìm hiểu được cơ sở dữ liệu suy diễn: sự hình thành và những thành phần của cơ sở dữ liệu suy diễn; tìm hiểu chương trình logic; chương trình Datalog; ngôn ngữ Prolog.
-Tìm hiểu về hệ thống DES trong giảng dạy Datalog: Luận văn đặt ra tìm hiểu và làm những vấn đề sau: Giới thiệu hệ thống DES 3.8; các thành phần tri thức và quy tắc trong hệ thống DES; tìm hiểu hai ngôn ngữ Datalog và SQL; giải bài toán trên DES và cài đặt thử nghiệm các bài toán ứng dụng trên DES 3.8.
Phương hướng nghiên cứu tiếp theo
-Tiếp tục nghiên cứu ứng dụng bài toán tìm đường đi để mở rộng nghiên cứu những bài toán tương tự như tìm đường đi trong mạng máy tính…
TÀI LIỆU THAM KHẢO Tiếng Việt
1. Lê Mạnh Thạnh, Trương Công Tuấn (2011), Giáo trình Chương trình Datalog, NXB Đại học Huế.
2. Phan Huy Khánh (2004), Lập trình Logic trong Prolog, NXB ĐHQG Hà Nội.
3. Lê Minh Hoàng (2002), chuyên đề Lý thuyết đồ thị, ĐHSP Hà Nội.
Tiếng Anh
4. Fernaldo Sáenz Pérez, Datalog Educational System V3.8 User’s Manual, Universidad Complutense de Madrid, 2014.
5. Ulle Endriss, Lecture Notes An Introduction to Prolog Programming, University of Amsterdam, 2013.
6. H. Tamaki and T. Sato, “OLD Resolution with Tabulation”, Proceedings of ICLP’86, Lecture Notes on Computer Science 225, Springer-Verlag, 1986.