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.
ĐẠ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ố: 9480104.01 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ỵ PGS.TSKH Nguyễn Anh Linh Hà Nội – 2019 LỜI CAM ĐOAN Tôi xin cam đoan luận án cơng trình nghiên cứu riêng Các kết viết chung với tác giả khác đồng ý đồng tác giả trước đưa vào luận án Các kết nêu trung thực chưa cơng bố cơng trình khác Nghiên cứu sinh Nguyễn Thị Hồng Khánh LỜI CẢM ƠN Luận án thực 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) hướng dẫn khoa học PGS.TS Hà Quang Thụy PGS.TSKH Nguyễn Anh Linh Trước tiên xin gửi lời cảm ơn chân thành sâu sắc đến PGS TS Hà Quang Thuỵ 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, bảo tạo cho điều kiện tốt từ bắt đầu làm nghiên cứu sinh đến hồn thành luận án Tơi xin bày tỏ lòng biết ơn tới GS.TSKH Nguyễn Ngọc Thành, Đại học công nghệ Wroclaw (Ba Lan), PGS.TS 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 chun mơn cho luận án Tôi xin chân thành cảm ơn tới tập thể thầy cô giáo, nhà khoa học thuộc Trường Đại học Công nghệ (đặc biệt thành viên Phịng thí nghiệm Khoa học liệu Cơng nghệ tri thức – DSKTlab) giúp đỡ chuyên môn tạo điều kiện thuận lợi cho suốt thời gian học tập nghiên cứu Tôi xin bày tỏ lòng cảm ơn chân thành tới cộng tơi thực cơng trình nghiên cứu bạn đồng nghiệp giúp đỡ, trao đổi chia sẻ kinh nghiệm chuyên môn, đóng góp ý kiến q báu cho tơi q trình nghiên cứu Tơi xin trân trọng cảm ơn thầy hội đồng chun mơn đóng góp ý kiến q báu để tơi hồn thiện luận án Tôi xin trân trọng cảm ơn Bộ Giáo dục Đào tạo, Đề án 911 Bộ GD&ĐT hỗ trợ phần kinh phí cho tơi q trình học tập Tơi xin cảm ơn Ban Giám hiệu, Trưởng khoa Công nghệ thông tin anh chị em đồng nghiệp trường Đại học Điện lực giúp đỡ, chia sẻ q trình cơng tác, học tập, nghiên cứu thực luận án Tơi ln biết ơn người thân gia đình, mẹ nội, bố mẹ ngoại, anh chị em ln chia sẻ khó khăn, động viên chỗ dựa tinh thần vững cho suốt thời gian qua NCS Nguyễn Thị Hồng Khánh Mục lục LỜI CAM ĐOAN LỜI CẢM ƠN MỤC LỤC DANH MỤC TỪ VIẾT TẮT DANH MỤC CÁC KÝ HIỆU DANH MỤC CÁC BẢNG 10 DANH MỤC CÁC HÌNH VẼ 11 MỞ ĐẦU 12 Chương GIỚI THIỆU CHUNG VỀ QUẢN LÝ KHÔNG NHẤT QUÁN 22 1.1 Một số khái niệm 1.1.1 Dữ liệu, thông tin tri thức 1.1.2 Cơ sở tri thức 1.1.3 Không quán 22 22 23 24 1.2 Tích hợp tri thức 1.2.1 Giới thiệu 1.2.2 Các tốn tử tích hợp tri thức 25 25 26 Mục lục 1.3 Logic mô tả 1.3.1 Giới thiệu logic mô tả 1.3.2 Cơ sở tri thức LGMT 1.3.3 Học khái niệm LGMT 28 28 29 35 1.4 Logic para-nhất quán 1.4.1 Logic bốn giá trị N D Belnap 1.4.2 Ngữ nghĩa logic bốn giá trị 1.4.3 Lý thuyết chứng minh logic bốn giá trị 37 38 39 40 1.5 Logic khả 1.5.1 Cú pháp 1.5.2 Ngữ nghĩa 1.5.3 Độ không quán theo logic khả 42 42 43 44 1.6 Mô hai chiều, tương tự hai chiều, tính chất Hennessy-Milner 45 1.6.1 Mơ hai chiều tương tự hai chiều 45 1.6.2 Tính chất Hennessy-Milner 48 1.7 Nghiên cứu quản lý không quán tiếp cận luận án 49 1.7.1 Quản lý KNQ dựa logic mô tả 50 1.7.2 Quản lý KNQ dựa logic khả với khung tranh luận đàm phán 52 1.8 Kết luận chương Chương 53 LOGIC MÔ TẢ PARA-NHẤT QUÁN BỐN GIÁ TRỊ: MÔ PHỎNG HAI CHIỀU, TÍNH CHẤT HENNESSYMILNER VÀ ỨNG DỤNG HỌC KHÁI NIỆM 54 2.1 Nghiên cứu mô hai chiều LGMT 55 2.2 LGMT para-nhất quán bốn giá trị 56 2.2.1 Ngữ nghĩa LGMT para-nhất quán bốn giá trị 56 2.2.2 Mô hai chiều LGMT para-nhất quán bốn giá trị 64 Mục lục 2.3 Tính chất bảo tồn mô hai chiều 68 2.4 Tính chất Hennessy-Milner mơ hai chiều 73 2.5 Học khái niệm cho LGMT para-nhất quán 2.5.1 Bài toán học khái niệm LGMT para-nhất quán 2.5.2 Thuật toán học khái niệm LGMT para-nhất quán 2.5.3 Thực nghiệm nhận xét 80 80 81 83 2.6 Kết luận chương 85 Chương LOGIC MÔ TẢ MỜ THEO NGỮ NGHĨA GĨDEL: MƠ PHỎNG HAI CHIỀU VÀ TÍNH CHẤT HENNESSYMILNER 86 3.1 Nghiên cứu mô hai chiều logic mờ 86 3.2 Tập mờ theo ngữ nghĩa Gódel 3.2.1 Tập mờ phép toán tập mờ 3.2.2 Ba ngữ nghĩa tập mờ 3.2.3 Toán tử mờ Gódel 88 88 90 91 3.3 Logic mô tả mờ theo ngữ nghĩa Gódel 93 3.4 Mô hai chiều với LGMT mờ 98 3.5 Tính chất bảo tồn mô hai chiều mờ 102 3.6 Tính chất Hennessy-Milner mơ hai chiều mờ 103 3.7 Kết luận chương 105 Chương KHUNG TRANH LUẬN VÀ ĐÀM PHÁN HƯỚNG ƯU TIÊN TRONG TÍCH HỢP TRI THỨC NHẤT QUÁN 106 4.1 Tích hợp tri thức đàm phán 4.1.1 Khung đàm phán tích hợp tri thức 4.1.2 Mơ hình đàm phán 4.1.3 Chiến lược xếp tích hợp tri thức 4.1.4 Đàm phán dựa ưu tiên 106 106 108 108 109 Mục lục 4.1.5 Các tính chất logic tốn tử tích hợp tri thức 113 4.2 Xử lý tri thức KNQ tranh luận 4.2.1 Tích hợp tri thức tranh luận logic khả 4.2.2 Các định đề thuộc tính logic 115 115 120 4.3 Kết luận chương 122 KẾT LUẬN 124 Danh mục từ viết tắt DANH MỤC TỪ VIẾT TẮT Ký hiệu ABox GCI KB KNQ LGMT LTS OWL TBox TTL WWW Tiếng Anh Assertion Box General Concept Inclusion Tiếng Việt Bộ khẳng định cá thể Bao hàm khái niệm tổng quát Knowledge Base Cơ sở tri thức Inconsistent Không quán Description Logics Logic mô tả Labelled Transition System Hệ thống chuyển có nhãn Ontology Web Language Ngôn ngữ web ngữ nghĩa Terminology Box Bộ tiên đề thuật ngữ Knowledge Integration by Tích hợp tri thức Argumentation tranh luận World Wide Web Mạng toàn cầu Danh mục ký hiệu DANH MỤC CÁC KÝ HIỆU Ký hiệu A, B C, D r, s R, S a, b c, d R T A ¬ ∀ ∃ s Φ S KB ALC I O Q U Self I ∆I Diễn giải ý nghĩa Các thuộc tính/tên khái niệm Các khái niệm Các tên vai trò Các vai trò Các cá thể Các phần tử thuộc miền giá trị Bộ tiên đề vai trò Bộ tiên đề thuật ngữ Bộ khẳng định cá thể Khái niệm đỉnh đại diện tồn đối tượng Khái niệm đáy khơng đại diện đối tượng Giao khái niệm Hợp khái niệm Phủ định khái niệm Lượng từ hạn chế với Lượng từ hạn chế tồn Ngữ nghĩa para-nhất quán Tập đặc trưng logic mô tả Tập ngữ nghĩa para-nhất quán Cơ sở tri thức logic mô tả Ngôn ngữ logic mơ tả Vai trị nghịch đảo Định danh Hạn chế số lượng có định tính Vai trị phổ qt Tính phản xạ cục vai trị Diễn dịch logic mô tả Miền diễn dịch I ·I Ánh xạ diễn dịch I ⊥ ... ĐẠ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ố: 9480104.01 LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN... quản lý KNQ tiếp cận luận án 20 Mở đầu Khái quát sở tri thức, logic mô tả, logic mô tả para -nhất quán, logic khả xử lý không quán dựa logic CHƯƠNG GIỚI THIỆU CHUNG VỀ QUẢN LÝ KHÔNG NHẤT QUÁN ... thơng qua hệ logic 1.1.3 Không quán Không quán tượng tự nhiên giới thực KNQ xuất kết việc tích hợp sở tri thức, đó, sở tri thức nguồn quán, nhiên, tập tri thức tổng hợp từ toàn sở tri thức nguồn