NHỮNG ĐÓNG GÓP MỚI CỦA LUẬN ÁN
1. THÔNG TIN CHUNG VỀ LUẬN ÁN
Họ và tên nghiên cứu sinh: Trân Thanh Lương
Tên đề tài luận án: Học khái niệm cho các hệ thống thông tin dựa trên logic mô tả
Chuyên ngành: Khoa học Máy tính
Mã số: 62.48.01.01
Tập thể hướng dân:
1. PGS. TSKH. Nguyễn Anh Linh,
Khoa Toán – Cơ – Tin học, Trường Đại học Tổng hợp Vác-xa-va, Ba Lan
2. TS. Hoàng Thị Lan Giao,
Khoa Công nghệ Thông tin, Trường Đại học Khoa học, Đại học Huế.
Cơ sở đào tạo: Trường Đại học Khoa học, Đại học Huê
II. NHỮNG ĐÓNG GÓP MỚI CỦA LUẬN ÁN
2 Xây dựng ngôn ngữ logic mô tả lze dựa trên ngôn ngữ Khired với tập các đặc trưng mở rộng gồm 7. O, N, Q, F, U, Self. Ngoài ra, ngôn ngữ được xây dựng còn cho phép sử dụng các thuộc tính (bao gồm thuộc tính rời rạc và liên tục) như là các phân từ cơ bản của ngôn ngữ và cho phép sử dụng các vai trò dữ liệu nhằm mô tả các hệ thống thông tin phù hợp với thực tê hơn.
Xây dựng mô phỏng hai chiều trên lớp các logic mở rộng đang nghiên cứu. Mở rộng các định nghĩa, định lý, bố đề về mô phỏng hai chiều trong logic mô tả đã đề cập và chứng minh các định lý, bô đê này.
Chúng tôi đã phát biểu và chứng minh một định lý quan trọng về bộ chọn cơ bản để làm mịn phân hoạch. Thông qua tính đầy đủ của bộ chọn cơ bản, chúng tôi đã phát triển thuật toán học khái niệm cho hệ thống thông tin trong logic mô tả sử dụng mô phòng hai chiêu. Ngoài các bộ chọn cơ bản và bộ chọn đơn giản, luận án còn đề xuất sử dụng các bộ chọn mở rộng cho quá trình làm mịn phân hoạch. Độ đo gia lượng thông tin và tính đơn giản của khái niệm cũng được sử dụng trong quá trình làm mịn phân hoạch.
Chúng tôi đã đề xuất các thuật toán BBCL, dual-BBCL, BBCL2 (sử dụng mô phỏng hai chiều) để giải quyết các bài toán học khái niệm cho cơ sở tri thức trong logic mô tả với các ngữ cảnh khác nhau.
