Luận Án Tiến Sĩ Xử Lý Không Nhất Quán Trong Tích Hợp Tri Thức Dựa Trên Logic

Xử Lý Không Nhất Quán Trong Tích Hợp Tri Thức Dựa Trên Logic​

Lựa chọn một dạng logic mô tả para-nhất quán bốn giá trị dựa trên logic mô tả ALC mở rộng; định nghĩa mô phỏng hai chiều và tương tự hai chiều dựa trên lớp logic mô tả para-nhất quán trên nền logic mô tả ALC mở rộng được lựa chọn; phát biểu và chứng minh tính chất bảo toàn và tính chất Hennessy-Milner đối với mô phỏng hai chiều và tương tự hai chiều được định nghĩa; phát biểu bài toán học khái niệm trong logic mô tả para-nhất quán bốn giá trị, đề nghị một thuật toán giải xấp xỉ bài toán học khái niệm trong logic mô tả para-nhất quán bốn giá trị và tiến hành thực nghiệm. Lựa chọn một dạng logic mô tả mờ theo ngữ nghĩa G'odel logic mô tả mờ theongữ nghĩa G'odel (một mở rộng mờ của logic mô tả ALC mở rộng với các đặc trưng được bổ sung giữa các vai trò nghịch đảo, định danh, các hạn chế về số lượng, vai trò phổ quát và khả năng phản xạ cục bộ của một vai trò); định nghĩa mô phỏng hai chiều và tương tự hai chiều đối với logic mô tả mờ được lựa chọn; định nghĩa và chứng minh tính bảo toàn và tính chất Hennessy-Milner đối với mô phỏng hai chiều và tương tự hai chiều được định nghĩa. trưng được bổ sung giữa các vai trò nghịch đảo, định danh, các hạn chế về số lượng, vai trò phổ quát và khả năng phản xạ cục bộ của một vai trò); định nghĩa mô phỏng hai chiều và tương tự hai chiều đối với logic mô tả mờ được lựa chọn; định nghĩa và chứng minh tính bảo toàn và tính chất Hennessy-Milner đối với mô phỏng hai chiều và tương tự hai chiều được định nghĩa.

• Luận án tiến sĩ Công nghệ thông tin
• Chuyên ngành Hệ thống thông tin
• Người hướng dẫn: PGS. TS. Hà Quang Thuỵ, PGS.TSKH. Nguyễn Anh Linh
• Tác giả: Nguyễn Thị Hồng Khánh
• Số trang: 142
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại Học Công nghệ - Đại Học Quốc Gia Hà Nội 2019

Link Download
https://repository.vnu.edu.vn/handle/VNU_123/74279
https://drive.google.com/uc?id=1jypCgvenatPuJLyTLcm2Oa12FYXrdm5l
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1