TRANG THÔNG TIN LUẬN ÁN
Tên đề tài luận án tiến sĩ: Nghiên cứu phương pháp tìm kiếm tài liệu dựa trên công thức toán
Chuyên ngành: Hệ thống thông tin
Mã số: 62.48.01.04
Họ tên NCS: Cao Xuân Tuấn
Người hướng dẫn khoa học: 1. PGS.TS Võ Trung Hùng; 2. TS Nguyễn Mạnh Hùng
Đơn vị đào tạo: Học viện Công nghệ Bưu chính Viễn thông
Cơ sở đào tạo: Học viện Công nghệ Bưu chính Viễn thông
NHỮNG KẾT QUẢ MỚI CỦA LUẬN ÁN
Luận án đã có 3 đóng góp chính như sau:
1. Đề xuất được một không gian soạn thảo, lưu trữ thống nhất các công thức toán và dễ dàng chuyển đối định dạng công thức sang các tiêu chuẩn lưu trữ khác nhau.
2. Đề xuất và thử nghiệm thành công một hệ thống tìm kiếm các tài liệu dựa trên công thức toán (văn bản hoặc Web) dựa trên ba thành phần: bộ sưu tập dữ liệu (crawler), lập chỉ mục (index) và tìm kiếm (search).
3. Đề xuất và thử nghiệm thành công một hệ thống tìm kiếm các tài liệu toán học trên Semantic Web.
Những kết quả này có ý nghĩa khoa học và thực tiễn rõ ràng, đặc biệt trong lĩnh vực nghiên cứu và ứng dụng cho tiếng Việt.
Về mặt khoa học, các nghiên cứu này cho phép mở ra các hướng nghiên cứu mới về tiêu chuẩn lưu trữ, xử lý, khai thác các văn bản tiếng Việt trên các hệ thống máy tính và mạng máy tính khác nhau. Đặc biệt, nghiên cứu xử lý các vấn đề phát sinh do các hệ điều hành, phần mềm ứng dụng sử dụng các tiêu chuẩn mã hóa và lưu trữ khác nhau. Ví dụ, để chuyển đối một tài liệu nói chung hay một tài liệu toán học nói riêng giữa các phần mềm soạn thảo như Microsoft Word, OpenOffice, LaTeX,… Về mặt thực tiễn, luận án đã đề xuất và thử nghiệm thành công các công cụ cho phép soạn thảo, xử lý, tìm kiếm và chuyển đối các tài liệu toán học tiếng Việt; đã triển khai ở mức thử nghiệm một Semantic Web cho các tài liệu toán học tiếng Việt và đã xây dựng một hệ thống tìm kiếm các tài liệu toán học cho tiếng Việt VNMathSearch. Những kết quả bước đầu này là cơ sở quan trọng để có thể tiếp tục thực hiện những nghiên cứu mới trong tương lai.
CÁC ỨNG DỤNG, KHẢ NĂNG ỨNG DỤNG TRONG THỰC TIỄN HOẶC NHỮNG VẤN ĐỀ BỎ NGÓ CẦN TIẾP TỤC NGHIÊN CỨU
Khả năng ứng dụng trong thực tiễn
Hệ thống tìm kiếm các tài liệu toán học cho tiếng Việt VNMathSearch đã cơ bản hoàn chỉnh và có thể ứng dụng vào thực tế. Bên cạnh đó, Ontology cho các tài liệu toán học là một kết quả bước đầu quan trọng để có thể tiếp tục thực hiện những nghiên cứu mới trong tương lai.
Những vấn đề bỏ ngỏ cần tiếp tục nghiên cứu
1. Tiếp tục nghiên cứu cập nhật các thông tin mới về các chuẩn lưu trữ (vì các tiêu chuẩn luôn thay đổi theo thời gian). Trên cơ sở đó, có thể tiếp tục nghiên cứu chuyến đối tự động các tài liệu được tạo ra từ các phần mềm soạn thảo khác nhau (đặc biệt hiện nay các ứng dụng trên các thiết bị di động đang phát triển rất nhanh).
2. Nghiên cứu phát triển các hệ thống tìm kiếm đa ngữ và xuyên ngữ (ví dụ: tìm một tài liệu hay công thức trên nhiều ngôn ngữ khác nhau hoặc nếu tìm trên ngôn ngữ này không có thì tiếp tục tìm trên các ngôn ngữ khác).
