Luận Án Tiến Sĩ Học Khái Niệm Cho Các Hệ Thống Thông Tin Dựa Trên Logic Mô Tả

Xây dựng ngôn ngữ logic mô tả LΣ,Φdựa trên ngôn ngữ ALCreg với tập các đặc trưng mở rộng gồm J, 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.

• Luận án tiến sĩ máy tính
• Chuyên ngành khoa học máy tính
• Tác giả: Trần Thanh Lương
• Hướng dẫn: Nguyễn Anh Linh, Hoàng Thị Lan Giao
• 121 Trang
• File PDF
• Trường ĐH Khoa Học Huế 2015

Link Download
https://docs.google.com/viewerng/vi...vn/sdh/attachments/article/1044/NOIDUNGLA.pdf
https://docs.google.com/viewerng/vi...n/sdh/attachments/article/1044/DONGGOPMOI.pdf
https://docs.google.com/viewerng/vi....vn/sdh/attachments/article/1044/TOMTATLA.pdf
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1