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. Dù hỗ trợ được các nhóm chức năng khá hữu ích, Tuy nhiên, các hệ thống này chưa tập trung nhiều vào việc hỗ trợ tìm kiếm các kiến thức, truy vấn kiến thức theo phân loại như các khái niệm, các định nghĩa, các tính chất, định lý và công thức, các dạng bài tập, các phương pháp giải, lời giải cho các dạng bài tập hay các nhóm chủ đề kiến thức.Để có thể xây dựng được các hệ thống thông minh, có khả năng hỗ trợ việc tìm kiếm, truy vấn kiến thức theo phân loại, các 4 kiến thức liên quan như đề cập ở trên, đòi hỏi hệ thống phải 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 một cách đầy đủ, và có liên kết với nhau thông qua các mối quan hệ qua lại giữa chúng. Hiện nay cũng đã có nhiều phương pháp biểu diễn tri thức cho thiết kế các hệ thống thông minh, có thể kể đến một số phương pháp như: phương pháp logic hình thức, phương pháp biểu diễn dạng mạng, hệ luật dẫn, hướng có cấu trúc, các tiếp cận Ontology. Các giải pháp này đều là những công cụ đắc lực cho nhà thiết kế trong việc biểu diễn tri thức.
Tuy nhiên, các giải pháp được đề cập cũng còn nhiều vấn đề chưa thật sự phù hợp cho việc biểu diễn tri thức đáp ứng cho các nhóm 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ý và công thức, các dạng bài tập, các phương pháp giải, lời giải cho các dạng bài tập hay các nhóm chủ đề kiến thức. Vì vậy 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 được 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 và rất có ý nghĩa trong lĩnh vực Công nghệ tri thức nói riêng, trí tuệ nhân tạo nói chung. 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 các đối tượng là học sinh cấp THPT.2 Tổng quan vấn đề nghiên cứu Trong khoa học trí tuệ nhân tạo, biểu diễn tri thức và suy luận đóng vai trò rất quan trọng, quyết định đối với việc xây dựng và thiết kế các hệ thống thông minh xử lý dựa trên tri thức, đặc biệt là các hệ chuyên gia, các hệ thống thông minh hỗ trợ học tập trong giáo dục. Để xây dựng được hệ thống trên, nhà thiết kế phải xây dựng được một cơ sở tri thức cùng với đó là một động cơ suy diễn để giải quyết các vấn đề dựa trên tri thức.
Chất lượng hoạt động của các hệ thông minh, phụ thuộc rất nhiều vào cơ sở tri thức đang có và cơ chế suy luận phù hợp. Việc nghiên cứu các giải pháp biểu diễn tri thức và 5 các phương pháp suy luận trên máy tính, để hướng đến thiết kế và xây dựng các hệ thống hỗ trợ học tập với các chức năng tìm kiếm, truy vấn và giải các quyết các vấn đề xử lý câu truy vấn cũng là một trong những vấn đề thách thức đối với những nhà nghiên cứu về biểu diễn tri thức và suy luận trên máy tính. Hiện nay có nhiều giải pháp liên quan đến nghiên cứu của luận văn, các giải pháp này có thể được chia làm hai phần gồm: hướng giải pháp về ứng dụng liên quan, hướng giải pháp tiếp cận về biểu diễn tri thức. Các ứng dụng liên quan Nhóm giải pháp hỗ trợ việc học tập thông qua các video, bài giảng, có thể kể đến một số hệ thống như trong đề cập tại [12]-[15]: Violympic.
Các hệ thống này hỗ trợ rất tốt cho người học trong việc cung cấp các khóa học online (học trực tuyến), các video bài giảng được thiết kế đầy đủ, và phong phú. Bên cạnh đó highshool.vn cũng là những hệ thống hỗ trợ tốt trong việc đánh giá kiến thức. Dù hỗ trợ rất hữu ích cho người học, đặc biệt là học tập môn Toán THPT, tuy nhiên các hệ thống này vẫn chỉ hỗ trợ người dùng chức năng tìm kiếm dựa trên từ khóa, chưa hỗ trợ được việc tìm kiếm theo phân loại kiến thức, theo kiến thức liên quan, cũng như là chức năng hỗ trợ người dùng trong việc tìm kiếm kiến thức dựa trên một ngôn ngữ quy ước, điều này dẫn đến việc hỗ trợ học tập của học sinh trở nên thiếu sự hệ thống, và sự gắn kết giữa các kiến thức. Nhóm giải pháp hỗ trợ việc học tập qua việc giải bài tập tự động có thể kể đến như: Symbolab [31] và Mathway [32], WolframAlpha [34].
Các hệ thống này có thể giải tự động, một số số dạng bài toán, một cách từng bước trong miền tri thức toán. Tuy nhiên, cũng như những giải pháp đề cập ở trên, các hệ thống này chỉ tập trung vào việc giải bài tập, và hỗ trợ tìm kiếm nội dung kiến thức, dựa trên từ khóa. Chưa hỗ trợ tốt trong việc tìm kiếm kiến thức theo nhiều phân loại, theo kiến thức liên quan. Các phương pháp biểu diễn tri thức và suy luận trên máy tính 6 Hiện nay, có nhiều phương pháp biểu diễn tri thức để hỗ trợ cho việc thiết kế cơ sở tri thức và xây dựng các ứng dụng thông minh, ta có thể gom thành các nhóm sau: Các nhóm nền tảng (theo [22], [23], [30]) gồm: các phương pháp biểu diễn dựa trên logic hình thức, các phương pháp biểu diễn tri thức thủ tục, các phương pháp biểu diễn tri thức dạng luật dẫn, các phương pháp biểu diễn dạng mạng (Mạng ngữ nghĩa, Đồ thị, Mạng neuron), các phương pháp biểu diễn cấu trúc (Frames, Class).
Các phương pháp này là đều là các phương pháp nền tảng trong lĩnh vực nghiên cứu về Công nghệ tri thức, mỗi phương pháp tiếp cận đều có những điểm mạnh riêng. Nhìn chung các giải pháp đều là công cựu nền tảng, và hữu ích cho việc biểu diễn tri thức và thường được hỗ trợ kèm theo bởi các công cụ và công nghệ lập trình liên quan. Ví dụ các cách tiếp cận logic, thì ta có công cụ hỗ trợ là ngôn ngữ PROLOG, LISP, hay với các cách tiếp cận Class thì ta lại các các ngôn ngữ hỗ trợ hỗ trợ lập trình hướng đối tượng như C#, hay Java, hay phương pháp dạng luật dẫn thì ta lại có một số công cụ hỗ trợ rát mạnh chẳng hạn như Maple. Ngoài ra, các giải pháp này cũng chính là nền tảng, cơ sở cho sự phát triển tiếp theo của các giải pháp biểu diễn tri thức phức tạp hơn như các Ontology.
Các nhóm giải pháp theo cách tiếp cận Ontology theo [7], [9], [25]-[28], [35], có thể kể đến một số giải pháp như: OWL ontology, hay COKB ontology. OWL ontology là một dạng quy ước cho phép biểu diễn thông tin (từ khóa, thuật ngữ) trên web, cũng là tiền đề cho việc giải bài toán tìm kiếm ngữ nghĩa trên môi trường internet. Tuy nhiên, giải pháp này hiện nay chỉ đáp ứng được sự biểu diễn dưới dạng thông tin dữ liệu là từ khóa, hay thuật ngữ và quan hệ giữa chúng, chưa thật sự phù hợp cho việc biểu diễn các miền tri thức là các đối tượng, có các tính chất, hành vi, luật nội tại của đối tượng, cũng như các tri thức đòi hỏi có nhiều sự phân loại hơn. Đối với mô hình COKB ontology với các thành phần (C, H, R, Ops, Funcs, Rules), có thể biểu diễn được khá nhiều khía cạnh của tri thức: các khái niệm, các quan hệ, sự kế thừa, các toán tử, hàm và luật.
Mô hình này đã được vận dụng vào thiết kế một số miền tri thức ứng dụng cụ thể [9], [25]-[28]. Dù có điểm mạnh là tính biểu diễn được nhiều miền tri thức phức tạp, có nhiều thành 7 phần, tuy nhiên COKB vẫn còn khá tổng quát khi biểu diễn cho một số miền tri thức đơn giản hơn về cấu trúc, nhưng nhiều thành phần hơn như là thành phần về các bài toán, các phương pháp giải. Theo [7] tác giả đã có trình bày một giải pháp cho biểu diễn tri thức Toán THTP, và cũng đã đề xuất mô hình biểu diễn tri thức, cho thiết kế hệ thống đánh giá kiến thức Toán THPT. Mô hình đã đáp ứng được sự biểu diễn cho tri thức Toán THPT với yêu cầu đánh giá năng lực kiến thức.
Tuy nhiên, thiết kế này chủ yếu hướng đến giải quyết bài toán đánh giá kiến thức, và tập trung vào biểu diễn nền tảng là các câu hỏi, đề thi và năng lực người học, chưa tập trung vào biểu diễn tri thức cho xây dựng hệ thống tra cứu kiến thức và giải các lớp bài toán về tra cứu như: tra cứu the từ khoá, theo phân loại kiến thức, và theo ngôn ngữ truy vấn.