Tích hợp tri thức sử dụng các kỹ thuật tranh cãi

ĐẠI HOC QUOC GIA HÀ N®I TRƯ NG ĐẠI HOC CÔNG NGH NGUYEN TRAN 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 Ky thu t phan mem Mã so 62 48 01 03 LU N VĂN THẠC[.] Tích hợp tri thức sử dụng các kỹ thuật tranh cãi Tích hợp tri thức sử dụng các kỹ thuật tranh cãiTích hợp tri thức sử dụng các kỹ thuật tranh cãiTích hợp tri thức sử dụng các kỹ thuật tranh cãiTích hợp tri thức sử dụng các kỹ thuật tranh cãi

ĐẠI HOC QUOC GIA HÀ N®I TRƯ NG ĐẠI HOC CƠNG NGH NGUYEN TRAN 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: Ky thu t phan mem Mã so: 62.48.01.03 LU N VĂN THẠC SĨ CÔNG NGHN THÔNG TIN Người hướng dan khoa hoc: TS Tran Trong Hieu Hà N i - 2016 Mnc lnc Mnc lnc L i cám ơn iii L i cam đoan iv Danh mnc ký hi u, chfi viet tat Danh sách hình vẽ v vii Danh sách bảng viii M đau ix Tong quan ve logic tích h p tri thfíc 1.1 Tőng quan ve logic 1.1.1 Logic cő đien 1.1.2 Logic khả 1.2 Tőng quan ve tích hợp tri thác .4 1.2.1 Bieu dien tri thác .4 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 23 2.1 Sự chap nh n tranh cãi 24 2.1.1 Mơ hình tranh cãi 24 2.1.2 Ngǎ nghĩa co định ngǎ nghĩa sở (hoài nghi) 28 2.1.3 Đieu ki n cho trùng giǎa ngǎ nghĩa khác 29 2.2 Tranh cãi, trò chơi n-người tốn nhân ben vǎng 32 2.2.1 Tranh cãi trò chơi n-người 32 2.2.2 Tranh cãi tốn nhân ben vǎng .33 Tích h p tri thfíc có ưu tiên mơ hình logic khả 35 3.1 Tích hợp tri thác bang tranh cãi logic khả 36 3.2 Định đe m®t so tính chat .41 Thfic 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 ve chương trình 43 T p dǎ li u thực nghi m 45 Ket thực nghi m thu t p dǎ li u thá nhat 45 Ket thực nghi m thu t p dǎ li u thá hai 48 Đánh giá ket thực nghi m hướng nghiên cáu tiep theo 48 Ket lu n 50 Tài li u tham khảo 51 ii L I CÁM ƠN Lời đau tiên, xin gải lời cám ơn sâu sac nhat đen TS Tran Trong Hieu t n tình hướng dan tơi suot q trình thực hi n Lu n văn Tơi xin gải lời cám ơn lòng biet ơn sâu sac tới PGS.TS Hà Quang Thuy 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 thay, cô tạo đieu ki n thu n lợi cho hoc t p nghiên cáu Trường Đại hoc Công Ngh Tôi xin cảm ơn bạn lớp cao hoc K20 đong nghi p công ty AI Vi t Nam ủng h®, khuyen khích tạo đieu ki n cho tơi suot q trình hoc t p trường Cuoi không phan quan trong, muon gải lời cảm ơn vô hạn tới gia đình, bạn bè, nhǎng người thân yêu ln bên cạnh, đ®ng viên giúp tơi khơng trình thực hi n Lu n văn mà cịn suot cu®c đời Hà N®i, ngày 19 tháng năm 2016 Hoc viên Nguyen Tran 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 ky thu t tranh cãi" cơng trình nghiên cáu riêng tơi Các so li u, ket trình bày lu n văn hoàn toàn trung thực Tơi trích dan đay đủ 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 hoc viên Khoa Công ngh Thông tin, Trường Đại hoc Cơng ngh , Đại hoc Quoc gia Hà N®i Hà N®i, ngày 19 tháng năm 2016 Hoc viên Nguyen Tran Vân iv DANH MỤC CÁC CHǓ VIET TAT 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Ǔ Tieng 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 Tieng Vi t Có the chap nh n Bao đóng có the chap nh n Toán tả tài Cơ sở tri thác Loại bỏ tri thác Tích hợp tri thác Ho sơ tri thác Duy t tri thác Hàm đ c trưng Phan mở r®ng đay đủ Khơng cháa xung đ®t Co thủ tri thác Phan mở r®ng sở Đong nhat Harper Ràng bu®c tồn ven Đong nhat Levi Tốn tả đa so Đ® chac chan Cơng thác khả Cơ sở tri thác khả Logic khả Đ® có the Phân phoi khả The giới có the Phan mở r®ng ưu tiên Nguyên tac thay đői toi thieu Chỉ định trách nhi m Hàm t Hàm lựa chon Phan mở r®ng őn định H thong khoi cau 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 M®t khoi cau tri thác 12 1.2 Mơ hình AGM 14 2.1 2.2 2.3 2.4 2.5 Mơ hình tranh cãi 25 Quan h tan công mô hình tranh cãi 25 Mơ hình tranh cãi khơng cháa xung đ®t 26 Có the chap nh n mơ hình tranh cãi .26 Bao đóng có the chap nh n mơ hình tranh cãi 26 4.1 4.2 4.3 4.4 4.5 4.6 4.7 Giao di n chương trình 44 Tạo sở tri thác 44 Ket hàm hợp .46 Các l p lu n 46 Quan h Undercut 47 Ket toán tả BMA .47 Bieu đo thời gian thực nghiêm (đơn vị giây) 48 vii 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 Ảnh hưởng l p lu n 3.2 Danh sách l p lu n 39 40 4.1 Ket q trình tích hợp 4.2 Thời gian thực nghi m chương trình (đơn vị phút) 48 48 viii M đau Ngày tích hợp tri thác m®t van đe nghiên cáu với dụng quan trong Khoa hoc máy tính Mục tiêu tích hợp tri thác nham đạt tri thác chung tà nguon tri thác riêng lẻ Van đe dụng r®ng rãi nhieu lĩnh vực khoa hoc máy tính tích hợp dǎ li u [1], khơi phục thơng tin [2], g®p dǎ li u cảm bien [3], h đa tác tả [4] h thong đa phương ti n (Multimedia) [5, 6] Van đe tích hợp tri thác bat đau quan tâm, nghiên cáu, phát trien áp dụng cho m®t so lĩnh vực đời song, xã h®i, kinh te, an ninh quoc phịng, M®t ví dụ thực te hi n có m®t so h thong dự báo kinh te Vi t Nam h thong CIA1, h thong WordBank2 , moi h thong đưa m®t b® so phát trien nen kinh te nước ta Tuy nhiên b® Ke hoạch đau tư không the lay ket dự báo tà m®t h thong đe báo cáo lên Chính phủ hay Quoc h®i Thay vào Trung tâm Thông tin Dự báo kinh te - xã h®i quoc gia b® Ke hoạch đau tư phải tőng hợp thơng tin tà nguon thành m®t thơng tin nhat mà phản ánh thực trạng kinh te Vi t Nam roi sau báo cáo ket lên Chính phủ hay Quoc h®i Hi n có nhieu cách tiep c n đe tích hợp tri thác khác [7, 8] Tuy nhiên tat cách tiep c n đeu dựa giả thuyet bên tham gia đeu có tính c®ng tác, tác đe bên đạt thỏa thu n chung mà moi bên đeu có m®t so địi hỏi địi hỏi mâu thuan bên can thỏa thu n với đe moi bên hy sinh m®t so địi hỏi nham đạt đong thu n Các tiep c n chưa phản ánh cách làm vi c thực te Chȁng hạn bên A có địi hỏi hồn tồn hợp lý có đay đủ bang cháng, l p lu n đe bảo v ý kien cịn bên B địi hỏi hồn tồn vơ lý khơng có bang cháng l p lu n Neu theo tiep c n truyen thong, hai bên sě bớt m®t so địi hỏi đe đạt m®t thỏa thu n chung, đieu vơ lý bên B sě hưởng lợi m c dù moi đòi hỏi đeu không hợp lý bên A sě bị mat m®t phan quyen lợi đáng Trong lu n văn tơi đe m®t cách tiep c n cho vi c tích hợp tri thác nham khac phục nhǎng hạn che tiep c n hi n có Ý tưởng tiep c n sau: Đe đạt thỏa thu n giǎa bên, ta sě đe cho bên tranh cãi với nhau, tác bên sě dùng lý lě, l p lu n đe bảo v cho địi hỏi đong thời phản bác lại địi hỏi đoi phương, bên có nhieu cháng cá, l p lu n tot bên sě giành nhieu lợi ích Đe làm đieu này, m®t mơ hình tích hợp sở tri thác khả đe xuat dựa m®t mơ hình tranh cãi női tieng đe xuat GS Phạm Minh Dũng [25] Bên cạnh đó, m®t t p tiên đe cho tích hợp tri thác bang tranh cãi giới thi u tính chat 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 đe xuat đánh giá ve tien hành N®i dung lu n văn bao gom phan: https://www.cia.gov/library/publications/the-world-factbook/geos/vm.html http://www.worldbank.org/en/country/vietnam ix