3 CHƯƠNG III – XÂY DỰNG VÀ CÀI ĐẶT ỨNG DỤNG BIỂU DIỄU TRI THỨC
3.4.3 Thử nghiệm
Chương trình đã tính toán được các kết quả dựa trên các tham số và luật suy diễn đã định nghĩa ban đầu.
4 CHƯƠNG IV - KẾT LUẬN
4.1 Tóm tắt kết quả đạt được
Mô hình COKB được xây dựng có các ưu điểm sau: thích hợp cho việc thiết kế một cớ sở tri thức với các khái niệm có thể được biểu diễn bởi các đối tượng tính toán, Cấu trúc tường minh giúp dễ dàng thiết kế các môđun truy cập cơ sở tri thức, tiện lợi cho việc thiết kế các mô đun giải bài toán tự động, thích hợp cho việc định ra một ngôn ngữ khai báo bài toán và đặc tả bài toán một cách tự nhiên. Các mô hình và thuật giải được đề xuất có thể làm công cụ cho việc xây dựng các hệ giải bài toán dựa trên tri thức, các hệ cơ sở tri thức, và các phần mềm dạy học với sự hỗ trợ giải toán thông minh.
Ứng dụng đã thành công trong việc biểu diễn các khái niệm của tam giác, các luật dẫn để tính tham số của tam giác như: tính diện tích, tính cạnh khi biết góc, hay biết một cạnh nào đó.
Hiện trên thế giới đã có rất nhiều nhà khoa học đã nghiên cứu và thành công rất nhiều trong việc biểu diễn tri thức của con người, và thành công này đã giúp cho chúng ta rất nhiều trong ứng dụng xã hội, kinh doanh, giáo dục… đưa con người lên một xã hội cao hơn.
4.2 Hướng phát triển
Do đề tài được thực hiện trong thời gian ngắn nên hiện tại ứng dụng cũng chỉ có thể biểu diễn các tri thức cơ bản, đơn giản chưa giải quyết định hết các khái niệm của một tam giác, tập luật dẫn chưa đầy đủ và chưa giải quyết được các bài toán phức tạp trong tam giác, nhưng nó cũng cho chúng ta thấy được khả năng đưa tri thức của con người vào lưu trữ trong hệ thống là hoàn toàn có thể.
Trong thời gian tới hy vọng có thể mở rộng ra giải quyết nhiều hơn các bài toán về hình học hơn nữa.
4.3 Tài liệu tham khảo
[1] Đỗ Văn Nhơn; Hoàng Kiếm. Mô hình tri thức về các đối tượng tính toán. Báo cáo toàn văn. Trường Đại học Khoa học Tự nhiên TPHCM, 2001.
[2] Đỗ Văn Nhơn. Mạng tính toán và ứng dụng. Luận văn cao học, đại học Khoa học tự nhiên HCM, 1995.
[3] Do Van Nhon. An ontology for knowledge representation And Applications. International Conference on Data, Information and Knowledge Management. Singapo, 2008
[4] Kiem Hoang – Nhon Do Van – Bac Le Hoai – A Knowledgeable Model: Network of C_Object – Proceding of the Asia Pacific Symposium on Technologies (ANSITT 97) – HaNoi – VN 1997.
[5] Hoàng Kiếm, Đỗ Văn Nhơn, Đỗ Phúc. Giáo trình Các hệ cơ sở tri thức. NXB Đại học Quốc gia TPHCM, 2006.