Ấn phẩm:
Phương pháp suy luận giải quyếtvấn đề trên mô hình COKB
Đang tải...
Xem mô tả
95
Xem & Tải
4
Nhan đề khác
Tóm tắt
Tri thức và suy luận có vai trò đặc biệt quan trọng trong việc thiết kế các hệ chuyên gia, đặc biệt là các hệ giải bài toán thông minh. Hệ giải bài toán thông minh có ý nghĩa quan trọng trong nhiều lĩnh vực ứng dụng, đặc biệt là các phần mềm thông minh ứng dụng trong giáo dục. Việc thiết kế các cơ sở tri thức và bộ suy diễn của hệ thống đòi hỏi sự vận dụng một cách nhuần nhuyễn và sáng tạo các phương pháp biểu diễn tri thức và suy luận trong khoa học về Trí tuệ nhân tạo. Một trong những mô hình biểu diễn cho cơ sở tri thức có thể được sử dụng hiệu quả trong thiết kế là mô hình COKB. Trước đây, mô hình này cùng với các thuật giải suy diễn giải bài toán đã được nghiên cứu và sử dụng trong việc thiết kế và cài đặt nhiều ứng dụng thực tế, nhưng người thiết kế phải mất nhiều công sức và trí tuệ cho việc mô hình hóa cơ sở tri thức cũng như thiết kế các thuật giải suy diễn đối với miền tri thức cụ thể, do cơ sở lý thuyết trên mô hình COKB chưa được hoàn thiện. Trong luận văn này sẽ phát triển và hoàn thiện cơ sở lý thuyết cho mô hình COKB cùng với các thuật giải suy diễn giải vấn đề từ cục bộ trong một lớp đối tượng tính toán đến toàn cục trên toàn bộ cơ sở tri thức bằng cách đề xuất các heuristics theo mô hình COKB. Trên cơ sở đó, đề tài tiến đến xây dựng một động cơ suy diễn giải quyết vấn đề tổng quát trên mô hình COKB và độc lập với miền tri thức cụ thể. Động cơ suy diễn sẽ được thiết kế và cài đặt bằng ngôn ngữ lập trình Maple bằng cách đóng gói lại thành các thư viện (các package). Từ Package đề tài cũng vận dụng thử nghiệm trên một số miền tri thức toán học cụ thể như Hình học phẳng, Hình học giải tích hai chiều và ba chiều...vv.
Mô tả
136 tr.
Tác giả
Mai, Trung Thành
Người hướng dẫn
Đỗ, Văn Nhơn
Nơi xuất bản
Nhà xuất bản
ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH
Năm xuất bản
2017
ISSN tạp chí
Nhan đề tập
Từ khóa chủ đề
Khoa học máy tinh , Hệ thống , Ứng dụng