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

I HC QUăC GIA H NáI TRìNG I HC CNG NGH NGUY NTR NV 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ÿ thut phn mãm M s: 62.48.01.03 LU N V N TH C S CNG NGH THNG 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 cĂc kỵ hiằu, cĂc ch vit t›t v Danh s¡ch h…nh v‡ vii Danh s¡ch b£ng viii Mð ƒu TŒng quan v• logic v ix t‰ch hỉp tri thøc 1.1 TŒng quan v• logic 1.1.1 Logic cŒ i”n 1.1.2 Logic kh£ n«ng 1.2 TŒng quan v• 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 Mæ h…nh tranh c¢i 1 4 14 23 2.1 Sỹ chĐp nhn ca tranh cÂi 2.1.1 Mỉ h…nh tranh c¢i 2.1.2 Ngœ ngh¾a cŁ ành v ngœ ngh¾a cì sð (ho i nghi) 2.1.3 i•u ki»n cho sü trịng giœa ngœ ngh¾a kh¡c 2.2 Tranh cÂi, trặ chỡi n-ngữới v b i toĂn hổn nhƠn bãn vng 2.2.1 Tranh cÂi trặ chỡi n-ngữới 2.2.2 Tranh cÂi v b i toĂn hổn nhƠn bãn vng Tch hổp tri thức cõ ữu tiản mỉ h…nh logic kh£ n«ng 24 24 28 29 32 32 33 35 3.1 T‰ch hæp tri thøc b‹ng tranh cÂi logic khÊ nông 3.2 ành • v mºt sŁ t‰nh ch§t Thüc nghi»m v ¡nh gi¡ 36 41 43 4.1 Mỉi tr÷íng thüc nghi»m 4.2 Qu¡ tr…nh thüc nghi»m i 43 43 4.2.1 4.2.2 4.2.3 4.2.4 4.2.5 Giợi thiằu vã ch÷ìng tr…nh T“p dœ li»u thüc nghi»m K‚t qu£ thüc nghi»m thu ÷ỉc cıa t“p dœ li»u thø nh§t K‚t qu£ thüc nghi»m thu ÷ỉc cıa t“p dœ li»u thø hai ¡nh gi¡ k‚t qu£ thüc nghi»m v hữợng nghiản cứu tip theo Kt lun T i li»u tham kh£o 43 45 45 48 48 50 51 ii LIC MèN Lới u tiản, tổi xin gòi lới cĂm ỡn sƠu sc nhĐt n TS Trn Trồng Hiu  tn tnh hữợng dÔn tổi sut quĂ trnh thỹc hiằn Lun vôn Tổi cụng xin gòi lới cĂm ỡn v lặng bit ỡn sƠu sc tợi PGS.TS H Quang Thu cịng anh chà em phỈng th‰ nghi»m DS&KTLab ¢ nhi»t t…nh ºng vi¶n v gióp ï tỉi ho n th nh Lun vôn Tổi chƠn th nh cÊm ỡn cĂc thy, cổ  to iãu kiằn thun lổi cho tổi ữổc hồc v nghiản cứu ti Trữớng ⁄i håc Cỉng Ngh» Tỉi xin c£m ìn c¡c b⁄n lợp cao hồc K20 v cĂc ỗng nghiằp ti cỉng ty AI Vi»t Nam ¢ ıng hº, khuy‚n kh‰ch v t⁄o i•u ki»n cho tỉi suŁt qu¡ tr…nh håc t“p t⁄i tr÷íng CuŁi cịng nh÷ng khỉng k†m phƒn quan trång, tỉi muŁn gßi líi c£m ìn vỉ h⁄n tợi gia nh, bn b, nhng ngữới thƠn yảu luổn b¶n c⁄nh, ºng vi¶n v gióp ï tỉi khỉng ch¿ quĂ trnh thỹc hiằn Lun vôn m cặn suŁt cuºc íi n y H Nºi, ng y 19 thĂng nôm 2016 Hồc viản Nguyn Trn 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 cĂc k thut tranh cÂi" l cỉng tr…nh nghi¶n cøu cıa ri¶ng tỉi C¡c sŁ liằu, kt quÊ ữổc trnh b y lun vôn l ho n to n trung thüc Tỉi ¢ tr‰ch dÔn y cĂc t i liằu tham khÊo, cổng tr…nh nghi¶n cøu li¶n quan Ngo⁄i trł c¡c t i li»u tham kh£o n y, lu“n v«n ho n to n l cổng viằc ca riảng tổi Lun vôn ữổc ho n th nh thíi gian tỉi l håc viản ti 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 Nguyn Trƒn V¥n iv ANO BMA CLO CON COO IC IDN MAJ PKB SMP SYM UNA DANHMÖCC CCHÚVI TT T : Anonymity : Belief Merging by Argumentation : Closure : Consistency : Cooperativity : Integrity Constraints : Identity : Majority : Possibilistic Knowledge Base : Stable Marriage Problem : Symmetry : Unanimity v Ti‚ng Anh DANH MÖC C C THU T NGÚ Ti‚ng Vi»t 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 Câ th” ch§p nh“n Bao õng cõ th chĐp nhn ToĂ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 c¡c xung ºt CŁ thı tri thøc Phƒn mð rng cỡ s ỗng nhĐt Harper R ng buc to n vàn ỗng nhĐt Levi ToĂn tò a s ch›c ch›n Cỉng thøc kh£ n«ng Cì sð tri thøc khÊ nông Logic khÊ nông cõ th PhƠn phi khÊ nông Th giợi cõ th Phn m rng ữ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 c¡c 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 2.1 2.2 2.3 2.4 2.5 4.1 Mºt khŁi cƒu tri thøc Mæ h…nh AGM Mỉ h…nh tranh c¢i Quan h» t§n 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 câ th” ch§p nh“n mỉ h…nh tranh c¢i Giao di»n ch÷ìng tr…nh 12 14 25 25 26 26 26 44 4.2 4.3 4.4 4.5 4.6 4.7 T⁄o cì sð tri thøc K‚t qu£ cıa h m hæp C¡c l“p lu“n Quan h» Undercut K‚t qu£ cıa to¡n tß BMA Biu ỗ thới gian thỹc nghiảm ( ỡn v giƠy) 44 46 46 47 47 48 vii Danh s¡ch b£ng 1.1 To¡n tß t‰ch hỉp düa v o kho£ng c¡ch thỉng th÷íng 3.1 nh h÷ðng cıa l“p lu“n 20 39 3.2 Danh s¡ch c¡c l“p lu“n 4.1 K‚t qu£ qu¡ tr…nh t‰ch hæp 40 48 4.2 Thíi gian thüc nghi»m ch÷ìng tr…nh ( ìn phót) 48 viii Mð ƒu Ng y t‰ch hæp tri thøc l mt cĂc vĐn ã nghiản cứu vợi cĂc ứng dưng quan trång Khoa håc m¡y t‰nh Mưc ti¶u ch‰nh cıa t‰ch hỉp tri thøc l nh‹m ⁄t ÷ỉc cĂc tri thức chung t cĂc nguỗn tri thức riảng là VĐn ã n y ữổc ứng dửng rng rÂi nhiãu lắnh vỹc ca khoa hồc mĂy tnh nhữ t‰ch hỉp dœ li»u [1], khỉi phưc thỉng tin [2], gºp dœ li»u c£m bi‚n [3], c¡c h» a t¡c tò [4] v cĂc hằ thng a phữỡng tiằn (Multimedia) [5, 6] VĐn ã tch hổp tri thức bt u ữổc quan tƠm, nghiản cứu, phĂt trin v Ăp dửng cho mt s lắnh vỹc ới sng, x hi, kinh t‚, an ninh quŁc phỈng, Mºt c¡c v‰ dư thüc t‚ â l hi»n ¢ câ mºt sŁ h» thŁng dü b¡o kinh t‚ cıa Vi»t Nam nh÷ h» thŁng cıa CIA , h» thŁng cıa WordBank , mØi h» thŁng ÷a mºt bº c¡c ch¿ sŁ ph¡t tri”n ca nãn kinh t nữợc ta Tuy nhiản b K hoch u tữ khổng th lĐy kt quÊ ca dü b¡o tł mºt c¡c h» thŁng n y bĂo cĂo lản Chnh ph hay Quc hi ữổc Thay v o â Trung t¥m Thỉng tin v Dü b¡o kinh t‚ - x¢ hºi quŁc gia cıa bº K‚ ho⁄ch v ƒu t÷ ph£i tŒng hỉp thỉng tin t cĂc nguỗn õ th nh mt thổng tin nhĐt m phÊn Ănh ữổc thỹc trng kinh t ca Viằt Nam rỗi sau õ mợi bĂo cĂo kt quÊ n y 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 nhữ [7, 8] Tuy nhiản tĐt cÊ cĂc cĂch tip cn n y ãu dỹa trản giÊ thuyt l cĂc tham gia ãu cõ t nh cng tĂc, tức l cĂc t ữổc thọa thun chung m mỉi ãu cõ mt s ặi họi v cĂc ặi họi n y mƠu thuÔn th cĂc cn thọa thun vợi mỉi hy sinh i mt s ặi họi ca mnh nhm t ữổc sỹ ỗng thun CĂc tip cn n y ch÷a ph£n ¡nh ÷ỉc óng c¡ch l m vi»c thỹc t Chflng hn nhữ A cõ cĂc ặi họi l ho n to n hổp lỵ v câ ƒy ı b‹ng chøng, l“p lu“n ” b£o v» ỵ kin ca mnh cặn B cĂc ặi họi ho n to n vổ lỵ v khổng cõ bng chøng l“p lu“n g… c£ N‚u theo c¡c ti‚p c“n truyãn thng, hai s bợt i mt s Ỉi häi n o â cıa m…nh ” ⁄t ÷ỉc mt thọa thun chung, iãu n y l vổ lỵ v B s ữổc hững lổi mc dũ mồi ặi họi ãu khổng hổp lỵ v A s b mĐt mt phn quyãn lổi chnh Ăng ca mnh Trong lun vôn n y tổi ã mt cĂch ti‚p c“n mỵi cho vi»c t‰ch hỉp tri thøc nh‹m kh›c phöc nhœng h⁄n ch‚ cıa c¡c ti‚p c“n hi»n cõ ị tững chnh ca tip cn n y nhữ sau: t ữổc thọa thun gia cĂc bản, ta s cho cĂc tranh cÂi vợi nhau, tức l cĂc s dũng lỵ l, lp lun bÊo vằ cho cĂc ặi họi ca mnh ỗng thới phÊn bĂc li cĂc ặi họi ca i phữỡng, n o câ nhi•u chøng cø, l“p lu“n tŁt hìn th õ s gi nh ữổc nhiãu lổi ch hỡn l m ữổc iãu n y, mt mổ hnh tch hổp cỡ s tri thức khÊ nông ữổc ã xuĐt dỹa trản mt mổ hnh tranh cÂi ni ting ữổc ã xuĐt bi GS Phm Minh Dụng [25] Bản cnh õ, mt cĂc tiản ã cho tch hổp tri thức bng tranh cÂi cụng ữổc giợi thiằu v cĂc tnh chĐt logic ca nõ cụng ữổc em th£o lu“n Mºt ch÷ìng tr… nh thüc nghi»m t‰ch hổp tri thức dỹa trản mổ hnh  ã xuĐt v cĂc Ănh giĂ vã nõ ữổc tin h nh Ni dung chnh ca lun vôn bao gỗm cĂc phn: https://www.cia.gov/library/publications/the-world-factbook/geos/vm.html http://www.worldbank.org/en/country/vietnam ix f; 0:93q; p f _g; 0:92q; ppa_ bq_p d_aq_p e_aq; 0:91q; pf; 0:9q; p b_ f _g; 0:88q; pg_ p d _ aq _ p e _ aq; 0:88q; p e _ f; 0:86q; pd _ f; 0:86q; pa _ b _ c; 0:85q; pa _ b _ c; 0:85q; pp b _ gq _ p d _ aq _ p e _ aq; 0:82q; ppa _ bq ^ pa _ b _ dq; 0:82q; p b _ c _ g; 0:8q; p f; 0:8q; pc _g; 0:8q; p e _p d _aq_p e _aq; 0:79q; pa _ b _d; 0:79q; pd _p d _ aq _ p e _ aq; 0:79q; pp b _ gq^pg _ dq; 0:76q; pd _ g; 0:72q; pp d _ aq _ p e _ aq; 7q; p b _ c _ g; 0:7q; pa _ b; 0:7q; p b _ c _ e; 0:65q; p b _ c _ d; 0:65q; pc _ e; 0:65q; pc _ d; 0:65q; pp b _ gq ^ p b _ d _ gq; 0:64q; pg; 0:6q; pp b _ eq ^ pd _ eq; 0:58q; pp b _ dq ^ d; 0:58q; p b _ d _ g; 0:58q; pd _ e; 0:51q; p b _ c; 0:5q; pc; 0:5q; p b _ g; 0:4q; p b ^ d; 0:4q; p e; 0:3q; pd; 0:3qu Table 3.2 tŒng hæp nhœng l“p lun khĂc cõ th xƠy dỹng ữổc t B ‘ v £nh h÷ðng cıa nâ nh÷ sau: B£ng 3.2: Danh s¡ch c¡c l“p lu“n L“p lu“n A1 xta _ b _ fu; a _ b _ fy A2 A3 A4 A5 A6 A7 A8 A9 A10 A11 A12 A13 A14 A15 A16 A17 A18 A19 A20 A21 A22 A23 A24 A25 A26 A27 A28 A29 A30 A31 A32 A33 A34 A35 nh h÷ðng A36 xt b _ c _ du; b _ c _ dy 0.97 0.97 0.96 0.95 0.95 0.94 0.94 0.94 0.93 0.92 0.91 0.9 0.9 0.9 0.88 0.88 0.86 0.86 0.85 0.85 0.82 0.82 0.8 0.8 0.8 0.8 0.79 0.79 0.79 0.76 0.72 0.7 0.7 0.7 0.65 0.65 Ti‚p töc ð trang sau xtf _ p d _ aq _ p e _ aqu; f _ p d _ aq _ p e _ aqy xtf _ gu; f _ gy xt b _ c _ fu; b _ c _ fy xtc _ fu; c _ fy xtp b _ fq ^ pd _ fqu; p b _ fq ^ pd _ fqy xt b _ f _ gu; b _ f _ gy xta _ b _ fu; a _ b _ fy xt e _ fu; e _ fy xt f _ gu; f _ gy d _aq_p e _aqy xtpa _ bq_p d _aq_p e _aqu; pa _ bq_p xtfu; fy xta _ b _ f; fu; a _ by xt f _ g; fu; gy xt b _ f _ g; fu; b _ gy xtg _ p d _ aq _ p e _ aqu; g _ p d _ aq _ p e _ aqy xt e _ f; fu; ey xtd _ f; fu; dy xta _ b _ cu; a _ b _ cy xta _ b _ cu; a _ b _ cy b _gq_p d _aq_p e _aqy xtp b _gq_p d _aq_p e _aqu; p xtpa _ bq ^ pa _ b _ dqu; pa _ bq ^ pa _ b _ dqy xt fu; fy xt b _ c _ f; fu; b _ cy xtp b _ fq ^ pd _ fq; fu; b ^ dy xtc _ gu; c _ gy xt e _ p d _ aq _ p e _ aqu; e _ p d _ aq _ p e _ aqy xta _ b _ du; a _ b _ dy xtd _ p d _ aq _ p e _ aqu; d _ p d _ aq _ p e _ aqy xtp b _ gq ^ pg _ dqu; p b _ gq ^ pg _ dqy xtd _ gu; d _ gy xtp d _ aq _ p e _ aqu; p d _ aq _ p e _ aqy xt b _ c _ gu; b _ c _ gy xta _ bu; a _ by xt b _ c _ eu; b _ c _ ey 40 BÊng 3.2 Tip tửc trang trữợc L“p lu“n nh h÷ðng ey b _ d _ gqu; p b _ gq ^ p b _ d _ gqy A37 xtc _ eu; c _ A37 xtc _ du; c _ dy b _ gq ^ p A39 xtp b _ eq ^ pd _ A40 xtp A A A 41 42 43 A 44 equ; p b _ eq ^ pd _ eqy xtp b _ dq ^ du; p b _ dq ^ dy xt b _ d _ gu; b _ d _ gy ey xtd _ eu; d _ xtcu; cy Chóng ta câ U ndercut 0.65 0.65 0.64 0.58 0.58 0.58 0.51 0.5 pA12; A23q; pA12; A24q; pA12; A25q; pA23; A12q; pA23; A13q; pA23, A14q; pA23; A15q; pA23; A17q; pA23; A18q Inc undercut pB‘q maxtminp0:9; 0:8q; minp0:9; 0:8q; minp0:9; 0:8q; minp0:8; 0:9q; minp0:8, 0:9q; minp0:8; 0:9q; minp0:8; 0:88q; minp0:8; 0:86q; minp0:8; 0:86qu 0:8: Vỵi att = undercut chóng ta câ: att ‘pBq tpa _ b _ fq; pf _ p d _ aq _ p e _ aqq; pf _ gq; p b _ c _ f q; pc _ f q; pp b _ fq ^ pd _ fqq; p b _ f _ gq; pa _ b _ fq; p e _ fq; p f _ gq; ppa _ bq _ p d _ aq _ p e _ aqq; pfq; p b _ f _ gq; pg _ p d _ aq _ p e _ aqq; p e _ fq; pd _ fq; pa _ b _ cq; pa _ b _ cq; pp b _ gq _ p d _ aq _ p e _ aqq; ppa _ b q ^ pa _ b_ dqqu 3.2 ành • v mºt sŁ t‰nh ch§t Trong phƒn ti‚p theo tỉi xin giợi thiằu mt s nh ã cho tch hổp tri thức bng tranh cÂi GiÊ sò cõ B tB1;:::;Bnu l t“p hœu h⁄n c¡c cì sð tri thøc kh£ n n«ng, H m hỉp B‘ x¡c ành nh÷ sau: B‘ : B Đ B T“p c¡c nh ã ữổc giợi thiằu nhữ sau: (SYM) BptB1; :::; Bnuq B‘ptB p1q; :::; B pnquq Trong â l ho¡n v {1, , n} nh ã (SYM) cặn ữổc gåi l ành • (ANO) [29], ” £m b£o sü cỉng b‹ng cıa ng÷íi tham gia Nâ ch¿ r‹ng k‚t qu£ cıa mºt qu¡ tr…nh tranh c¢i cƒn ph£n ¡nh l“p lu“n cıa nhœng ng÷íi tham gia chø khỉng ph£i l danh t‰nh cıa hå (CON) E P LpB‘ptB1; :::; Bnuq $ q ^ pB‘ptB1; :::; Bnuq $ q nh ã (CON) yảu cu rng kt quÊ ca mt quĂ trnh tranh cÂi phÊi nhĐt quĂn (UNA) Nu B1 ::: Bn th… B‘ptB1; :::; Bnuq B1 ành • (UNA) trnh b y vã sỹ thng nhĐt Nõ nõi rng nu tĐt cÊ nhng ngữới tham gia cõ mºt t“p tri thøc, th… t“p tri thøc n y s‡ l k‚t qu£ cıa qu¡ tr… nh tranh c¢i Rê r ng, nh ã (UNA) l tng quĂt hỡn ành • (IDN) v nâ cơng bao h m (IDN) ÷æc x¡c ành nh÷ sau: (IDN) B‘ptBi; :::; Biuq Bi (IDN) phĂt biu rng nu tĐt cÊ nhng ngữới tham gia câ cịng mºt cì sð tri thøc kh£ n«ng Th… sau qu¡ tr…nh tranh c¢i, k‚t qu£ chóng ta ⁄t ÷ỉc l mºt cì sð tri thøc 41 n i (CLO) Bi $ B‘ptBi; :::; Biuq ành • (CLO) y¶u cƒu t‰nh âng cho k‚t qu£ cıa qu¡ tr…nh tranh c¢i Nâ ch¿ r‹ng mØi tri thøc thu ữổc sau quĂ trnh tranh cÂi cn cõ mºt v i cì sð tri thøc cıa dœ li»u ƒu v o n (MAJ) N‚u |tBi $ ; i 1; :::; nu| ¡ th… B‘ptBi; :::; Biuq $ ành • (MAJ) ch¿ r‹ng, n‚u mºt tri thøc ÷ỉc hØ trỉ bði a sŁ ng÷íi tham gia th… nâ ph£i n‹m k‚t qu£ cıa qu¡ tr…nh tranh c¢i (COO) N‚u Bi $ ; @i 1; :::; n th… B‘ptBi; :::; Biuq $ ành • (COO) ph¡t bi”u r‹ng, n‚u mºt tri thøc ÷ỉc hØ trỉ bi tĐt cÊ nhng ngữới tham gia th nõ phÊi n‹m k‚t qu£ cıa qu¡ tr…nh tranh c¢i Chóng ta câ c¡c nh“n x†t sau: - (UNA) bao h m (IDN) - (MAJ) bao h m (COO) Kh£o s¡t vợi cĂc toĂn tò tch hổp ữổc xĂc nh phn trữợc, cõ: nh lỵ 3.2.1 ToĂn tò BM A thọa mÂn cĂc nh ã (SYM), (CON), (UNA) v (CLO) Khổng thọa mÂn (MAJ) Chứng minh GiÊ sò chóng ta câ to¡n tß BMA = B‘ Undercut pBq ; aq| P Bi Y ::: Y Bn; a ¡ IncpB1 Y ::: Y Bnqu B¥y gií chóng ta ch rng BM A thọa mÂn cĂc nh ã (SYM), (CON), (UNA), (CLO) v khỉng thäa m¢n (MAJ) - Bi v kt quÊ t ữổc xƠy dỹng dỹa v o niãm tin v sỹ ữu tiản ca i tữổng d nh cho c¡c thæng tin n y chø khæng ph£i l danh t‰nh cıa Łi t÷ỉng Do â, SYM ÷ỉc thäa m¢n - Bði v… qu¡ tr…nh t‰ch hổp, viằc xĂc nh khổng nhĐt quĂn  giúp ta loi bọ ữổc cĂc tri thức mƠu thuÔn vợi t“p tri thøc chung ban ƒu Do â, CON ÷ỉc thäa m¢n - Trong k‚t qu£ cıa qu¡ tr…nh t‰ch hæp, c¡c tri thøc câ møc º ch›c ch›n nhä hìn º khỉng nh§t qu¡n s‡ bà lo⁄i bä Do â, mºt tri thøc ÷ỉc hØ trỉ bði a sŁ ng÷íi tham gia nh÷ng qu¡ tr…nh t‰ch hỉp Ênh hững t ữổc nhọ hỡn khổng nhĐt qu¡n th… tri thøc â công s‡ bà lo⁄i bä sau qu¡ tr…nh t‰ch hæp V… v“y MAJ khæng ÷ỉc thäa m¢n Nºi dung ch‰nh cıa ch÷ìng n y l cung c§p mºt mỉ h…nh ” t‰ch hỉp tri thức bng tranh cÂi ị tững chnh ca mổ hnh n y l sò dửng khổng nhĐt quĂn nhữ l mt thữợc o vợi khĂi niằm undercut, th tiảu xƠy dỹng mt mổ hnh tranh c Âi cho t‰ch hỉp tri thøc B¶n c⁄nh â, mºt t“p cĂc nh ã cụng  ữổc giợi thiằu v t nh hổp lỵ ca nõ cụng  ữổc ã cp v mang th£o lu“n Cho B1 Inc undercut a; 0:7; ; p b; 0:1 q pB‘q = 0.28 v ‘ att qu ; B2 a _ b; 0:9 ; p b; 0:2 qu Vỵi att = undercut v q pBq a _ bq; pa _ bq; paq; p bqu 42 ‘p ;q : chóng ta câ Ch÷ìng Thüc nghi»m v ¡nh gi¡ Do h⁄n ch‚ v• m°t thíi gian, khn khŒ lu“n v«n n y, tỉi ch¿ ti‚n h nh thüc c i t mt phn ca mổ hnh ã xuĐt, cử th” l qu¡ tr…nh t‰ch hỉp ch¿ thüc hi»n ÷ỉc vỵi dœ li»u ƒu v o câ hai cì sð tri thøc v c¡c cæng thøc logic câ chøa php tuyn, chữa thỹc hiằn ữổc vợi php hi Phn cặn li s ữổc tin h nh nhng nghiản cøu ti‚p theo 4.1 Mỉi tr÷íng thüc nghi»m Qu¡ tr…nh thỹc nghiằm ca lun vôn ữổc thỹc hiằn trản mĂy t‰nh câ c§u h…nh: Chip Intel(R) Core(TM) i7-2640M, 2.80GHz Ram: 6GB H» i•u h nh: Windows 10 - 64 bit Samsung SSD 850 Evo 250G Cỉng cư l“p tr…nh: Ch÷ìng trnh ữổc vit bng C7, nãn tÊng Net 3.5, sò döng IDE l Visual Studio 2015 v Infragistics ” thi‚t k‚ giao di»n 4.2 Qu¡ tr…nh thüc nghi»m 4.2.1 Giỵi thiằu vã chữỡng trnh Giao diằn chnh ca chữỡng trnh gỗm cõ hai phn: Phn chức nông (chú thch [1] - hnh 4.1): bao gỗm menu chnh, chồn file d li»u, chån h m hỉp v hi”n thíi gian thüc hi»n t‰nh to¡n Phƒn hi”n (chó th‰ch [2] - h…nh 4.1): hi”n dœ li»u ƒu v o ” t‰nh to¡n v k‚t qu£ thu ÷ỉc sau tnh toĂn CĂc chức nông chnh ca chữỡng trnh: Logic khÊ nông: xĂc nh h m phƠn phi khÊ nông, tnh khổng nhĐt quĂn, xĂc nh ngữùng, kt lun hổp lỵ, kt lun khÊ nông 43 Hnh 4.1: Giao diằn chữỡng trnh Tch hổp tri thức bng tranh cÂi x¡c ành: k‚t qu£ cıa h m hæp, c¡c l“p lu“n, quan h» undercut, º khỉng nh§t qu¡n, k‚t qu£ ca toĂn tò BMA Kt xuĐt kt quÊ dữợi dng file excel ho°c word, t⁄o h m hæp v t⁄o cì sð tri thøc Y¶u cƒu dœ li»u ƒu v o: C¡c thỉng tin ƒu v o ÷ỉc bi”u di„n dữợi dng cổng thức khÊ nông, mỉi mt cỡ s tri thức th ữổc nm mt cĐu trúc cõ d⁄ng f ormula tu V‰ dö f ormulatpa_ b; 0:7q; pb; 0:6q; pa; 0:4qu Trong phƒn logic kh£ n«ng, ” tnh phƠn phi khÊ nông th cĂc din giÊi u v o ữổc nm mt cĐu trúc cõ dng inter tu v‰ dö intertpa; b; cq; pa; b; cq; pa; b; cqu CĂc kỵ hiằu php toĂn bao gỗm: ph†p ho°c (|), ph†p v (&), phı ành ( ) Yảu cu i vợi viằc to h m hổp phÊi thọa mÂn hai tnh chĐt sau: (1) p0; : : : 0q 0, (2) Nu Ơ bi vợi tĐt c£ i 1; : : : ; n th… ‘pa1; : : : ; anq ¥ ‘pb1; : : : ; bnq Yảu cu i vợi viằc to cỡ s tri thøc: H…nh 4.2: T⁄o cì sð tri thøc SŁ cì sð: SŁ cì sð tri thøc m ta muŁn t⁄o SŁ cæng thøc tŁi a: SŁ cæng thøc tŁi a mØi mºt cì sð tri thøc 44 Thu“t to¡n tü ºng sinh cì sð tri thøc nh÷ sau: Y¶u cƒu ƒu v o: countKB, maxF Trong â countKB l sŁ cì sð tri thøc muŁn t⁄o, maxF l sŁ cæng thøc tŁi a câ th” câ ð mØi cì sð tri thøc K‚t qu£: C¡c cì sð dœ liằu thọa mÂn yảu cu u v o begin a:= countKB // sŁ cì sð tri thøc muŁn t⁄o b:= maxF // sŁ cæng thøc tŁi a câ th” câ ð mØi cỉng thøc c:=0 // sŁ cì sð tri thøc ¢ t⁄o d:=0 // møc º ch›c ch›n cıa mØi cæng thøc e:=0 // sŁ cæng thøc s‡ câ mØi cỉng thøc FM // l÷u c¡c cỉng thøc mºt cì sð tri thøc KB // l÷u c¡c cì sð tri thøc while c