Mục tiêu của đề tài là xây dựng định nghĩa mô phỏng hai chiều và tương tự hai chiều trong LGMT mờ theo ngữ nghĩa Gódel phát biểu và chứng minh tính chất Hennessy–Milner và tính bảo toàn của mô phỏng hai chiều và tương tự hai chiều đã được xây dựng. | Luận án tiến sĩ Công nghệ thông tin Xử lý không nhất quán trong tích hợp tri thức dựa trên logic ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN THỊ HỒNG KHÁNH XỬ LÝ KHÔNG NHẤT QUÁN TRONG TÍCH HỢP TRI THỨC DỰA TRÊN LOGIC LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN Hà Nội - 2019 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN THỊ HỒNG KHÁNH XỬ LÝ KHÔNG NHẤT QUÁN TRONG TÍCH HỢP TRI THỨC DỰA TRÊN LOGIC Chuyên ngành Hệ thống thông tin Mã số LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN NGƯỜI HƯỚNG DẪN KHOA HỌC PGS. TS. Hà Quang Thuỵ . Nguyễn Anh Linh Hà Nội 2019 LỜI CAM ĐOAN Tôi xin cam đoan luận án này là công trình nghiên cứu của riêng tôi. Các kết quả được viết chung với các tác giả khác đều được sự đồng ý của các đồng tác giả trước khi đưa vào luận án. Các kết quả nêu là trung thực và chưa từng được công bố trong các công trình nào khác. Nghiên cứu sinh Nguyễn Thị Hồng Khánh 1 LỜI CẢM ƠN Luận án được thực hiện tại Bộ môn Các Hệ thống thông tin Khoa Công nghệ thông tin Trường Đại học Công nghệ Đại học quốc gia Hà Nội dưới sự hướng dẫn khoa học của . Hà Quang Thụy và . Nguyễn Anh Linh. Trước tiên tôi xin gửi lời cảm ơn chân thành và sâu sắc đến PGS. TS. Hà Quang Thuỵ và PGS. TSKH. Nguyễn Anh Linh hai người thầy đã hướng dẫn khuyến khích truyền cảm hứng chỉ bảo và tạo cho tôi những điều kiện tốt nhất từ khi bắt đầu làm nghiên cứu sinh đến khi hoàn thành luận án này. Tôi xin bày tỏ lòng biết ơn tới Nguyễn Ngọc Thành Đại học công nghệ Wroclaw Ba Lan Võ Quốc Bảo Đại học công nghệ Swinburne Australia TS. Trần Thanh Lương Trường Đại học khoa học Đại học Huế đã có hỗ trợ nhiều về chuyên môn cho luận án này. Tôi xin chân thành cảm ơn tới tập thể các thầy cô giáo các nhà khoa học thuộc Trường Đại học Công nghệ đặc biệt là các thành viên của Phòng thí nghiệm Khoa học dữ liệu và Công nghệ tri thức DSKTlab đã giúp đỡ về chuyên môn và tạo điều kiện thuận lợi cho tôi trong suốt thời gian học tập và nghiên cứu. Tôi xin bày
