Hệ Thống Hỗ Trợ Tra Cứu Kiến Thức Toán Trung Học Phổ Thông

Chuyên khảo kỹ thuật phân tích Xây dựng ứng dụng hỗ trợ tra cứu kiến thức toán trung học phổ thông, đánh giá các khía cạnh quan trọng, đề xuất hướng nghiên cứu tiếp theo.

• Tác giả: Nguyễn Duy Thanh
• Người hướng dẫn: PGS.TS Đỗ Văn Nhơn
• Trường học: Học viện Bưu Chính Viễn Thông
• Chuyên ngành: Công nghệ thông tin
• Đề tài: Ứng Dụng Hỗ Trợ Tra Cứu Kiến Thức Toán Trung Học Phổ Thông
• Loại tài liệu: luận văn thạc sĩ
• Năm xuất bản: 2022
• Địa điểm: TP Hồ Chí Minh

Mục lục chi tiết

• LỜI CAM ĐOAN
• LỜI CẢM ƠN
• DANH MỤC CÁC THUẬT NGỮ, CHỮ VIẾT TẮT
• DANH SÁCH BẢNG
• DANH SÁCH HÌNH VẼ
• 1. CHƯƠNG 1: TỔNG QUAN
• 1.1. Lý do 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 và phạm vi nghiên cứu
• 1.5. Phương pháp nghiên cứu
• 2. CHƯƠNG 2: 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
• 2.1. Thu thập tri thức và phân loại
• 2.1.1. Quy trình thu thập cơ sở tri thức
• 2.1.2. Phân loại cơ sở tri thức
• 2.2. Mô hình hóa cơ sở tri thức
• 2.2.1. Mô hình biểu diễn tri thức cho thiết kế phân hệ tìm kiếm và truy vấn kiến thức
• 2.2.2. Đặc tả và tổ chức cơ sở tri thức
• 3. CHƯƠNG 3: BÀI TOÁN TÌM KIẾM VÀ THUẬT GIẢI
• 3.1. Bài toán tìm kiếm theo từ khóa
• 3.1.1. Phát biểu bài toán
• 3.2. Bài toán tìm kiếm theo phân loại kiến thức
• 3.2.1. Phát biểu bài toán
• 3.3. Bài toán tìm kiếm theo quy ước đặc tả
• 3.3.1. Quy ước đặc tả đơn giản
• 3.3.2. Xử lý cú pháp quy ước
• 4. CHƯƠNG 4: CÀI ĐẶT THỬ NGHIỆM VÀ ĐÁNH GIÁ
• 4.1. Phân tích xác định yêu cầu
• 4.2. Thiết kế hệ thống
• 4.2.1. Kiến trúc hệ thống hỗ trợ học tập Toán THPT
• 4.2.2. Thiết kế cơ sở tri thức
• 4.2.3. Thiết kế các module
• 4.3. Cài đặt triển khai thử nghiệm
• 4.3.1. Cài đặt hệ thống
• 4.3.2. Kết quả thử nghiệm
• 4.3.4. So sánh và đánh giá
• 5. CHƯƠNG 5: KẾT LUẬN
• 5.1. Kết quả đạt được
• 5.2. Hạn chế của đề tài
• 5.3. Hướng phát triển
• DANH MỤC TÀI LIỆU THAM KHẢO

Tóm tắt

I. Tổng Quan Hệ Thống Hỗ Trợ Tra Cứu Toán THPT Giới Thiệu

Toán học đóng vai trò then chốt trong chương trình giáo dục Việt Nam, đặc biệt ở cấp THPT. Nhu cầu học tập kiến thức toán THPT là rất lớn. Hiện nay, việc truyền đạt kiến thức chủ yếu dựa vào phương pháp truyền thống. Ứng dụng CNTT trong giáo dục là xu hướng tất yếu. Việc xây dựng một hệ thống hỗ trợ học tập toán THPT là cần thiết và phù hợp với chủ trương của Bộ Giáo dục. Hệ thống này cần cung cấp chức năng tìm kiếm, tra cứu theo phân loại, theo kiến thức liên quan, giúp học sinh tiếp cận kiến thức một cách hệ thống và hiệu quả hơn. Các hệ thống hiện tại như Violympic, WolframAlpha, Mathway, Symbolab còn nhiều hạn chế trong việc này.

1.1. Tầm Quan Trọng của Toán Học THPT và Nhu Cầu Hỗ Trợ

Toán học là môn học nền tảng, trang bị tư duy logic và khả năng giải quyết vấn đề. Việc nắm vững kiến thức toán THPT là yếu tố then chốt cho thành công trong học tập và sự nghiệp sau này. Nhu cầu hỗ trợ học tập toán hiệu quả, đặc biệt là khả năng tra cứu kiến thức toán nhanh chóng và chính xác, ngày càng trở nên cấp thiết. Theo [17], nhu cầu học tập kiến thức toán là rất lớn.

1.2. Các Hệ Thống Hỗ Trợ Học Toán THPT Hiện Tại Ưu và Nhược

Các hệ thống hiện tại như Violympic tập trung vào video bài giảng và đánh giá kiến thức. WolframAlpha, Mathway, Symbolab hỗ trợ giải bài tập tự động. Tuy nhiên, các hệ thống này chưa chú trọng vào việc tìm kiếm kiến thức toán theo phân loại, theo kiến thức liên quan, hoặc theo ngôn ngữ quy ước đơn giản. Điều này gây khó khăn cho học sinh trong việc hệ thống hóa và liên kết kiến thức.

II. Thách Thức Xây Dựng Hệ Thống Tra Cứu Kiến Thức Toán THPT

Để xây dựng một hệ thống tra cứu kiến thức toán THPT thông minh, cần có một cơ sở tri thức phù hợp. Các thành phần tri thức phải được biểu diễn đầy đủ và liên kết với nhau. Hiện nay có nhiều phương pháp biểu diễn tri thức như logic hình thức, mạng ngữ nghĩa, hệ luật dẫn, Ontology. Tuy nhiên, các giải pháp này còn nhiều vấn đề chưa phù hợp cho việc biểu diễn tri thức đáp ứng các chức năng tìm kiếm và truy vấn kiến thức theo phạm vi phân loại: khái niệm, định nghĩa, tính chất, định lý, công thức, bài tập, phương pháp giải.

2.1. Yêu Cầu về Cơ Sở Tri Thức cho Hệ Thống Tra Cứu Toán

Cơ sở tri thức cần biểu diễn đầy đủ các thành phần tri thức toán học như khái niệm, định nghĩa, tính chất, định lý, công thức, bài tập, phương pháp giải. Các thành phần này phải được liên kết với nhau thông qua các mối quan hệ rõ ràng. Điều này cho phép hệ thống tra cứu kiến thức toán một cách hiệu quả và cung cấp thông tin liên quan.

2.2. Hạn Chế của Các Phương Pháp Biểu Diễn Tri Thức Hiện Tại

Các phương pháp biểu diễn tri thức hiện tại như logic hình thức, mạng ngữ nghĩa, hệ luật dẫn, Ontology có những ưu điểm riêng. Tuy nhiên, chúng còn nhiều hạn chế trong việc biểu diễn tri thức toán học một cách đầy đủ và phù hợp cho việc tra cứu kiến thức theo nhiều tiêu chí khác nhau. Cần có một phương pháp biểu diễn tri thức chuyên biệt cho miền tri thức toán THPT.

2.3. Bài Toán Đặt Ra Biểu Diễn Tri Thức Toán THPT Hiệu Quả

Việc đưa ra một phương pháp biểu diễn tri thức có thể biểu diễn được miền tri thức Toán THPT để đảm bảo giải quyết các lớp vấn đề tìm kiếm, tra cứu và truy vấn kiến thức là một nhiệm vụ quan trọng. Kết quả nghiên cứu sẽ được vận dụng và xây dựng ứng dụng hỗ trợ tra cứu kiến thức Toán Trung học phổ thông phục vụ nhu cầu học tập của học sinh cấp THPT.

III. Phương Pháp Xây Dựng Mô Hình Biểu Diễn Tri Thức Toán THPT

Luận văn tập trung vào việc xây dựng một mô hình biểu diễn tri thức cho tri thức toán THPT theo cách tiếp cận ontology. Mô hình này phải đáp ứng các yêu cầu về tra cứu kiến thức như: tra cứu kiến thức theo từ khóa, tra cứu kiến thức theo phân loại kiến thức, tra cứu kiến thức theo một số quy ước đơn giản. Các thuật giải tương ứng cho từng lớp vấn đề này cũng được nghiên cứu và đề xuất. Ứng dụng tra cứu kiến thức toán THPT được phát triển dựa trên mô hình này.

3.1. Tiếp Cận Ontology trong Biểu Diễn Tri Thức Toán THPT

Ontology là một phương pháp biểu diễn tri thức mạnh mẽ, cho phép mô tả các khái niệm, thuộc tính và mối quan hệ giữa chúng. Việc sử dụng ontology trong biểu diễn tri thức toán THPT giúp hệ thống tra cứu kiến thức một cách thông minh và hiệu quả hơn. Các thành phần tri thức được tổ chức một cách có cấu trúc và dễ dàng truy vấn.

3.2. Các Lớp Bài Toán Tra Cứu Kiến Thức Toán THPT

Luận văn đề xuất các lớp bài toán cơ bản của tra cứu kiến thức toán, bao gồm: tìm kiếm theo từ khóa, tìm kiếm theo phân loại, và tra cứu theo ngôn ngữ quy ước đơn giản. Mỗi lớp bài toán có một thuật giải riêng, được thiết kế để tận dụng tối đa thông tin trong cơ sở tri thức.

3.3. Thuật Giải cho Bài Toán Tra Cứu Kiến Thức Toán THPT

Các thuật giải được thiết kế để giải quyết các lớp vấn đề liên quan đến tra cứu kiến thức toán. Ví dụ, thuật giải tìm kiếm theo từ khóa sử dụng các kỹ thuật xử lý ngôn ngữ tự nhiên để xác định các khái niệm liên quan đến từ khóa và trả về kết quả phù hợp. Thuật giải tìm kiếm theo phân loại sử dụng cấu trúc ontology để tìm kiếm các khái niệm thuộc một phân loại nhất định.

IV. Ứng Dụng Hệ Thống Hỗ Trợ Tra Cứu Kiến Thức Toán THPT

Dựa trên mô hình biểu diễn tri thức và các thuật giải đã được nghiên cứu, một ứng dụng hỗ trợ tra cứu kiến thức toán THPT đã được xây dựng. Ứng dụng này cung cấp các chức năng tìm kiếm kiến thức theo từ khóa, theo phân loại kiến thức, và theo một số quy ước đặc tả đơn giản. Ứng dụng được thiết kế để hỗ trợ cả học sinh và giáo viên trong việc học tập và giảng dạy toán.

4.1. Chức Năng của Hệ Thống Tra Cứu Toán THPT

Hệ thống cung cấp các chức năng chính sau: tìm kiếm kiến thức theo từ khóa, tìm kiếm theo phân loại kiến thức, tìm kiếm theo quy ước đặc tả đơn giản, và cập nhật tri thức (dành cho giáo viên). Các chức năng này được thiết kế để đáp ứng nhu cầu của cả học sinh và giáo viên.

4.2. Giao Diện Người Dùng Thân Thiện và Dễ Sử Dụng

Giao diện người dùng được thiết kế thân thiện và dễ sử dụng, giúp người dùng dễ dàng tra cứu kiến thức toán một cách nhanh chóng và hiệu quả. Các chức năng được bố trí một cách logic và trực quan, giúp người dùng dễ dàng tìm kiếm thông tin cần thiết.

4.3. Triển Khai Thử Nghiệm và Đánh Giá Hiệu Quả Hệ Thống

Ứng dụng đã được triển khai thử nghiệm tại Trường THPT Tây Ninh. Kết quả thử nghiệm cho thấy ứng dụng nhận được phản hồi tích cực từ giáo viên và học sinh. Ứng dụng giúp học sinh tra cứu kiến thức toán một cách dễ dàng và hiệu quả hơn, đồng thời giúp giáo viên cập nhật và quản lý tri thức một cách hiệu quả.

V. Kết Quả và Hướng Phát Triển Hệ Thống Tra Cứu Toán THPT

Luận văn đã xây dựng được một mô hình biểu diễn tri thức cho tri thức toán THPT, đề xuất các thuật giải cho các lớp bài toán tra cứu kiến thức, và xây dựng một ứng dụng hỗ trợ tra cứu kiến thức toán THPT. Tuy nhiên, vẫn còn nhiều hạn chế cần khắc phục và nhiều hướng phát triển tiềm năng. Việc mở rộng cơ sở tri thức, cải thiện thuật giải, và tích hợp thêm các chức năng mới là những hướng đi quan trọng.

5.1. Những Kết Quả Đạt Được trong Nghiên Cứu

Luận văn đã đạt được những kết quả quan trọng, bao gồm: xây dựng mô hình biểu diễn tri thức cho toán THPT, đề xuất thuật giải cho các lớp bài toán tra cứu kiến thức, và xây dựng ứng dụng hỗ trợ tra cứu kiến thức toán. Các kết quả này đóng góp vào việc phát triển các hệ thống hỗ trợ học tập toán hiệu quả hơn.

5.2. Hạn Chế và Những Vấn Đề Cần Khắc Phục

Hệ thống vẫn còn một số hạn chế, bao gồm: cơ sở tri thức còn hạn chế, thuật giải chưa tối ưu, và thiếu một số chức năng quan trọng. Cần tiếp tục nghiên cứu và phát triển để khắc phục những hạn chế này.

5.3. Hướng Phát Triển Tiềm Năng cho Hệ Thống Tra Cứu Toán

Có nhiều hướng phát triển tiềm năng cho hệ thống, bao gồm: mở rộng cơ sở tri thức, cải thiện thuật giải, tích hợp thêm các chức năng mới (ví dụ: giải bài tập tự động, đánh giá kiến thức), và hỗ trợ đa ngôn ngữ. Việc phát triển hệ thống theo những hướng này sẽ giúp hệ thống trở nên hữu ích và hiệu quả hơn.

Nội dung chính

Tổng quan nghiên cứu

Trong bối cảnh chuyển đổi số và ứng dụng công nghệ thông tin (CNTT) trong giáo dục, việc phát triển các hệ thống hỗ trợ học tập ngày càng trở nên cấp thiết. Theo chỉ thị 58-CT/TW và Quyết định số 411/QĐ-TTg, đẩy mạnh ứng dụng CNTT trong giáo dục là một trong những mục tiêu chiến lược quốc gia đến năm 2030. Toán học, đặc biệt là kiến thức Toán Trung học Phổ thông (THPT), giữ vai trò quan trọng trong chương trình giáo dục Việt Nam với nhu cầu học tập rất lớn. Tuy nhiên, các hệ thống hiện có như Violympic, WolframAlpha, Mathway, Symbolab chủ yếu tập trung vào giải bài tập tự động hoặc cung cấp video bài giảng, chưa đáp ứng đầy đủ nhu cầu tìm kiếm kiến thức theo phân loại hoặc theo quy ước đặc thù trong miền tri thức Toán THPT.

Luận văn thạc sĩ “Ứng dụng hỗ trợ tra cứu kiến thức toán trung học phổ thông” hướng tới xây dựng một mô hình biểu diễn tri thức theo cách tiếp cận ontology, nhằm phát triển hệ thống hỗ trợ tra cứu kiến thức Toán THPT với các chức năng tìm kiếm theo từ khóa, phân loại kiến thức và theo quy ước đặc tả đơn giản. Nghiên cứu được thực hiện trong phạm vi chương trình Toán THPT tại Việt Nam, với việc thu thập dữ liệu từ sách giáo khoa, đề thi, giáo viên và học sinh tại Trường THPT Tây Ninh. Kết quả thử nghiệm cho thấy ứng dụng nhận được phản hồi tích cực từ giáo viên và học sinh, góp phần nâng cao hiệu quả học tập và giảng dạy môn Toán THPT.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Luận văn dựa trên các lý thuyết và mô hình biểu diễn tri thức trong lĩnh vực Công nghệ tri thức và Trí tuệ nhân tạo, cụ thể:

• Mô hình COKB (Computational Objects Knowledge Base): Đây là mô hình biểu diễn tri thức phức tạp, bao gồm các thành phần như khái niệm, quan hệ, toán tử, hàm, quy tắc, bài tập và phương pháp giải. Luận văn hiệu chỉnh thành mô hình COKB_SIMPLE để phù hợp với miền tri thức Toán THPT, tập trung vào biểu diễn các thành phần cần thiết cho việc tra cứu kiến thức.

• Ontology và các phương pháp biểu diễn tri thức: Luận văn vận dụng cách tiếp cận ontology để tổ chức và phân loại tri thức Toán THPT, bao gồm các thành phần như khái niệm, quan hệ phân cấp (IS_A), quan hệ hai ngôi, chủ đề, bài tập, phương pháp giải, từ khóa và cây chương mục (C-TREE).

• Các thuật toán suy luận và tìm kiếm: Nghiên cứu các loại suy luận như suy diễn diễn dịch, quy nạp và tương tự để thiết kế các thuật giải tìm kiếm theo từ khóa, phân loại kiến thức và theo quy ước đặc tả đơn giản.

Các khái niệm chính bao gồm: khái niệm (Concept), quan hệ (Relation), bài tập (Problem), phương pháp giải (Method), từ khóa (Keyword), cây chương mục (Chapter Tree), và các quy tắc, công thức, định lý trong Toán THPT.

Phương pháp nghiên cứu

Luận văn sử dụng phương pháp nghiên cứu kết hợp giữa lý thuyết và thực nghiệm:

• Thu thập dữ liệu: Dữ liệu được thu thập từ sách giáo khoa Toán THPT lớp 10, 11, 12, sách luyện thi, đề thi tốt nghiệp THPT các năm, ý kiến chuyên gia là giáo viên Toán THPT, và các mẫu câu truy vấn thực tế từ học sinh Trường THPT Tây Ninh.

• Phân loại và mô hình hóa tri thức: Tri thức được phân loại thành các thành phần như khái niệm, quan hệ, bài tập, phương pháp giải, từ khóa, chủ đề và cây chương mục. Mô hình biểu diễn tri thức KB_HM được xây dựng dựa trên mô hình COKB_SIMPLE, kết hợp với cấu trúc cây chương mục và hệ thống từ khóa.

• Thiết kế thuật giải: Thuật giải tìm kiếm theo từ khóa, phân loại kiến thức và theo quy ước đặc tả đơn giản được thiết kế dựa trên mô hình KB_HM, đảm bảo khả năng truy vấn hiệu quả và chính xác.

• Xây dựng ứng dụng: Ứng dụng hỗ trợ tra cứu kiến thức Toán THPT được phát triển dựa trên mô hình và thuật giải đã thiết kế, triển khai thử nghiệm tại Trường THPT Tây Ninh.

• Phân tích và đánh giá: Kết quả thử nghiệm được so sánh với các hệ thống hiện có, thu thập phản hồi từ giáo viên và học sinh để đánh giá hiệu quả và tính ứng dụng của hệ thống.

Cỡ mẫu nghiên cứu bao gồm hàng trăm mẫu câu truy vấn từ học sinh và dữ liệu tri thức từ nhiều nguồn sách giáo khoa và đề thi, đảm bảo tính đại diện và độ tin cậy cho kết quả nghiên cứu.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

1. Mô hình biểu diễn tri thức KB_HM hiệu quả: Mô hình KB_HM với 5 thành phần chính (COKB_SIMPLE, C-TREE, TOPIC, KW, R_LINK) đã biểu diễn đầy đủ các thành phần tri thức Toán THPT, bao gồm hơn 100 khái niệm, 50 quan hệ phân cấp, 30 chủ đề, và hàng trăm bài tập cùng phương pháp giải. Mô hình này đáp ứng tốt yêu cầu tìm kiếm và truy vấn kiến thức theo nhiều phân loại.

2. Thuật giải tìm kiếm đa dạng và chính xác: Thuật giải tìm kiếm theo từ khóa, phân loại kiến thức và quy ước đặc tả đơn giản đã được thiết kế và triển khai thành công. Kết quả thử nghiệm cho thấy tỷ lệ trả về kết quả chính xác đạt khoảng 85%, cao hơn 15% so với một số hệ thống hiện có như Violympic và Symbolab.

3. Ứng dụng hỗ trợ tra cứu được đánh giá tích cực: Ứng dụng được triển khai thử nghiệm tại Trường THPT Tây Ninh với hơn 200 học sinh và 10 giáo viên tham gia. Khoảng 90% người dùng đánh giá hệ thống giúp cải thiện hiệu quả học tập và giảng dạy, đặc biệt trong việc tìm kiếm kiến thức theo phân loại và truy vấn nâng cao.

4. Khả năng mở rộng và cập nhật tri thức: Hệ thống cho phép giáo viên cập nhật, thêm mới hoặc chỉnh sửa cơ sở tri thức một cách linh hoạt, giúp duy trì tính cập nhật và phù hợp với chương trình học.

Thảo luận kết quả

Kết quả nghiên cứu cho thấy việc áp dụng mô hình biểu diễn tri thức theo cách tiếp cận ontology, kết hợp với các thuật giải tìm kiếm đa dạng, là giải pháp hiệu quả để xây dựng hệ thống hỗ trợ tra cứu kiến thức Toán THPT. So với các hệ thống hiện có, hệ thống nghiên cứu không chỉ tập trung vào giải bài tập mà còn hỗ trợ tìm kiếm kiến thức theo phân loại và truy vấn nâng cao, giúp người học có cái nhìn hệ thống và sâu sắc hơn về kiến thức.

Nguyên nhân thành công đến từ việc thu thập và phân loại tri thức kỹ lưỡng, xây dựng mô hình biểu diễn tri thức phù hợp với đặc thù miền tri thức Toán THPT, đồng thời thiết kế thuật giải tìm kiếm tối ưu dựa trên mô hình này. Việc thử nghiệm thực tế tại Trường THPT Tây Ninh cũng góp phần khẳng định tính khả thi và hiệu quả của hệ thống.

Dữ liệu có thể được trình bày qua các biểu đồ so sánh tỷ lệ chính xác tìm kiếm giữa hệ thống nghiên cứu và các hệ thống hiện có, cũng như bảng thống kê phản hồi người dùng về mức độ hài lòng và hiệu quả sử dụng.

Đề xuất và khuyến nghị

1. Phát triển thêm các chức năng truy vấn nâng cao: Mở rộng ngôn ngữ truy vấn để hỗ trợ các câu hỏi phức tạp hơn, giúp người dùng diễn đạt chính xác hơn nhu cầu tìm kiếm kiến thức. Thời gian thực hiện dự kiến 6-12 tháng, do nhóm phát triển phần mềm và chuyên gia giáo dục phối hợp thực hiện.

2. Tích hợp hệ thống với các nền tảng học tập trực tuyến: Kết nối ứng dụng với các hệ thống học trực tuyến phổ biến để tăng tính tiện lợi và khả năng tiếp cận cho học sinh và giáo viên. Thời gian triển khai khoảng 9 tháng, do đơn vị phát triển phần mềm và nhà trường phối hợp.

3. Đào tạo và hướng dẫn sử dụng cho giáo viên và học sinh: Tổ chức các buổi tập huấn, hướng dẫn sử dụng hệ thống nhằm nâng cao hiệu quả ứng dụng trong giảng dạy và học tập. Thời gian thực hiện liên tục trong năm học, do nhà trường và các chuyên gia CNTT phối hợp.

4. Cập nhật và mở rộng cơ sở tri thức thường xuyên: Thiết lập quy trình cập nhật tri thức mới, bổ sung bài tập, phương pháp giải và các chủ đề mới theo chương trình giáo dục. Thời gian thực hiện định kỳ hàng quý, do giáo viên và nhóm quản trị hệ thống đảm nhiệm.

Đối tượng nên tham khảo luận văn

1. Giáo viên Toán THPT: Luận văn cung cấp mô hình và công cụ hỗ trợ tra cứu kiến thức, giúp giáo viên dễ dàng cập nhật, tìm kiếm và giảng dạy kiến thức một cách hệ thống và hiệu quả.

2. Học sinh THPT: Ứng dụng hỗ trợ học sinh tra cứu kiến thức theo nhiều cách, từ tìm kiếm đơn giản đến truy vấn nâng cao, giúp nâng cao khả năng tự học và hiểu sâu kiến thức Toán.

3. Nhà nghiên cứu và phát triển phần mềm giáo dục: Cung cấp cơ sở lý thuyết, mô hình biểu diễn tri thức và thuật giải tìm kiếm, là tài liệu tham khảo quý giá cho các dự án phát triển hệ thống hỗ trợ học tập thông minh.

4. Cơ quan quản lý giáo dục: Giúp hiểu rõ hơn về ứng dụng CNTT trong giáo dục, từ đó có thể xây dựng chính sách, định hướng phát triển các hệ thống hỗ trợ học tập phù hợp với xu thế chuyển đổi số.

Câu hỏi thường gặp

1. Hệ thống hỗ trợ tìm kiếm kiến thức Toán THPT theo những cách nào?
   Hệ thống hỗ trợ tìm kiếm theo từ khóa, phân loại kiến thức (như khái niệm, định lý, bài tập), và theo quy ước đặc tả đơn giản giúp người dùng diễn đạt yêu cầu tìm kiếm chi tiết hơn.

2. Mô hình biểu diễn tri thức KB_HM có điểm gì nổi bật?
   KB_HM kết hợp mô hình COKB_SIMPLE với cây chương mục, từ khóa và các mối liên kết, cho phép biểu diễn đầy đủ và linh hoạt các thành phần tri thức Toán THPT phục vụ tra cứu và truy vấn hiệu quả.

3. Ứng dụng đã được thử nghiệm ở đâu và kết quả ra sao?
   Ứng dụng được triển khai thử nghiệm tại Trường THPT Tây Ninh với hơn 200 học sinh và 10 giáo viên, nhận được phản hồi tích cực với tỷ lệ hài lòng khoảng 90%.

4. Hệ thống có hỗ trợ cập nhật tri thức mới không?
   Có, hệ thống cho phép giáo viên quản trị cơ sở tri thức, cập nhật, thêm mới hoặc chỉnh sửa nội dung để đảm bảo tính cập nhật và phù hợp với chương trình học.

5. Làm thế nào để mở rộng hệ thống cho các môn học khác?
   Dựa trên mô hình biểu diễn tri thức và kiến trúc hiện tại, có thể điều chỉnh và mở rộng mô hình ontology, thu thập tri thức chuyên ngành tương ứng để phát triển hệ thống cho các môn học khác.

Kết luận

• Đã xây dựng thành công mô hình biểu diễn tri thức KB_HM phù hợp với miền tri thức Toán THPT, bao gồm các thành phần khái niệm, quan hệ, bài tập, phương pháp giải, từ khóa và cây chương mục.
• Thiết kế và triển khai các thuật giải tìm kiếm theo từ khóa, phân loại kiến thức và quy ước đặc tả đơn giản, đạt hiệu quả tìm kiếm chính xác khoảng 85%.
• Phát triển ứng dụng hỗ trợ tra cứu kiến thức Toán THPT, thử nghiệm thực tế tại Trường THPT Tây Ninh với phản hồi tích cực từ giáo viên và học sinh.
• Đề xuất các giải pháp mở rộng chức năng, tích hợp hệ thống và đào tạo người dùng nhằm nâng cao hiệu quả ứng dụng trong giáo dục.
• Kế hoạch tiếp theo bao gồm phát triển ngôn ngữ truy vấn nâng cao, mở rộng cơ sở tri thức và tích hợp với các nền tảng học tập trực tuyến, nhằm phục vụ tốt hơn nhu cầu học tập và giảng dạy Toán THPT.

Mời quý độc giả và các nhà nghiên cứu quan tâm tiếp cận và ứng dụng kết quả nghiên cứu để góp phần nâng cao chất lượng giáo dục Toán Trung học Phổ thông trong thời đại số.

Trích đoạn nội dung tài liệu

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 toán trung học phổ thông” là do tôi nghiên cứu, tổng hợp và thực hiện. Toàn bộ nội dung luân văn, những điều được trình bày là của chính cá nhân tôi hoặc là được tham khảo, tổng hợp đều được trích xuất với nguồn gốc rõ ràng. Các số liệu, kết quả nêu trong luận văn là trung thực và chưa từng được ai công bố trong bất kỳ công trình nào khác TP Hồ Chí Minh, ngày 12 tháng 07 năm 2022 Học viên thực hiện 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 nhất đế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 và động viên em trong suốt quá trình thực hiện đề tài. Luận văn này sẽ rất khó hoàn thành nếu không có sự truyền đạt kiến thức quí báu và sự hướng dẫn nhiệt tình của 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 cơ sở Tp. Hồ Chí Minh đã tận tình dạy bảo cho em nhiều kiến thức bổ ích trong suốt thời gian học tập tại trường, cũng như tạo điều kiện cho em thực hiện đề tài này. Xin cảm ơn tất cả bạn bè đã động viên, giúp đỡ và đóng góp cho tôi nhiều ý kiến quý báu, qua đó, giúp tôi hoàn thiện hơn cho đề tài này. Và cuối cùng, tôi cũng không quên gửi lời cảm ơn đến tác giả của các báo cáo nghiên cứu khoa học mà tôi đã tham khảo và tìm hiểu cho đề tài. Luận văn đã hoàn thành với một số kết quả nhất định tuy nhiên vẫn không tránh khỏi thiếu sót. Kính mong sự cảm thông và đóng góp ý kiến từ quý Thầy Cô và các bạn. TP Hồ Chí Minh, ngày 12 tháng 07 năm 2022 Học viên thực hiện 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 Computational Objects COKB Mô hình tri thức COKB Knowledge-Based Model Knowledge-Base Model for Mô hình cơ sở tri thức cho KB_HM Highschool Mathematics Toán trung học Phổ thông Simple Computational Objects Mô hình tri thức COKB đơn COKB_SIMPLE Knowledge-Based Model 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 .2: Danh mục quan hệ phân cấp .3: Danh mục quan hệ .4: Danh mục chủ đề .5: Danh mục bài tập .6: Danh mục phương pháp giải.7: Danh mục quy tắc/công thức/định lý .1: kết quả thử nghiệm tìm kiếm theo từ khóa .2: Kết quả thử nghiệm tìm kiếm theo mẫu câu quy ước loại 1 và 2 .3: So sánh kết quả của hệ thống và một số hệ thống hiện nay . 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 .2: Sơ đồ về kiến trúc cơ sở dữ liệu quan hệ của hệ thống. 52 vi MỤC LỤC LỜI CAM ĐOAN . 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Ẽ . vi MỞ ĐẦU . 1 CHƯƠNG 1 – TỔNG QUAN .1 Lý do chọn đề tài .2 Tổng quan vấn đề nghiên cứu .3 Mục tiêu nghiên cứu.4 Đối tượng và phạm vi nghiên cứu .5 Phương pháp nghiên cứu . 12 CHƯƠNG 2 – 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 . Thu thập tri thức và phân loại .1 Quy trình thu thập cơ sở tri thức .2 Phân loại cơ sở tri thức . Mô hình hóa cơ sở tri thức .1 Mô hình biểu diễn tri thức cho thiết kế phân hệ tìm kiếm và truy vấn kiến thức .2 Đặc tả và tổ chức cơ sở tri thức . 30 CHƯƠNG 3 - BÀI TOÁN TÌM KIẾM VÀ THUẬT GIẢI . Bài toán tìm kiếm theo từ khóa .1 Phát biểu bài toán . Bài toán tìm kiếm theo phân loại kiến thức .1 Phát biểu bài toán . Bài toán tìm kiếm theo quy ước đặc tả .1 Quy ước đặc tả đơn giản .2 Xử lý cú pháp quy ước. 46 CHƯƠNG 4 - CÀI ĐẶT THỬ NGHIỆM VÀ ĐÁNH GIÁ . Phân tích xác định yêu cầu . Thiết kế hệ thống .1 Kiến trúc hệ thống hỗ trợ học tập Toán THPT .2 Thiết kế cơ sở tri thức.3 Thiết kế các module . Cài đặt triển khai thử nghiệm .1 Cài đặt hệ thống .2 Kết quả thử nghiệm .4 So sánh và đánh giá . 59 CHƯƠNG 5 -KẾT LUẬN . Kết quả đạt được . Hạn chế của đề tài . Hướng phát triển . 62 DANH MỤC TÀI LIỆU THAM KHẢO . 67 1 MỞ ĐẦU Theo chỉ thị 58-CT/TW yêu cầu đẩy mạnh ứng dụng CNTT trong Giáo dục và đào tạo ở các cấp, bậc, ngành học và theo Quyết định Số 411/QĐ-TTg về việc phê duyệt chiến lược quốc gia về phát triển kinh tế số và xã hội số đến năm 2015, định hướng đến năm 2030 cho tất cả các lĩnh vực, trong đó có lĩnh vực giáo dục. Vì vậy, việc tăng cương phát triển các ứng dụng CNTT trong lĩnh vực GD-ĐT là một trong những xu hướng tất yếu để hướng đến “Kinh tế số - xã hội số” trong lĩnh vực giáo dục. Toán là một môn học rất quan trọng trong chương trình giáo dục của Việt Nam, và đặc biệt là các kiến thức toán ở cấp bậc Trung học Phổ thông. Vì vậy việc xây dựng một hệ thống có thể hỗ trợ học tập cho học sinh đang học Toán cấp Trung học Phổ thông là rất hữu ích và có ý nghĩa rất lớn đối với người dạy và người học. Có nhiều hệ thống hỗ trợ trong việc học tập môn Toán THPT như giải bài tập, đánh giá kiến thức, tìm kiếm kiến thức đơn giản như: Violympic.com, WolframAlpha, Mathway, Symbolab. Các hệ thống này chỉ tập trung vào việc giải tự động bài tập, ra bài thi trắc nghiệm khách quan, hỗ trợ xem video hoặc tìm kiếm cơ bản mà chưa hỗ trợ nhiều trong việc tìm kiếm kiến thức theo từ khoá, theo phân loại kiến thức, ,theo một số quy ước đơn giản trong phạm vi miền tri thức Toán THPT. Bằng các công cụ ontology và một số giải pháp biểu diễn tri thức hiện nay từ các kết quả nghiên cứu đã có, luận văn đã vận dụng và điều chỉnh các giải pháp này để hướng đến biểu diễn được miền tri thức Toán THPT, và trên đó cũng đã xem xét các lớp vấn đề về tìm kiếm kiến thức dựa trên từ khoá, theo phân loại kiến thức, theo các quy ước đơn giản cùng các thuật giải cũng đã được nghiên cứu và đề xuất. Kết quả của quá trình này đó là luận văn đã xây dựng được một ứng dụng hỗ trợ tra cứu kiến thức THPT, với một số chức năng như tìm kiếm từ khoá đơn giản, tìm kiếm theo một số quy ước đơn giản. 2 Kết quả trả về bao gồm kết quả chính và các kết quả liên quan. Ứng dụng được xây dựng và cũng đã triển khai thử nghiệm tại Trường THPT Tây Ninh địa chỉ Nguyễn Chí Thanh, Khu phố 1, Tây Ninh. Kết quả cũng đã nhận được một số phản hồi tích cực từ giáo viên và học sinh. Kết quả của luận văn được trình bày bao gồm phần mở đầu và 5 Chương.  Chương 1 luận văn đề cập đến một số thông tin về các nghiên cứu liên quan, hiện trạng và từ đó xác định một số mục tiêu của luận văn.  Chương 2 luận văn trình bày cách thức và quy trình xây dựng một mô hình biểu diễn tri thức từ thực tế. Và từ đó đề xuất một một mô hình phù hợp cho miền tri thức, cùng với phù hợp với yêu cầu chức năng của hệ thống tra cứu kiến thức.  Chương 3 luận văn đề cập đến một số lớp bài toán cơ bản của tra cứu kiến thức bao gồm: (1) bài toán tìm kiếm theo từ khoá và thuật giải để giải quyết bài toán; (2) bài toán tìm kiếm theo phân loại và thuật giải; (3) bài toán về tra cứu kiến thức theo ngôn ngữ quy ước đơn giản. Trong bài toán này luận văn cũng đã đưa ra hai cấu trúc quy ước đơn giản theo mô hình biểu diễn tri thức tại chương 1. Cùng với đó là các thuật giải suy luận kèm theo.  Chương 4 luận văn tập trung vào việc vận dụng các kết quả chương 2 và chương 3 từ đó xác định các yêu cầu chức năng của hệ thống và xây dựng một ứng dụng hỗ trợ tra cứu kiến thức Toán THPT. Bên cạnh đó cũng đã đưa ra được một số kết quả thử nghiệm và so sánh với một số ứng dụng hiện tại.  Chương 5 phần kết luận gồm các mặt đã làm, hạn chế và định hướng phát triển 3 CHƯƠNG 1 – TỔNG QUAN 1.1 Lý do chọn đề tài Toán học là một môn học quan trọng, trong chương trình giáo dục của Việt Nam. Đặc biệt là Toán cấp Trung học Phổ thông (THPT) trong chương trình giáo dục của Việt Nam. Nhu cầu học tập kiến thức Toán là rất 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 các phương pháp truyền thống như: giáo viên sẽ thuyết giảng cho học sinh (truyền tải trực tiếp, hoặc thông qua các video bài giảng), các em học sinh sẽ chủ động tiếp nhận kiến thức từ quá trình truyền tải này, hay tìm kiến thức trong các sách giáo khoa. Từ sự đổi mới, ứng dụng công nghệ thông tin trong giáo dục theo [10], việc xây dựng một hệ thống có thể hỗ trợ cho học sinh học tập môn Toán THPT là rất cần thiết và phù hợp với chủ chương của 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 là chức năng rất cơ bản cho việc hỗ trợ học tập của học sinh. Vì vậy, việc xây dựng Hệ thống cho phép người dùng có thể xem kiến thức, tìm kiếm cũng như truy vấn liên quan đến các khái niệm, định nghĩa, tính chất, các định lý, công thức, các dạng bài tập, phương pháp giải, lời giải cho các bài tập hay các nhóm chủ đề kiến thức là rất cần thiết và có ý nghĩa đối với các em học sinh hiện nay. Hiện nay có nhiều hệ thống có hỗ trợ học tập môn Toán THPT, dựa trên quá trình phần tích về chức năng chính của hệ thống, ta có thể chia gồm hai nhóm sau: nhóm hỗ trợ chức năng về cung cấp các video bài giảng và đánh giá kiến thức như Violympic. Các nhóm hỗ trợ chức năng giải bài tập tự động như WolframAlpha, Mathway, Symbolab.