- Bước 3.3 Chuyển kết quả từ dạng số sang dạng đối tượng tương ứng:
CHƯƠNG 5 KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN
CHƯƠNG 5. KẾT LUẬN VÀ HƯỚNG PHÁTTRIỂN TRIỂN
5.1. KẾT QUẢ
Luận văn đã phân tích và đánh giá các phương pháp biểu diễn tri thức đã biết, khảo sát các kết quả nghiên cứu về mặt lý thuyết cũng như ứng dụng để từ đó xây dựng một mơ hình biểu diễn tri thức liên quan đến các tri thức dạng hàm. Mơ hình nghiên cứu là một dạng thu hẹp của mơ hình COKB, hay cịn gọi là mơ hình COKB rút gọn năm thành phần và tập trung chủ yếu vào phát triển thành phần hàm. Mơ hình này là một cơng cụ thích hợp cho việc biểu diễn miền tri thức liên quan đến tri thức hàm.
Luận văn đã khảo sát một số vấn đề biểu diễn tri thức liên quan tới thành phần tri thức hàm và xây dựng thuật giải suy luận giải quyết một số vấn đề trên mơ hình tri thức đó. Nhằm hồn thiện thuật giải tổng qt trên mơ hình COKB rút gọn, ngồi những thuật tốn cơ bản như thuật toán hợp nhất sự kiện, thuật toán kiểm tra và áp dụng luật cho bài toán, các thuật toán xây dựng các bước giải thì đề tài tiến đến xây dựng những thuật toán và một số kỹ thuật heuristics như các quy tắc heuristics để chọn lựa bước giải thích hợp, phương pháp giới hạn cơ sở tri thức áp dụng cho bài tốn cụ thể, phương pháp tìm thứ tự luật ưu tiên áp dụng. Các kỹ thuật heuristics này rất hiệu quả trong việc rút ngắn thời gian tìm kiếm lời giải trong mơ hình tri thức hàm.
Hơn nữa, luận văn đã thiết kế khá hồn chỉnh hệ giải tốn tự động chương trình hình học khơng gian lớp 11. Hệ giải tốn này có những ưu điểm sau:
- Việc tổ chức biểu diễn cơ sở tri thức hình học không gian dựa trên mô COKB rút gọn khá dễ dàng, thuận tiện cho việc chỉnh sửa và cập nhập tri thức mới.
- Bên cạnh sử dụng thuật tốn tổng qt và một số heuristics của mơ hình COKB rút gọn, chương trình bổ sung và phát triển thuật toán kiểm tra áp dụng luật vào bài toán để phù hợp với miền tri thức cụ thể là Hình học
Chương 5. Kết luận và hướng phát triển
khơng gian và một số thuật tốn heuristics khác như phương pháp giới hạn điểm phát sinh. Các thuật toán suy luận tự động kết hợp với các heuristics được dùng trong chương trình tỏ ra rất hiệu quả và giải thành công một số vấn đề trên miền tri thức hình học khơng gian.
- Chương trình cho kết quả và lời giải thể hiện quá trình suy luận. Lời giải được đưa ra bởi các chương trình phù hợp với lời giải tự nhiên của con người.
- Chương trình giải tốn đã được thử nghiệm và nhận được đánh giá tốt, và là một phần mềm giáo dục hữu ích nhằm hỗ trợ nhu cầu học tập của học sinh Trung học Phổ thông.
5.2. HẠN CHẾ
Về mặt lý thuyết: Mơ hình tri thức hàm đề xuất chưa biểu diễn đầy đủ các thành phần tri thức hàm đa dạng khác. Ví dụ: đối với thành phần luật, luật dạng phương trình chưa được đề cập tới. Bên cạnh đó, về thuật giải thì đề tài chưa chứng minh được tính đúng đắn, tính dừng và độ phức tạp của thuật tốn suy diễn một cách hồn chỉnh.
Về ứng dụng: Chương trình ứng dụng chưa biểu diễn đầy đủ hết tất cả các tri thức trong kiến thức Hình học khơng gian và chưa có phần vẽ hình trực quan nhằm hỗ trợ người dùng dễ dàng theo dõi kết quả bài giải. Bên cạnh đó chương trình vẫn chưa xử lý được việc người dùng nhập giả thiết và các yêu cầu của đề bài theo ngôn ngữ tự nhiên của con người.
5.3. HƯỚNG PHÁT TRIỂN
Trong tương lai, đề tài sẽ tiếp tục phát triển và hồn thiện thành phần tri thức hàm trên mơ hình COKB nhằm biểu diễn đầy đủ hơn các thành phần tri thức về hàm. Bên cạnh đó, đề tài sẽ phát triển các thuật tốn suy luận với các luật heuristics và các thuật toán suy diễn khác trên thành phần tri thức hàm nhằm hỗ trợ giải đa dạng các lớp bài toán cũng như thời gian giải tốn nhanh chóng hơn, lời giải tự nhiên và gần gũi với cách giải của con người. Bên cạnh đó, đề tài sẽ tiếp tục nghiên cứu sự tích hợp giữa các thành phần tri thức hàm và toán tử trong cơ sở tri thức COKB nhằm tiến đến việc biểu diễn hoàn thiện hơn các thành phần tri thức đa dạng
Chương 5. Kết luận và hướng phát triển
trên thực tế. Về mặt ứng dụng, đề tài sẽ tiếp tục phát triển và khắc phục các hạn chế hiện tại nhằm hỗ trợ tốt hơn trong việc học và ơn luyện tốn của học sinh Trung học Phổ thông.