Bài viết Kiến trúc hệ giải bài tập cho người học và các kỹ thuật thiết kế trình bày về tổ chức của một hệ giải bài toán dựa trên tri thức cùng với những kỹ thuật thiết kế, và một mẫu thiết kế ứng dụng cụ thể là hệ hỗ trợ giải bài toán hình học giải tích 2 chiều. | Kiến trúc hệ giải bài tập cho người học và các kỹ thuật thiết kế 34 KIẾN TRÚC HỆ GIẢI BÀI TẬP CHO NGƯỜI HỌC VÀ CÁC KỸ THUẬT THIẾT KẾ Đỗ Văn Nhơn ABSTRACT Using of information technology for E-learning now becomes popular. Systems for solv- ing exercises are very useful applications to learners. This kind of software is also called a problem solver based on a knowledge base. In this paper we present an organization of that software together with design techniques. A design pattern the system for solving problems in 2-dimesionnal analytic geometry will also be presented here. TÓM TẮT Ngày nay việc ứng dụng công nghệ thông tin trong dạy và học đã trở nên phổ biến. Hệ giải bài tập hay hỗ trợ giải bài tập cho người học là một trong những ứng dụng rất thiết thực trong E-learning nói chung. Loại hệ thống này thuộc lớp ứng dụng được gọi là các hệ giải bài toán dựa trên tri thức. Trong bài báo này sẽ trình bày về tổ chức của một hệ giải bài toán dựa trên tri thức cùng với những kỹ thuật thiết kế và một mẫu thiết kế ứng dụng cụ thể là hệ hỗ trợ giải bài toán hình học giải tích 2 chiều. I. GIỚI THIỆU tri thức và các phương pháp ta có thể tham Hệ giải bài tập hay hỗ trợ giải bài tập cho khảo 1 và 2 . Các phương pháp biểu diễn người học là một trong những ứng dụng rất tri thức có thể được phân chia thành 4 dạng thiết thực trong E-learning nói chung. Loại phương pháp hệ thống này thuộc lớp ứng dụng được gọi 1. Các phương pháp biểu diễn dựa trên là các hệ giải bài toán dựa trên tri thức. logic hình thức. Các phương pháp này sử Một hệ giải bài toán dựa trên tri thức phải dụng các biểu thức logic hình thức để diễn là một hệ giải toán thông minh có thể giải đạt các sự kiện và các luật trong cơ sở tri được các dạng bài toán tổng quát trong một thức. miền tri thức nào đó trong đó nó có một 2. Các phương pháp biểu diễn tri thức cơ sở tri thức và một bộ phận thực hiện suy thủ tục. Loại phương pháp này biểu diễn luận giải bài toán trong phạm vi tri thức của tri thức như là một tập hợp .
