Đang tải... (xem toàn văn)
(Luận văn thạc sĩ) Tích hợp tri thức sử dụng các kỹ thuật tranh cãi(Luận văn thạc sĩ) Tích hợp tri thức sử dụng các kỹ thuật tranh cãi(Luận văn thạc sĩ) Tích hợp tri thức sử dụng các kỹ thuật tranh cãi(Luận văn thạc sĩ) Tích hợp tri thức sử dụng các kỹ thuật tranh cãi(Luận văn thạc sĩ) Tích hợp tri thức sử dụng các kỹ thuật tranh cãi(Luận văn thạc sĩ) Tích hợp tri thức sử dụng các kỹ thuật tranh cãi(Luận văn thạc sĩ) Tích hợp tri thức sử dụng các kỹ thuật tranh cãi(Luận văn thạc sĩ) Tích hợp tri thức sử dụng các kỹ thuật tranh cãi(Luận văn thạc sĩ) Tích hợp tri thức sử dụng các kỹ thuật tranh cãi(Luận văn thạc sĩ) Tích hợp tri thức sử dụng các kỹ thuật tranh cãi(Luận văn thạc sĩ) Tích hợp tri thức sử dụng các kỹ thuật tranh cãi(Luận văn thạc sĩ) Tích hợp tri thức sử dụng các kỹ thuật tranh cãi(Luận văn thạc sĩ) Tích hợp tri thức sử dụng các kỹ thuật tranh cãi(Luận văn thạc sĩ) Tích hợp tri thức sử dụng các kỹ thuật tranh cãi(Luận văn thạc sĩ) Tích hợp tri thức sử dụng các kỹ thuật tranh cãi
ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN TRẦN VÂN TÍCH HỢP TRI THỨC SỬ DỤNG CÁC KỸ THUẬT TRANH CÃI Ngành: Công nghệ thông tin Chuyên ngành: Kỹ thuật phần mềm Mã số: 62.48.01.03 LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN Người hướng dẫn khoa học: TS Trần Trọng Hiếu Hà Nội - 2016 Mục lục Mục lục Lời cám ơn iii Lời cam đoan iv Danh mục ký hiệu, chữ viết tắt v Danh sách hình vẽ vii Danh sách bảng viii Mở đầu ix Tổng quan logic tích hợp tri thức 1.1 Tổng quan logic 1.1.1 Logic cổ điển 1.1.2 Logic khả 1.2 Tổng quan tích hợp tri thức 1.2.1 Biểu diễn tri thức 1.2.2 Duyệt tri thức 1.2.3 Tích hợp tri thức 14 Mơ hình tranh cãi 2.1 Sự chấp nhận tranh cãi 2.1.1 Mơ hình tranh cãi 2.1.2 Ngữ nghĩa cố định ngữ nghĩa sở (hoài nghi) 2.1.3 Điều kiện cho trùng ngữ nghĩa khác 2.2 Tranh cãi, trò chơi n-người tốn nhân bền vững 2.2.1 Tranh cãi trị chơi n-người 2.2.2 Tranh cãi tốn nhân bền vững 23 24 24 28 29 32 32 33 Tích hợp tri thức có ưu tiên mơ hình logic khả 35 3.1 Tích hợp tri thức tranh cãi logic khả 36 3.2 Định đề số tính chất 41 Thực nghiệm đánh giá 43 4.1 Môi trường thực nghiệm 43 4.2 Quá trình thực nghiệm 43 i 4.2.1 4.2.2 4.2.3 4.2.4 4.2.5 Giới thiệu chương trình Tập liệu thực nghiệm Kết thực nghiệm thu tập liệu thứ Kết thực nghiệm thu tập liệu thứ hai Đánh giá kết thực nghiệm hướng nghiên cứu 43 45 45 48 48 Kết luận 50 Tài liệu tham khảo 51 ii LỜI CÁM ƠN Lời đầu tiên, xin gửi lời cám ơn sâu sắc đến TS Trần Trọng Hiếu tận tình hướng dẫn tơi suốt q trình thực Luận văn Tơi xin gửi lời cám ơn lịng biết ơn sâu sắc tới PGS.TS Hà Quang Thuỵ anh chị em phịng thí nghiệm DS&KTLab nhiệt tình động viên giúp đỡ tơi hồn thành Luận văn Tôi chân thành cảm ơn thầy, cô tạo điều kiện thuận lợi cho học tập nghiên cứu Trường Đại học Công Nghệ Tôi xin cảm ơn bạn lớp cao học K20 đồng nghiệp công ty AI Việt Nam ủng hộ, khuyến khích tạo điều kiện cho tơi suốt trình học tập trường Cuối không phần quan trọng, muốn gửi lời cảm ơn vơ hạn tới gia đình, bạn bè, người thân yêu bên cạnh, động viên giúp đỡ tơi khơng q trình thực Luận văn mà suốt đời Hà Nội, ngày 19 tháng năm 2016 Học viên Nguyễn Trần Vân iii LỜI CAM ĐOAN Tôi xin cam đoan luận văn “Tích hợp tri thức sử dụng kỹ thuật tranh cãi" cơng trình nghiên cứu riêng tơi Các số liệu, kết trình bày luận văn hồn tồn trung thực Tơi trích dẫn đầy đủ tài liệu tham khảo, cơng trình nghiên cứu liên quan Ngoại trừ tài liệu tham khảo này, luận văn hồn tồn cơng việc riêng tơi Luận văn hồn thành thời gian tơi học viên 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à Nội, ngày 19 tháng năm 2016 Học viên Nguyễn Trần Vân iv DANH MỤC CÁC CHỮ VIẾT TẮT ANO BMA CLO CON COO IC IDN MAJ PKB SMP SYM UNA : : : : : : : : : : : : Anonymity Belief Merging by Argumentation Closure Consistency Cooperativity Integrity Constraints Identity Majority Possibilistic Knowledge Base Stable Marriage Problem Symmetry Unanimity v DANH MỤC CÁC THUẬT NGỮ Tiếng Anh Acceptable Admissible Arbitration operator Belief base Belief contraction Belief Merging Belief profile Belief Revision Characteristic function Complete Extension Conflict-free Epistemic Entrenchment Grounded Extension Harper Identity Integrity Constraints Levi Identity Majority operator Necessity degree Possibilistic formula Possibilistic Knowledge Base Possibilistic logic Possibility degree Possibility distribution Possible world Preferred Extension Principle of minimal change Responsibility attribution Revision function Selection Function Stable Extension System of Spheres Tiếng Việt Có thể chấp nhận Bao đóng chấp nhận Tốn tử trọng tài Cơ sở tri thức Loại bỏ tri thức Tích hợp tri thức Hồ sơ tri thức Duyệt tri thức Hàm đặc trưng Phần mở rộng đầy đủ Không chứa xung đột Cố thủ tri thức Phần mở rộng sở Đồng Harper Ràng buộc toàn vẹn Đồng Levi Tốn tử đa số Độ chắn Cơng thức khả Cơ sở tri thức khả Logic khả Độ Phân phối khả Thế giới Phần mở rộng ưu tiên Nguyên tắc thay đổi tối thiểu Chỉ định trách nhiệm Hàm duyệt Hàm lựa chọn Phần mở rộng ổn định Hệ thống khối cầu tri thức vi Trang 26 26 17 4 28 29 26 11 28 15 17 2 1 13 26 23 27 12 Danh sách hình vẽ 1.1 1.2 Một khối cầu tri thức 12 Mơ hình AGM 14 2.1 2.2 2.3 2.4 2.5 Mô hình tranh cãi Quan hệ cơng mơ hình tranh cãi Mơ hình tranh cãi khơng chứa xung đột Có thể chấp nhận mơ hình tranh cãi Bao đóng chấp nhận mơ hình tranh cãi 25 25 26 26 26 4.1 4.2 4.3 4.4 4.5 4.6 4.7 Giao diện chương trình Tạo sở tri thức Kết hàm hợp Các lập luận Quan hệ Undercut Kết toán tử BMA Biểu đồ thời gian thực nghiêm 44 44 46 46 47 47 48 (đơn vii vị giây) Danh sách bảng 1.1 Tốn tử tích hợp dựa vào khoảng cách thông thường 20 3.1 3.2 Ảnh hưởng lập luận 39 Danh sách lập luận 40 4.1 4.2 Kết trình tích hợp 48 Thời gian thực nghiệm chương trình (đơn vị phút) 48 viii Mở đầu Ngày tích hợp tri thức vấn đề nghiên cứu với ứng dụng quan trọng Khoa học máy tính Mục tiêu tích hợp tri thức nhằm đạt tri thức chung từ nguồn tri thức riêng lẻ Vấn đề ứng dụng rộng rãi nhiều lĩnh vực khoa học máy tính tích hợp liệu [1], khôi phục thông tin [2], gộp liệu cảm biến [3], hệ đa tác tử [4] hệ thống đa phương tiện (Multimedia) [5, 6] Vấn đề tích hợp tri thức bắt đầu quan tâm, nghiên cứu, phát triển áp dụng cho số lĩnh vực đời sống, xã hội, kinh tế, an ninh quốc phòng, Một ví dụ thực tế có số hệ thống dự báo kinh tế Việt Nam hệ thống CIA1 , hệ thống WordBank2 , hệ thống đưa số phát triển kinh tế nước ta Tuy nhiên Kế hoạch đầu tư lấy kết dự báo từ hệ thống để báo cáo lên Chính phủ hay Quốc hội Thay vào Trung tâm Thông tin Dự báo kinh tế - xã hội quốc gia Kế hoạch đầu tư phải tổng hợp thơng tin từ nguồn thành thông tin mà phản ánh thực trạng kinh tế Việt Nam sau báo cáo kết lên Chính phủ hay Quốc hội Hiện có nhiều cách tiếp cận để tích hợp tri thức khác [7, 8] Tuy nhiên tất cách tiếp cận dựa giả thuyết bên tham gia có tính cộng tác, tức để bên đạt thỏa thuận chung mà bên có số đòi hỏi đòi hỏi mâu thuẫn bên cần thỏa thuận với để bên hy sinh số địi hỏi nhằm đạt đồng thuận Các tiếp cận chưa phản ánh cách làm việc thực tế Chẳng hạn bên A có địi hỏi hồn tồn hợp lý có đầy đủ chứng, lập luận để bảo vệ ý kiến cịn bên B địi hỏi hồn tồn vơ lý khơng có chứng lập luận Nếu theo tiếp cận truyền thống, hai bên bớt số địi hỏi để đạt thỏa thuận chung, điều vơ lý bên B hưởng lợi địi hỏi khơng hợp lý bên A bị phần quyền lợi đáng Trong luận văn tơi đề cách tiếp cận cho việc tích hợp tri thức nhằm khắc phục hạn chế tiếp cận có Ý tưởng tiếp cận sau: Để đạt thỏa thuận bên, ta bên tranh cãi với nhau, tức bên dùng lý lẽ, lập luận để bảo vệ cho địi hỏi đồng thời phản bác lại đòi hỏi đối phương, bên có nhiều chứng cứ, lập luận tốt bên giành nhiều lợi ích Để làm điều này, mơ hình tích hợp sở tri thức khả đề xuất dựa mơ hình tranh cãi tiếng đề xuất GS Phạm Minh Dũng [25] Bên cạnh đó, tập tiên đề cho tích hợp tri thức tranh cãi giới thiệu tính chất logic đem thảo luận Một chương trình thực nghiệm tích hợp tri thức dựa mơ hình đề xuất đánh giá tiến hành Nội dung luận văn bao gồm phần: https://www.cia.gov/library/publications/the-world-factbook/geos/vm.html http://www.worldbank.org/en/country/vietnam ix ... logic tích hợp tri thức Chương trình bày kiến thức sở logic tích hợp tri thức bao gồm: logic cổ điển, logic khả năng, biểu diễn tri thức, duyệt tri thức tích hợp tri thức Chương Mơ hình tranh. .. 12] Tích hợp tri thức (Mục 1.2.3) nghiên cứu phương pháp để tổng hợp sở tri thức đối tượng thành tri thức chung [13, 14] Duyệt tri thức xem trường hợp đặc biệt tích hợp tri thức q trình duyệt tri. .. tập trung vào cách tiếp cận thứ Đó giải mâu thuẫn kỹ thuật tích hợp tri thức Một cách tổng quát, tốn tích hợp tri thức dựa cấu trúc logic phát biểu sau: Cho tập sở tri thức, sở tri thức biểu diễn