Học khái niệm cho các hệ thống thông tin dựa trên logic mô tả

Nghiên cứu cú pháp, ngữ nghĩa đối với lớp lớn các logic mô tả giàu ngữ nghĩa hơn so với các công trình đã có bằng cách cho phép sử dụng các thuộc tính như là các phân tử cơ bản của ngôn ngữ, các quan hệ thông qua các vai trò dữ liệu và đề cập đến đặc trưng F, N. Lớp các logic này bao phủ những logic mô tả hữu ích như ALC, SHIF,SHIQ, SHOIN, SHOIQ, SROIQ,...; Xây dựng, mở rộng các định nghĩa, định lý, bổ đề và mô phỏng hai chiều trong lớp các logic mô tả (đã đề cập) và sử dụng nó để mô hình hóa tính không phân biệt được của các đối tượng làm cơ sở cho các thuật toán học khái niệm trong logic mô tả; Phát triển thuật toán khái niệm dựa trên mô phỏng hai chiều cho các hệ thống thông tin trong logic mô tả với ngữ cảnh (3); Xây dượng phương pháp làm mịn phân hoạch miền của các diễn dịch trong logic mô tả dựa trên mô phỏng hai chiều sử dụng các bộ chọn hợp lý và độ đo gia lượng thông tin; Đề xuất các thuật toán học khái niệm cho các cơ sử tri thức trong logic mô tả với ngữ cảnh (1) và ngữ cảnh (2) sử dụng mô phỏng hai chiều.

Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ
Email: thuviendhkh@gmail.com
ĐT: 02343. 822440 - 02343. 832447