Mô hình bài toán trên như sau:
• xác định • không đồng phẳng • , , • cắt • cắt • cắt • • • } • xác định • thẳng hàng
Tổ chức lưu trữ trong máy như sau:
Record( O = [
Diem(A), Diem(B), Diem(C), Diem(O), Diem(A1), Diem(B1), Diem(C1), Diem(J), Diem(K), Diem(H) ], Facts = [
["XacDinh", A ], ["XacDinh", B ],
["XacDinh", O], ["XacDinh", A1], ["XacDinh", B1], ["XacDinh", C1],
["KhongDongPhang", A, B, C, O], ["Thuoc", A1, DuongThang(O,A)], ["Thuoc", B1, DuongThang(O,B)], ["Thuoc", C1, DuongThang(O,C)] ],
FFacts = [
J = GiaoDiem( DuongThang(B,C), DuongThang(B1,C1) )H = GiaoDiem( DuongThang(C,A), DuongThang(C1,A1) ), H = GiaoDiem( DuongThang(C,A), DuongThang(C1,A1) ), K = GiaoDiem( DuongThang(A,B), DuongThang(A1,B1) ) ],
Goals = [ ["XacDinh", J], ["XacDinh", H], ["XacDinh", K], ["ThangHang", J, K, H] ] )
Các bước giải mô phỏng:
["XacDinh", B], ["XacDinh", C] → ["XacDinh", DuongThang(B, C)] ["XacDinh", B1], ["XacDinh", C1] → ["XacDinh", DuongThang(B1, C1)] ["XacDinh", DuongThang(B1, C1)], ["XacDinh", DuongThang(B, C)], J = GiaoDiem(DuongThang(B,C), DuongThang(B1,C1)) → ["XacDinh", J] ["XacDinh", C], ["XacDinh", A] → ["XacDinh", DuongThang(C, A)]
["XacDinh", C1], ["XacDinh", A1] → ["XacDinh", DuongThang(C1, A1)] ["XacDinh", DuongThang(C, A)], ["XacDinh", DuongThang(C1, A1)],
H = GiaoDiem(DuongThang(C,A), DuongThang(C1,A1)) → ["XacDinh", H]["XacDinh", A], ["XacDinh", B] → ["XacDinh", DuongThang(A, B)] ["XacDinh", A], ["XacDinh", B] → ["XacDinh", DuongThang(A, B)]
["XacDinh", A1], ["XacDinh", B1] → ["XacDinh", DuongThang(A1, B1)] ["XacDinh", DuongThang(A1, B1)], ["XacDinh", DuongThang(A, B)],
K = GiaoDiem(DuongThang(A,B), DuongThang(A1,B1)) → ["XacDinh", K]["XacDinh", A], ["XacDinh", B],["XacDinh", C] → ["XacDinh", MatPhang(A, B, ["XacDinh", A], ["XacDinh", B],["XacDinh", C] → ["XacDinh", MatPhang(A, B, C)]
["XacDinh", A1], ["XacDinh", B1],["XacDinh", C1] → ["XacDinh", MatPhang(A1, B1, C1)]
K = GiaoDiem( DuongThang(A,B), DuongThang(A1,B1) ) → ["Thuoc", K, Duong(A, B)], ["Thuoc", K, Duong(A1, B1)] → ["Thuoc", K, Duong(A, B)], ["Thuoc", K, Duong(A1, B1)] H = GiaoDiem( DuongThang(C,A), DuongThang(C1,A1) ) → ["Thuoc", H, Duong(C, A)], ["Thuoc", H, Duong(C1, A1)] J = GiaoDiem( DuongThang(B,C), DuongThang(B1,C1) ) → ["Thuoc", J, Duong(B, C)], ["Thuoc", J, Duong(B1, C1)]
["Thuoc", K, Duong(A, B)], ["Thuoc", Duong(A, B), MatPhang(A, B, C)] → ["Thuoc", K, MatPhang(A, B, C)]
["Thuoc", K, MatPhang(A, B, C)], ["Thuoc", K, MatPhang(A1, B1, C1)] → ["Thuoc", K, GiaoTuyen(MatPhang(A, B, C), MatPhang(A1, B1, C1))] ["Thuoc", J, MatPhang(A, B, C)], ["Thuoc", J, MatPhang(A1, B1, C1)] → ["Thuoc", J, GiaoTuyen(MatPhang(A, B, C), MatPhang(A1, B1, C1))] ["Thuoc", H, MatPhang(A, B, C)], ["Thuoc", H, MatPhang(A1, B1, C1)] → ["Thuoc", H, GiaoTuyen(MatPhang(A, B, C), MatPhang(A1, B1, C1))] ["Thuoc", K, GiaoTuyen(MatPhang(A, B, C), MatPhang(A1, B1, C1))], ["Thuoc", J, GiaoTuyen(MatPhang(A, B, C), MatPhang(A1, B1, C1))], ["Thuoc", H, GiaoTuyen(MatPhang(A, B, C), MatPhang(A1, B1, C1))] → ["ThangHang", K, J, H]
Chương 4
KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN
1.10 Kết luận
Xây dựng được mô hình biểu diễn tri thức cho một phần kiến thức HÌNH HỌC KHÔNG GIAN LỚP 11 của chương trình Trung học Phổ thông hiện hành.
1.11 Hướng phát triển
Về mặt khoa học:
- Xây dựng mô hình cơ sở tri thức hoàn chỉnh cho toàn bộ kiến thức HÌNH HỌC KHÔNG GIAN LỚP 11.
Về mặt ứng dụng:
- Phát triển và hoàn thiện chương trình thành phần mềm giải toán hoàn chỉnh trong hệ thống hỗ trợ giải bài tập toán HÌNH HỌC KHÔNG GIAN LỚP 11 chương trình Trung học Phổ thông tất cả các dạng toán từ cơ bản đến nâng cao để đưa vào thực tế phục vụ nhu cầu học tập cho học sinh.
- Thêm vào đó, chương trình sẽ có phần hỗ trợ vẽ hình theo từng bước giải trong lời giải để người dùng dễ dàng theo dõi bài giải hơn.
- Cuối cùng là việc triển khai ứng dụng giải toán trên mạng Internet để cho học sinh dễ dàng truy cập và sử dụng rộng rãi trong phạm vi toàn quốc.
TÀI LIỆU THAM KHẢO
[1]Nhon Van Do, “Intelligent Problem Solvers in Education: Design Method and Applications, Intelligent Systems”, Prof. Vladimir M. Koleshko (Ed.), ISBN:
978-953-51-0054-6, InTech, (2012). Available from:
http://www.intechopen.com/books/intelligent-systems/intelligent-problem- solvers-in-education-design-method-and-applications
[2]Nhon Do, Model for Knowledge Bases of Computational Objects, IJCSI International Journal of Computer Science Issues, Vol. 7, Issue 3, No. 8, pp. 11 – 20, 2010
[3]Nhon Do, Trang Nguyen, Diem Nguyen – A program for Solving Problems in Vector Algebra and Analytic Geometry – World Academy of Science, Engineering and Technology 59, 2011
[4]Nhon Do, Hien Nguyen, A Reasoning method on Knowledge Base of Computational Ojects and Designing a System for automatically solving plane geometry problems, In Proceeding of World Congress on Engineering and Computer Science 2011, (WCECS 2011), ISBN: 978-988-18210-9-6, pp. 294- 299, San Francisco, USA, October 2011.
[5]https://en.wikipedia.org/wiki/Interactive_geometry_software#General_features
[6]Phần mềm học toán Mathtutor http://www.mathtutor.com/
[7]Hỗ trợ học Online http://www.k5learning.com/