I. Giới thiệu vấn đề
Chương này giới thiệu tổng quan về so trùng lược đồ khái niệm trong tìm kiếm thông tin trên thư viện điện tử và việc áp dụng phương pháp argumentation để hòa giải xung đột trong quá trình so trùng lược đồ khái niệm. Mục tiêu và ý nghĩa của đề tài cũng được trình bày.
1.1 Giới thiệu đề tài
Trong thời đại bùng nổ internet, nhu cầu tìm kiếm thông tin ngày càng tăng, đặc biệt trong lĩnh vực nghiên cứu. Thông tin học thuật được lưu trữ trên các thư viện điện tử với kiến trúc khác nhau, gây khó khăn cho việc truy cập. Các giao thức chuẩn như Z39.50 được đề xuất để giải quyết vấn đề này. Tuy nhiên, sự khác biệt trong lược đồ khái niệm giữa các thư viện dẫn đến xung đột trong quá trình so trùng lược đồ. Đề tài này tập trung vào việc áp dụng phương pháp argumentation để hòa giải các xung đột này.
1.2 Mục tiêu và phạm vi nghiên cứu
Đề tài nhằm xây dựng một ứng dụng minh họa cho hệ thống truy xuất thông tin từ nhiều thư viện điện tử, sử dụng phương pháp argumentation để giải quyết xung đột từ kết quả so trùng lược đồ khái niệm. Phạm vi nghiên cứu tập trung vào việc truy xuất thông tin học thuật từ các thư viện điện tử trên internet.
1.3 Ý nghĩa của đề tài
Đề tài có ý nghĩa khoa học trong việc hòa giải xung đột bằng phương pháp argumentation, giúp tự động hóa quá trình so trùng lược đồ khái niệm. Về mặt thực tiễn, đề tài hỗ trợ việc tìm kiếm thông tin chính xác từ nhiều nguồn thư viện điện tử, tiết kiệm thời gian và công sức cho các nhà nghiên cứu.
II. Cơ sở lý thuyết
Chương này trình bày các khái niệm cơ bản về thư viện điện tử, giao thức Z39.50, so trùng lược đồ khái niệm, và phương pháp argumentation.
2.1 Thư viện điện tử và giao thức Z39.50
Thư viện điện tử là nơi lưu trữ thông tin dưới dạng số hóa, cho phép truy cập và truy xuất thông tin từ xa. Giao thức Z39.50 được thiết kế để hỗ trợ tìm kiếm và truy xuất thông tin trong môi trường mạng phân tán, giúp người dùng truy cập thông tin từ nhiều máy chủ dữ liệu khác nhau mà không cần biết cách tìm kiếm trên từng máy chủ.
2.2 Lý thuyết về so trùng lược đồ
So trùng lược đồ là quá trình quan trọng trong tích hợp dữ liệu, giúp xác định sự tương đồng giữa các lược đồ khác nhau. Một mạng so trùng lược đồ bao gồm tập hợp các lược đồ và các phương pháp so trùng giữa chúng. Quá trình này đòi hỏi phát hiện và giải quyết các ràng buộc vi phạm trong mạng.
2.3 Lý thuyết về argumentation
Argumentation là quá trình tạo ra và đánh giá các lập luận, bao gồm lập luận trừu tượng và lập luận logic. Lập luận trừu tượng giả định sự sẵn có của các lập luận và các tấn công như các đối tượng trừu tượng. Một khung tranh luận bao gồm tập hợp các lập luận và mối quan hệ tấn công giữa chúng.
