Xây dựng ứng dụng hỗ trợ tra cứu kiến thức toán trung học phổ thông

i LỜI CAM ĐOAN Tôi xin cam đoan luận văn thạc sĩ công nghệ thông tin “Ứng dụng hỗ trợ tra cứu kiến thức tốn trung học phổ thơng” tơi nghiên cứu, tổng hợp thực Tồn nội dung luân văn, điều trình bày cá nhân tơi tham khảo, tổng hợp trích xuất với nguồn gốc rõ ràng Các số liệu, kết nêu luận văn trung thực chưa công bố cơng trình khác TP Hồ Chí Minh, ngày 12 tháng 07 năm 2022 Học viên thực luận văn Nguyễn Duy Thanh ii LỜI CẢM ƠN Em xin chân thành gởi lời cảm ơn sâu sắc đến thầy PGS.TS Đỗ Văn Nhơn, người thầy tận tâm, nhiệt tình hướng dẫn động viên em suốt trình thực đề tài Luận văn khó hồn thành khơng có truyền đạt kiến thức quí báu hướng dẫn nhiệt tình thầy Đặc biệt, em xin chân thành gởi lời cảm ơn đến quý Thầy Cô trường Học viện Bưu Chính Viễn Thơng sở Tp Hồ Chí Minh tận tình dạy bảo cho em nhiều kiến thức bổ ích suốt thời gian học tập trường, tạo điều kiện cho em thực đề tài Xin cảm ơn tất bạn bè động viên, giúp đỡ đóng góp cho tơi nhiều ý kiến q báu, qua đó, giúp tơi hoàn thiện cho đề tài Và cuối cùng, không quên gửi lời cảm ơn đến tác giả báo cáo nghiên cứu khoa học mà tơi tham khảo tìm hiểu cho đề tài Luận văn hoàn thành với số kết định nhiên khơng tránh khỏi thiếu sót Kính mong cảm thơng đóng góp ý kiến từ q Thầy Cơ bạn TP Hồ Chí Minh, ngày 12 tháng 07 năm 2022 Học viên thực luận văn Nguyễn Duy Thanh iii DANH MỤC CÁC THUẬT NGỮ, CHỮ VIẾT TẮT VIẾT TẮT TIẾNG ANH TIẾNG VIỆT COKB Computational Objects Knowledge-Based Model Mơ hình tri thức COKB KB_HM Knowledge-Base Model for Highschool Mathematics Mơ hình sở tri thức cho Tốn trung học Phổ thơng COKB_SIMPLE Simple Computational Objects Knowledge-Based Model Mơ hình tri thức COKB đơn giản KW Keywords Từ khoá C-TREE Chapter Tree Cây chương mục TOPIC Topics Chủ đề KB Knowledge Base Cơ sở tri thức iv DANH SÁCH BẢNG Bảng 2.1: Danh mục khái niệm 15 Bảng 2.2: Danh mục quan hệ phân cấp 19 Bảng 2.3: Danh mục quan hệ 19 Bảng 2.4: Danh mục chủ đề 20 Bảng 2.5: Danh mục tập 20 Bảng 2.6: Danh mục phương pháp giải 23 Bảng 2.7: Danh mục quy tắc/công thức/định lý 24 Bảng 4.1: kết thử nghiệm tìm kiếm theo từ khóa 60 Bảng 4.2: Kết thử nghiệm tìm kiếm theo mẫu câu quy ước loại 61 Bảng 4.3: So sánh kết hệ thống số hệ thống 61 Bảng Danh mục câu truy vấn thu thập 69 Bảng Cây chương mục 71 v DANH SÁCH HÌNH VẼ Hình 2.1: Cấu trúc thành phần tri thức 30 Hình 4.2: Sơ đồ kiến trúc sở liệu quan hệ hệ thống 52 vi MỤC LỤC LỜI CAM ĐOAN i LỜI CẢM ƠN ii DANH MỤC CÁC THUẬT NGỮ, CHỮ VIẾT TẮT iii DANH SÁCH BẢNG iv DANH SÁCH HÌNH VẼ v MỤC LỤC vi MỞ ĐẦU CHƯƠNG – TỔNG QUAN 1.1 Lý chọn đề tài 1.2 Tổng quan vấn đề nghiên cứu 1.3 Mục tiêu nghiên cứu 1.4 Đối tượng phạm vi nghiên cứu 11 1.5 Phương pháp nghiên cứu 12 CHƯƠNG – THIẾT KẾ CƠ SỞ TRI THỨC CHO HỆ THỐNG TRA CỨU KIẾN THỨC TOÁN TRUNG HỌC PHỔ THÔNG 13 2.1 Thu thập tri thức phân loại 13 2.1.1 Quy trình thu thập sở tri thức 13 2.1.2 Phân loại sở tri thức 14 2.2 Mô hình hóa sở tri thức 25 2.2.1 Mơ hình biểu diễn tri thức cho thiết kế phân hệ tìm kiếm truy vấn kiến thức 26 2.2.2 Đặc tả tổ chức sở tri thức 30 CHƯƠNG - BÀI TỐN TÌM KIẾM VÀ THUẬT GIẢI 35 3.1 Bài tốn tìm kiếm theo từ khóa 35 3.1.1 Phát biểu toán 35 3.1.2 Thuật giải 35 vii 3.2 Bài tốn tìm kiếm theo phân loại kiến thức 39 3.2.1 Phát biểu toán 39 3.2.2 Thuật giải 39 3.2 Bài tốn tìm kiếm theo quy ước đặc tả 42 3.2.1 Quy ước đặc tả đơn giản 43 3.2.2 Xử lý cú pháp quy ước 46 CHƯƠNG - CÀI ĐẶT THỬ NGHIỆM VÀ ĐÁNH GIÁ 49 4.1 Phân tích xác định yêu cầu 49 4.3 Thiết kế hệ thống 50 4.3.1 Kiến trúc hệ thống hỗ trợ học tập Toán THPT 50 4.2.2 Thiết kế sở tri thức 52 4.2.3 Thiết kế module 53 4.3 Cài đặt triển khai thử nghiệm 53 4.3.1 Cài đặt hệ thống 53 4.3.2 Kết thử nghiệm 58 4.3.4 So sánh đánh giá 59 CHƯƠNG -KẾT LUẬN 61 5.1 Kết đạt 61 5.2 Hạn chế đề tài 61 5.3 Hướng phát triển 62 DANH MỤC TÀI LIỆU THAM KHẢO 63 PHỤ LỤC 67 MỞ ĐẦU Theo thị 58-CT/TW yêu cầu đẩy mạnh ứng dụng CNTT Giáo dục đào tạo cấp, bậc, ngành học theo Quyết định Số 411/QĐ-TTg việc phê duyệt chiến lược quốc gia phát triển kinh tế số xã hội số đến năm 2015, định hướng đến năm 2030 cho tất lĩnh vực, có lĩnh vực giáo dục Vì vậy, việc tăng cương phát triển ứng dụng CNTT lĩnh vực GD-ĐT xu hướng tất yếu để hướng đến “Kinh tế số - xã hội số” lĩnh vực giáo dục Tốn mơn học quan trọng chương trình giáo dục Việt Nam, đặc biệt kiến thức toán cấp bậc Trung học Phổ thơng Vì việc xây dựng hệ thống hỗ trợ học tập cho học sinh học Toán cấp Trung học Phổ thơng hữu ích có ý nghĩa lớn người dạy người học Có nhiều hệ thống hỗ trợ việc học tập môn Toán THPT giải tập, đánh giá kiến thức, tìm kiếm kiến thức đơn giản như: Violympic.vn, Moon.vn, 789.vn, Hocmai.vn, Violet.vn, damsanx.com, WolframAlpha, Mathway, Symbolab Các hệ thống tập trung vào việc giải tự động tập, thi trắc nghiệm khách quan, hỗ trợ xem video tìm kiếm mà chưa hỗ trợ nhiều việc tìm kiếm kiến thức theo từ khố, theo phân loại kiến thức, ,theo số quy ước đơn giản phạm vi miền tri thức Toán THPT Bằng công cụ ontology số giải pháp biểu diễn tri thức từ kết nghiên cứu có, luận văn vận dụng điều chỉnh giải pháp để hướng đến biểu diễn miền tri thức Tốn THPT, xem xét lớp vấn đề tìm kiếm kiến thức dựa từ khoá, theo phân loại kiến thức, theo quy ước đơn giản thuật giải nghiên cứu đề xuất Kết q trình luận văn xây dựng ứng dụng hỗ trợ tra cứu kiến thức THPT, với số chức tìm kiếm từ khố đơn giản, tìm kiếm theo số quy ước đơn giản Kết trả bao gồm kết kết liên quan Ứng dụng xây dựng triển khai thử nghiệm Trường THPT Tây Ninh địa Nguyễn Chí Thanh, Khu phố 1, Tây Ninh Kết nhận số phản hồi tích cực từ giáo viên học sinh Kết luận văn trình bày bao gồm phần mở đầu Chương  Chương luận văn đề cập đến số thông tin nghiên cứu liên quan, trạng từ xác định số mục tiêu luận văn  Chương luận văn trình bày cách thức quy trình xây dựng mơ hình biểu diễn tri thức từ thực tế Và từ đề xuất một mơ hình phù hợp cho miền tri thức, với phù hợp với yêu cầu chức hệ thống tra cứu kiến thức  Chương luận văn đề cập đến số lớp toán tra cứu kiến thức bao gồm: (1) tốn tìm kiếm theo từ khố thuật giải để giải toán; (2) tốn tìm kiếm theo phân loại thuật giải; (3) tốn tra cứu kiến thức theo ngơn ngữ quy ước đơn giản Trong toán luận văn đưa hai cấu trúc quy ước đơn giản theo mơ hình biểu diễn tri thức chương Cùng với thuật giải suy luận kèm theo  Chương luận văn tập trung vào việc vận dụng kết chương chương từ xác định yêu cầu chức hệ thống xây dựng ứng dụng hỗ trợ tra cứu kiến thức Tốn THPT Bên cạnh đưa số kết thử nghiệm so sánh với số ứng dụng  Chương phần kết luận gồm mặt làm, hạn chế định hướng phát triển CHƯƠNG – TỔNG QUAN 1.1 Lý chọn đề tài Tốn học mơn học quan trọng, chương trình giáo dục Việt Nam Đặc biệt Tốn cấp Trung học Phổ thơng (THPT) chương trình giáo dục Việt Nam Nhu cầu học tập kiến thức Toán lớn (theo [17]) Hiện nay, để truyền đạt kiến thức cho học sinh chủ yếu dựa vào phương pháp truyền thống như: giáo viên thuyết giảng cho học sinh (truyền tải trực tiếp, thông qua video giảng), em học sinh chủ động tiếp nhận kiến thức từ trình truyền tải này, hay tìm kiến thức sách giáo khoa Từ đổi mới, ứng dụng công nghệ thông tin giáo dục theo [10], việc xây dựng hệ thống hỗ trợ cho học sinh học tập mơn Tốn THPT cần thiết phù hợp với chủ chương Bộ giáo dục Tìm kiếm, tra cứu theo phân loại, theo kiến thức liên quan chức cho việc hỗ trợ học tập học sinh Vì vậy, việc xây dựng Hệ thống cho phép người dùng xem kiến thức, tìm kiếm truy vấn liên quan đến khái niệm, định nghĩa, tính chất, định lý, công thức, dạng tập, phương pháp giải, lời giải cho tập hay nhóm chủ đề kiến thức cần thiết có ý nghĩa em học sinh Hiện có nhiều hệ thống có hỗ trợ học tập mơn Tốn THPT, dựa q trình phần tích chức hệ thống, ta chia gồm hai nhóm sau: nhóm hỗ trợ chức cung cấp video giảng đánh giá kiến thức Violympic.vn, Moon.vn, 789.vn, Hocmai.vn, Violet.vn, damsanx.com Các nhóm hỗ trợ chức giải tập tự động WolframAlpha, Mathway, Symbolab Dù hỗ trợ nhóm chức hữu ích, Tuy nhiên, hệ thống chưa tập trung nhiều vào việc hỗ trợ tìm kiếm kiến thức, truy vấn kiến thức theo phân loại khái niệm, định nghĩa, tính chất, định lý công thức, dạng tập, phương pháp giải, lời giải cho dạng tập hay nhóm chủ đề kiến thức.Để xây dựng hệ thống thơng minh, có khả hỗ trợ việc tìm kiếm, truy vấn kiến thức theo phân loại, 57 3.3.1.4 Giao diện quản trị thức khái niệm Hình 4.8: Giao diện quản trị tri thức khái niệm 3.3.1.5 Giao diện quản trị chương mục Hình 4.9: Giao diện quản trị chương mục 58 Thêm mục Hình 4.10: Giao diện cập nhật nội dung mục chương mục 4.3.2 Kết thử nghiệm 4.3.2.1 Chức tìm kiếm từ khóa Với chức tìm kiếm, thử nghiệm 100 từ khóa khái niệm, lớp toán, định lý, tính chất…vv Bên bảng tóm tắt kết trả từ từ khóa thử nghiệm Bảng 4.1: kết thử nghiệm tìm kiếm theo từ khóa STT 10 11 TỪ KHÓA ĐƯỢC NHẬP VÀO Nguyên hàm Tích phân Đạo hàm Hàm lượng giác Lơgarit Lơgarit hàm số mũ Bất phương trình mũ Cưc trị Tính đơn điệu Đường tiệm cận Phần mềm 59 4.3.2.2 Chức tìm kiếm theo câu truy vấn Bảng 4.2: Kết thử nghiệm tìm kiếm theo mẫu câu quy ước loại STT CÂU TRUY VẤN CÁCH NHẬP Định nghĩa hàm số Ví dụ hàm số Tính đơn điệu hàm số Ví dụ lơgarit Tính chất lôgarit Bài tập lôgarit Định nghĩa đồng biến Định nghĩa nghịch biến Phương pháp giải tốn tìm đồng biến nghịch biến hàm số Điều kiện để hàm số đơn điệu [Định nghĩa][hàm số] [ví dụ][hàm số] [tính đơn điệu][của][hàm số] [ví dụ][lơgarit] [tính chất][lơgarit] [bài tập][lơgarit] [định nghĩa][sự đồng biến] [định nghĩa][sự nghịch biến] [phương pháp][giải][bài tốn tìm đồng biến nghịch biến hàm số] [điều kiện][để][hàm số đơn điệu] 10 11 4.3.4 So sánh đánh giá Qua trình triển khai thử nghiệm, hệ thống đáp ứng số yêu cầu quan trọng hệ hỗ trợ học tập Toán THPT Bên bảng so sánh hệ thống số hệ thống internet Bảng 4.3: So sánh kết hệ thống số hệ thống CHƯƠ LOẠI HỖ TRỢ TÌM HỖ TRỢ TÌM KẾT QUẢ NG CƠNG KIẾM THEO KIẾM THEO CÚ TRẢ VỀ CĨ TRÌNH CỤ TỪ KHĨA PHÁP QUY ƯỚC PHÂN LOẠI Có hỗ trợ tìm kiếm Có phân loại theo số cú pháp theo kết Google Search Có hỗ trợ tìm [9] Engine theo từ khóa như: site, related, gồm: hình intitle, intext, ảnh, video, filetype sách, … KẾT QUẢ TRẢ VỀ PHẠM VI KIẾN THỨC Là Đa lĩnh website vực 60 Là tập Violet, tailieu, hoc247 [4, 5, 6] tin Web Applicati on Có hỗ trợ tìm Khơng hỗ trợ tìm Khơng phân theo từ khóa kiếm theo cú pháp loại *.ppt|*.pptx, *pdf, *doc|*docx, Đa lĩnh vực link download My system Web Applicati on Có hỗ trợ: tìm xác, tìm tương đương ngữ nghĩa Có phân loại Nội dung Có hỗ trợ: cú pháp tri thức như: (TEXT), nội đơn giản phân loại khái niệm, dung liên tri thức tập, chủ đề, quan hướng dẫn (TEXT) Toán THPT Dựa vào kết ta thấy rằng, công cụ hỗ trợ công cụ search engine (google) hay website hỗ trợ học tập Violet, tailieu, hoc247 hỗ trợ chung cho tất nhóm đối tượng nhiều lĩnh vực khác khơng tập trung vào việc hỗ trợ cho nhóm người học tập học phần Tốn THPT, việc khai thác tính đặc thù tri thức, nhóm đối tượng riêng theo học học phần nhiều hạn chế chưa mang lại hiệu quả, thuận tiện người dùng Hệ thống luận văn thiết kế mang tính chất đặc thù, hỗ trợ số khía cạnh sâu nhu cầu học tìm kiếm kiến thức tập trung cho học phần Toán THPT Hệ thống triển khai đánh giá tốt từ học viên học sinh ngành đanh theo học học phần trường Trường THPT Tây Ninh 61 CHƯƠNG -KẾT LUẬN 5.1 Kết đạt Qua q trình tìm hiểu, nghiên cứu hồn thành luận văn, đề tài đạt số kết sau:  Về ứng dụng o Xây dựng ứng dụng web (web application) hỗ trợ học sinh học tập mơn Tốn THPT giáo viên chủ động việc xây dựng sở tri thức Tốn THPT  Về góc độ khoa học kỹ thuật o Đề tài đưa dạng ontology domain, cho phép biểu diễn miền tri thức có dạng tương đồng, có cấu trúc cầu thành gồm: khái niệm, quan hệ, toán tử, hàm, luật, quan hệ, chương mục, từ khóa, chủ đề o Đề tài đưa số lớp tốn tổng qt mơ hình đề xuất, bao gồm: tốn tìm kiếm theo từ khóa; tốn tìm kiếm theo phân loại; đề tài đưa số mẫu câu quy ước đơn giản xem xét tốn tìm kiếm theo quy ước đơn giản kỹ thuật xử lý câu quy ước o Các lớp toán xem xét luận văn mơ hình hóa thuật giải cài đặt dạng module hóa Cho phép vận dụng vào số miền tri thức khác 5.2 Hạn chế đề tài Do giới hạn thời gian thực đề tài kiến thức phương pháp biểu diễn tri thức suy luận nên nội dung đề tài có hạn chế định: 62  Quá trình thử nghiệm hạn chế số lượng tri thức nhập vào chưa nhiều  Mơ hình biểu diễn tri thức đơn giản, chưa thể biểu diễn sâu mặt định tính tri thức, chẳng hạn khái niệm ta lưu trữ nội dung dạng TEXT, mà không xét sâu biểu diễn nội dung này? Nó dạng gì? Và nên nào?  Cú pháp hỗ trợ truy vấn đơn giản chưa đưa số cú pháp quy ước hỗ trợ phức tạp việc truy vấn, chẳng hạn truy vấn mang tính tính tốn 5.3 Hướng phát triển Với kết đạt hạn chế nêu trên, đề tài phát triển theo số hướng sau đây:  Bổ sung đầy đủ miền tri thức  Nghiên cứu số lớp câu mẫu truy vấn, mang tính chất tính tốn, suy luận  Nghiên cứu cú pháp truy vấn cho tự nhiên 63 DANH MỤC TÀI LIỆU THAM KHẢO Tiếng Việt [1] Trần Văn Hạo (Tổng chủ biên), Vũ Tuấn (Chủ biên), Lê Thị Thiên Hương, Nguyễn Tiến Tài, Cấn Văn Tuất, (2019), Sách giáo khoa Giải tích 12, nhà xuất Giáo dục, Việt Nam [2] Trần Văn Hạo (Tổng chủ biên), Nguyễn Mộng Hy (Chủ biên), Khu Quốc Anh, Trần Đức Huyên, (2019), Sách giáo khoa Hình học 12, nhà xuất Giáo dục, Việt Nam [3] Trần Văn Hạo (Tổng chủ biên), Vũ Tuấn (Chủ biên), Đào Ngọc Nam, Lên Văn Tiến, (2019), Sách giáo khoa Đại số giải tích 11, nhà xuất Giáo dục, Việt Nam, (2019) [4] Trần Văn Hạo (Chủ biên), Nguyễn Mộng Hy (Chủ biên), Khu Quốc Anh, Nguyễn Hà Thanh, Phan Văn Viện, (2019), Sách giáo khoa Hình học 11, nhà xuất Giáo dục Việt Nam [5] Trần Văn Hạo (Tổng chủ biên), Vũ Tuấn (Chủ biên), Doãn Minh Cường, Đỗ Mạnh Hùng, Nguyễn Tiến Tài (2019), Sách giáo khoa Đại số 10, nhà xuất Giáo dục Việt Nam [6] Trần Văn Hạo (Chủ biên), Nguyễn Mộng Hy (Chủ biên), Nguyễn Văn Đoành, Trần Đức Huyên, (2019), Sách giáo khoa Hình học 10, Nhà xuất Giáo dục Việt Nam [7] Nguyễn Thị Thu Hồng (2019), Hệ thống hỗ trợ đánh giá kiến thức tốn Trung học Phổ thơng, Luận văn thạc sĩ Khoa Khoa học máy tính, Trường Đại học Cơng nghệ thông tin – Đại học quốc gia TP HCM [8] Đỗ Văn Nhơn, Nguyễn Đình Hiển, (2017), Các hệ sở tri thức, NXB ĐHQG-HCM [9] Lê Hồng Thái, (2020), luận văn thạc sĩ, Ứng dụng web hỗ trợ học Lý thuyết đồ thị, Trường Đại học Công nghệ thông tin – Đại học quốc gia TP HCM [10] Ban chấp hành trung ương, (2000), Chỉ thị 58-CT/TW ngày 17/10/2000 [11] Công ty Cổ phần Mạng giáo dục Bạch Kim, (2008), VIOLET | https://violet.vn/ Truy cập ngày 02 tháng 03 năm 2021 64 [12] Công ty Cổ phần Đầu tư Dịch vụ Giáo dục, (2016), Hocmai: https://hocmai.vn/kiem-tra-thi-thu/, (truy cập ngày tháng 10 năm 2018 [13] Công ty cổ phần công nghệ giáo dục trực tuyến aladanh, (2017), moon, https://moon.vn/, (truy cập ngày 11 tháng 10 năm 2018) [14] Công ty CP Công nghệ Giáo dục 789, (2019), 789: https://789.vn/, (truy cập ngày 03 tháng 10 năm 2019) [15] FPT, (2008), VIOLYMPIC, http://violympic.vn/ Truy cập ngày 02 tháng 03 năm 2021 [16] Công ty Cổ phần Mạng giáo dục Bạch Kim, (2012), Violet, https://violet.vn/ Truy cập ngày 20 tháng 10 năm 2020 [17] Báo lao động, (2009), Lao Động, https://laodong.vn/giao-duc/gan-1-trieu-thi-sinhbuoc-vao-ky-thi-tot-nghiep-thpt-nam-2020-6263-tinh-tp-da-san-sang-826034.ldo Truy cập ngày 02 tháng 10 năm 2020 Tiếng Anh [18] Carlos Ramirez, Benjamin Valdes, (2012), “A General Knowledge Representation Model of Concepts”, Advances in Knowledge Representation [19] Chunyan Yang, Wen Cai, (2008), “Knowledge Representations based on Extension Rules”, Proceedings of the 7thWorld Congress on Intelligent Control and Automation [20] E Roanes-Lozano, L M Laita & A Hernando & E Roanes-Macias, (2010), “An algebraic approach to rule based expert systems”, Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales Serie A Matematicas (RACSAM), (Volume 104, Issue 1), pp 19-40 [21] Eduardo Guzmán, Ricardo Conejo, “A Model for Student Knowledge Diagnosis Through Adaptive Test”, 7th International Conferences On Intelligent Toturing Systems (ITS 2004), Proceedings, (Vol 3220), pp 12-21 65 [22] Frank van Harmelem, Vladimir & Bruce, (2008), “Handbook of Knowledge Representation” Elsevier [23] John F Sowa, (2000), “Knowledge Representation - Logical, Philosophical, and Computational Foundations”, Inc [24] Natasha Noy - Deborah McGuinness (Eds), (2013), “Final Report on the 2013 NSF Workshop on Research Challenges and Opportunities in Knowledge Representation”, National Science Foundation Workshop Report [25] Nhon V Do, (2014), “Ontology COKB for designing knowledge-based systems”, Proceeding of 13th International Conference on Intelligent Software Methodologies, Tools, and Techniques (SOMET 2014), pp 354'373 [26] Van Nhon Do, Hien D Nguyen, (2014), “Reducing model of COKB about Operators Knlwedge and Solving problems about Operators”, New Trends in Computational Collective Intelligence, pp 39-49 [27] Nhon Van Do, (2012), “Intelligent Problem Solvers in Education: Design Method and Applications”, Intelligent Systems, Prof Vladimir M Koleshko (Ed.), ISBN: 978-953-51-0054-6, InTech [28] Nhon V Do - Thanh T Mai, (2015), “Intelligent Problem Solving based on COKB Model”, Proceeding of 2015 IEEE International Conferene on Knowledge and Systems Engineering (KSE 2015), pp 216-221 [29] Ioannis Hatzilygeroudis - Jim Prentzas, “Knowledge Representation Requirements for Intelligent Tutoring Systems”, 7th International Conferences On Intelligent Toturing Systems (ITS 2004), Proceedings, (Vol 3220), pp 87-97 [30] Stuaart Russell, Peter Norvig, (2010), “Artificial Intelligent, A modern approach (third edition)” Prentice Hall [31] EqsQuest Ltd, (2011), Symbolab, www.symbolab.com Truy cập ngày 05 tháng 02 năm 2021 66 [32] CENTER VALLEY, (2016), Mathway, www.mathway.com Truy cập ngày 02 tháng 03 năm 2021 [33] Stanford University, (2012), COURSERA, www.coursera.org/ Truy cập ngày 05 tháng 01 năm 2021 [34] Wolfram Research, (2009), Wolfram Alpha, www.woflframalpha.com Truy cập ngày 01 tháng 02 năm 2021 [35] Deborah L McGuinness, (2009), OWL Web Ontology Language Overview, https://www.w3.org/TR/owl-features Truy cập ngày 03 tháng 03 năm 2021 67 PHỤ LỤC PHỤ LỤC A CÁC CÂU TRUY VẤN THU THẬP Danh mục câu truy vấn thu thập Định nghĩa hàm số Ví dụ hàm số Tính đơn điệu hàm số Định nghĩa lơgarit Tính chất lôgarit Bài tập lôgarit Định nghĩa đồng biến Định nghĩa nghịch biến Bài tập tìm đồng biến nghịch biến hàm số Phương pháp giải tốn tìm đồng biến nghịch biến hàm số Điều kiện để hàm số đơn điệu Cơng thức tính đạo hàm Định nghĩa cực trị hàm số Định lý cực trị Định nghĩa giá trị lớn hàm số Định nghãi giá trị nhỏ hàm số Bài tập tìm điểm cực trị hàm số PHương pháp giải tập tìm điểm cực trị hàm số Định nghĩa đường tiệm cận Khái niệm lũy thừa Khái niệm lũy thừa với số mũ nguyên Khái niệm lũy thừa với số mũ lũy thừa Các tính chất lũy thừa Bài tập lũy thừa So sánh hai lũy thừa Khái niệm hàm số lũy thừa Ví dụ hàm số lũy thừa Khái niệm lơgarit VÍ dụ logarit Các tính chất lơgarit Quy tắc tính lơgarit Cơng thức biến dổi số So sánh hai loogarit số Định nghĩa lôgarit thập phân Ví dụ lơgarit thập phân Định nghĩa lơgarit tự nhiên Định nghĩa hàm số mũ 68 Tính chất hàm số mũ Đạo hàm hàm số mũ Định nghĩa hàm số lôgarit Đạo hàm hàm số lôgarit Phương pháp giải phương trình mũ Phương pháp đưa số Phương trình mũ hóa Phương pháp đặt ẩn dụ Phương pháp hàm số Phương pháp giải phương trình lơgarit Định nghĩa bất phương trình mũ Ví dụ bất phương trình mũ Phương pháp giải bất phương trình mũ Khái niệm nguyên hàm Định lý nguyên hàm Tính chất nguyên hàm Phương pháp tìm nguyên hàm Phương pháp đổi biến số Phương pháp tìm nguyên hàm phần Định nghĩa tích phân Tính chất tích phân Phương pháp tính tích phân Phương pháp tính tích phân phần Khái niệm số phức Ví dụ số phức Tính chất số phức Phép cộng hai số phức Phép trừ hai số phức Phép nhân hai số phức Phép chia hai số phức Định nghĩa phương trình bậc hai với hệ số thực Ví dụ phương trình bậc hai với hệ số thực Định nghĩa khối đa diện Ví dụ khối đa diện Khái niệm tọa độ điểm Ví dụ tọa độ điểm Các phép tốn vector Định nghĩa Tích có hướng Định nghĩa phương trinh mặt cầu Định nghĩa tích có hướng hai vector Tính chất tích có hướng hai vector Ứng dụng tích có hướng 69 Định nghĩa phương trình tổ quát mặt phẳng Khái niệm vector pháp tuyến Định nghĩa phương trình tổng quát hai mặt phẳng Vector pháp tuyến mặt phẳng Phương trình tổng qt mặt phẳng Bài tốn viết phương trình mặt phẳng Định nghĩa phương trình mặt phẳng theo đoạnc chắn Cách xác định vector pháp tuyến mặt phẳng Định nghãi vị trí tương đối mặt phẳng Cách tính Khoảng cách từ điểm đến mặt phẳng Định nghĩa Góc hai mặt phẳng Định nghĩa phương trình tham số đường thẳng Cách xác định vector phương đường thẳng Định nghĩa vị trí tương đối hai đường thẳng Định nghĩa góc hai đường thẳng Ví dụ góc hai đường thẳng Định nghĩa góc đường thẳng mặt phẳng Cách tính khoảng cách từ điểm đến đường thẳng Cách tính khoảng cách đường thẳng mặt phẳng song song PHỤ LỤC B CÂY CHƯƠNG MỤC Cây chương mục Lớp Toán 12 Phần Chương Bài Giải tích Chương I: Ứng Dụng Đạo Hàm Để Khảo Sát Và Vẽ Đồ Thị Của Hàm Số Bài 1: đồng biên nghịch biến Bài 2: Cực Trị Của Hàm Số Bài 3: Giá Trị Lớn Nhất Và Giá Trị Nhỏ Nhất Của Hàm Số Bài 4: Đường Tiệm Cận Bài 5: Khảo Sát Sự Biến Thiên Và Vẽ Đồ Thị Của Hàm Số Chương II: Hàm Số Lũy Thừa Hàm Số Mũ Và Hàm Số Lôgarit Bài 1: Lũy Thừa Bài 2: Hàm Số Lũy Thừa Bài 3: Lôgarit Bài 4: Hàm Số Mũ, Hàm Số Lôgarit 70 Bài 5: Phương Trình Mũ Và Phương Trình Lơgarit Bài 6: Bất Phương Trình Mũ Và Bất Phương Trình Lơgarit Chương III: Nguyên Hàm – Tích Phân & Ứng Dụng Bài 1: Nguyên Hàm Bài 2: Tích Phân Bài 3: Ứng Dụng Của Tích Phân Trong Hình Học Chương IV: Số Phức Bài 1: Số Phức Bài 2: Cộng, Trừ Và Nhân Số Phức Bài 3: Phép Chia Số Phức Bài 4: Phương Trình Bậc Hai Với Hệ Số Thực Hình học Chương I: Khối Đa Diện Bài 1: Khái Niệm Về Khối Đa Diện Bài 2: Khối Đa Diện Lồi Và Khối Đa Diện Đều Bài 3: Khái Niệm Về Thể Tích Của Khối Đa Diện Chương II: Mặt Nón, Mặt Trụ, Mặt Cầu Bài 1: Khái Niệm Về Mặt Tròn Xoay Bài 2: Mặt Cầu Chương III: Phương Pháp Tọa Độ Trong Không Gian Bài 1: Hệ Tọa Độ Trong Khơng Gian Bài 2: Phương Trình Mặt Phẳng Bài 3: Phương Trình Đường Thẳng Trong Khơng Gian Lớp 11 Đại số giải tích 11 Chương I: Lượng Giác Bài 1: Các Hàm Số Lượng Giác Bài 2: Phương Trình Lượng Giác Cơ Bản Bài 3: Một Số Phương Trình Lượng Giác Thường Gặp Chương II: Tổ Hợp Và Xác Xuất Bài 1: Quy Tắc Đếm Bài 2: Hoán Vị, Chỉnh Hợp Tổ Hợp Bài 3: Nhị Thức Niu-Tơn Bài 4: Phép Thử Và Biến Cố 71 Bài 5: Xác Suất Của Biến Cố Chương III: Dãy Số - Cấp Số Cộng Và Cấp Số Nhân Bài 1: Phương Trình Quy Nạp Tốn Học Bài 2: Dãy Số Bài 3: Cấp Số Cộng Bài 4: Cấp Số Nhân Hình học Chương I: Vectơ Trong Khơng Gian Quan Hệ Vng Góc Trong khơng Gian Bài 1: Vectơ Trong Khơng Gian Bài 2: Hai Đường Thẳng Vng Góc Bài 3: Đường Thẳng Vng Góc Với Mặt Phẳng Bài 4: Hai Đường Thẳng Vng Góc Lớp 10 Đại số 10 Chương I: Bất Đẳng Thức Bất Phương Trình Bài 1: Bất Đẳng Thức Bài 2: Bất Phương Trình Và Hệ Bất Phương Trình Một Ẩn Bài 3: Dấu Của Nhị Thức Bậc Nhất Bài 4: Bất Phương Trình Bậc Nhất Hai Ẩn Bài 5: Dấu Của Tam Thức Bậc Hai Hình học Chương I: Phương Pháp Tọa Độ Trong Mặt Phẳng Bài 1: Phương Trình Đường Thẳng Bài 2: Phương Trình Đường Trịn Bài 3: Phương Trình Đường Elip