tailieunhanh - Hệ giải toán tự động dựa trên tri thức về giới hạn, đạo hàm, tích phân

Bài báo này sẽ đưa ra cách biểu diễn tri thức và các thuật giải mô phỏng suy luận của con người trong việc giải bài toán tìm giới hạn, đạo hàm và tích phân. Các tác giả cũng cài đặt một chương trình giải các bài toán trên và cho lời giải tường minh cùng những giải thích tương ứng giống như lời giải của con người. Chương trình được viết dựa trên phần mềm MAPLE9. | HỆ GIẢI TOÁN Tự ĐỘNG DựA TRÊN TRI THỨC VÊ GIỚI HẠN ĐẠO HÀM TÍCH PHÂN ĐỖ Văn Nhơn Đại học Quốc Gia Trung tâm Phát triển CNTT Email dvnhon@. vn Phạm Thi Vương Đọi học Khoa học Tự nhiên Email ptvuong@mathdep. hcmuns. edu. vn Tóm tắt Biểu diễn tri thức và suy luận giải các bài tập toản học có vai trò rat quan trọng đổi với các phần mềm giáo dục. vẩn để tỉnh giới hạn đạo hàm tỉch phân đã được thực hiện trong một số hệ đại số máy tinh như MAPLE ỉ và MATHEMATỈCA 2 . Tuy nhiên các phần mềm này chi cho ta kết quả mà không có lời giải thể hiện quá trình suy luận như con người với sự vận đụng trì thức được lưu trữ trong cơ sở tri thức của hệ thống. Bàì bảo này sẽ đưa ra cách biểu diễn tri thức và các thuật giải mô phỏng suy luận của con người trong việc giải bài toán tìm giới hạn đạo hàm và tích phân. Chúng tôi cũng cài đặt một chương trình giải các bài toán trên và cho lời giải tường minh cùng những giải thích tương ứng giống như lời giải của con người. Chương trình được viết dựa trên phần mem MAPLE 9. Từ khóa phần mềm giáo dục biểu diễn tri thức suy diễn tự động giải quyết vấn đề dựa trì thức. 1. ĐẶT VÁN ĐỀ Các bài toàn tìm giới hạn tính đạo hàm tích phân của một hàm so là những bài toán căn bản và quan trọng chúng ỉà nền tảng của nhiều vấn đề trong khoa học kỹ thuật. Trong chương trinh giáo dục phổ thông cũng như đại học các kiến thức và phương pháp giài toán về giới hạn tính đạo hàm tích phân lả phần kiến thức bắt buộc phải nam vững. Chương trình toán cao cấp về giải tích 1 biến với nội dung chính là tìm giới hạn tính đạo hàm tích phân cùa một hàm số được được giảng dạy cho tất cả sinh viên khối tự nhiên - kỹ thuật. Việc xây dựng một hệ chương trình giải tự động các bài toán trên có một ý nghĩa thiết thực cho việc học và dạy toán. Trên thị trường phần mềm giáo dục cùng đã có nhiều phẩn mềm giải toán và có một số hệ đại số máy tính như MAPLE MATHEMATIC A 2 đểu có các lệnh để giải quyết các vấn đề này. Tuy nhiên vẫn thiếu vắng các phần mềm giải toán tự