tailieunhanh - Tóm tắt Luận án Tiến sĩ Máy tính: Học khái niệm cho các hệ thống thông tin dựa trên logic mô tả

Luận án 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 ở trên 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ả. Luận án 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. | ĐẠI HỌC HUẾ TRƯỜNG ĐẠI HỌC KHOA HỌC TRẦN THANH LƯƠNG 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ố LUẬN ÁN TIẾN SĨ MÁY TÍNH HUẾ NĂM 2015 Công trình này được hoàn thành tại Trường Đại học Khoa học - Đại học Huế Người hướng dẫn khoa học 1. PGS. TSKH. Nguyễn Anh Linh Trường Đại học Warsaw Ba Lan 2. TS. Hoàng Thị Lan Giao Trường Đại học Khoa học Đại học Huế Phản biện 1 GS. TSKH. Hoàng Văn Kiếm Trường Đại học CNTT ĐHQG TP. Hồ Chí Minh Phản biện 2 PGS. TS. Đoàn Văn Ban Viện Công nghệ Thông tin Viện Hàn lâm KH CN Việt Nam Phản biện 3 PGS. TS. Nguyễn Mậu Hân Trường Đại học Khoa học Đại học Huế Luận án sẽ được bảo vệ tại Hội đồng chấm luận án cấp Đại học Huế họp tại Đại học Huế vào lúc . 2015 Có thể tìm hiểu luận án tại thư viện Thư viện Quốc gia Việt Nam Thư viện Trường Đại học Khoa học Đại học Huế MỞ ĐẦU Vấn đề học khái niệm trong logic mô tả tương tự như phân lớp nhị phân trong học máy truyền thống. Tuy nhiên việc học khái niệm trong ngữ cảnh logic mô tả khác với học máy truyền thống ỏ điểm các đối tượng không chỉ được đặc tả bằng các thuộc tính mà còn được đặc tả bằng các mối quan hệ giữa các đối tượng. Bài toán học khái niệm được đặt ra theo ba ngữ cảnh chính như sau Ngữ cảnh 1 Cho cơ sỏ tri thức KB trong logic mô tả L và các tập các cá thể E E . Học khái niệm C trong L sao cho 1. KB 1 C a với mọi a 2 E và 2. KB C a với mọi a 2 E . trong đó tập E chứa các mẫu dương và E_ chứa các mẫu âm của C. Ngữ cảnh 2 Ngữ cảnh này khác với ngữ cảnh đã đề cập ỏ trên là điều kiện thứ hai được thay bằng một điều kiện yếu hơn 1. KB C a với mọi a 2 E và 2. KB C a với mọi a 2 E_. Ngữ cảnh 3 Cho một diễn dịch I và các tập các cá the E E_. Học khái niệm C trong logic mô tả L sao cho 1. I C a với mọi a 2 E và 2. I C a với mọi a 2 E_. Chú ý rằng I C a tương đồng với I C a . Học khái niệm trong logic mô tả đã được nhiều nhà khoa học quan tâm nghiên cứu và chia thành ba hướng tiếp cận chính. Hướng tiếp cận thứ .