Đăng ký Đăng nhập
Trang chủ Xử lý không nhất quán trong tích hợp tri thức dựa trên logic...

Tài liệu Xử lý không nhất quán trong tích hợp tri thức dựa trên logic

.DOC
147
12
148

Mô tả:

ĐẠ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 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˝IC 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 PGS.TS. H Quang Thöy v PGS.TSKH. 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 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 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 tä lÆng c£m ìn ch¥n th nh tîi c¡c cºng sü ¢ còng tæi thüc hi»n c¡c cæng tr…nh nghi¶n cøu v c¡c b⁄n çng nghi»p ¢ gióp ï, trao Œi v chia s· nhœng kinh nghi»m v• chuy¶n mæn, âng gâp c¡c þ ki‚n quþ b¡u cho tæi trong qu¡ tr…nh nghi¶n cøu. Tæi xin tr¥n trång c£m ìn c¡c thƒy cæ trong hºi çng chuy¶n mæn ¢ âng gâp c¡c þ ki‚n quþ b¡u ” tæi ho n thi»n lu“n ¡n. Tæi xin tr¥n trång c£m ìn Bº Gi¡o döc v o t⁄o, • ¡n 911 cıa Bº GD& T ¢ hØ træ mºt phƒn kinh ph‰ cho tæi trong qu¡ 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 v c¡c anh chà em çng nghi»p tr÷íng ⁄i håc i»n lüc ¢ gióp ï, chia s· trong qu¡ tr…nh cæng t¡c, håc t“p, nghi¶n cøu v thüc hi»n lu“n ¡n cıa m…nh. Tæi luæn bi‚t ìn nhœng ng÷íi th¥n trong gia …nh, mµ nºi, bŁ mµ ngo⁄i, c¡c anh chà em ¢ luæn chia s· khâ kh«n, ºng vi¶n v l chØ düa tinh thƒn vœng ch›c cho tæi trong suŁt thíi gian qua. NCS. Nguy„n Thà Hçng Kh¡nh 2 Möc löc L˝I CAM OAN.......................................... 1 L˝I C M ÌN ............................................. 2 MÖC LÖC................................................. 3 DANH MÖC TØ VI T T T............................... 7 DANH MÖC C C KÞ HI U.............................. 8 DANH MÖC C C B NG................................ 10 DANH MÖC C C H NH V ............................. 11 M— 12 Ch÷ìng U................................................. 1. 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 cì b£n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 1.1.1. Dœ li»u, thæng tin v tri thøc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 1.1.2. Cì sð tri thøc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 1.1.3. Khæng nh§t qu¡n. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 1.2. T‰ch hæp tri thøc. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 1.2.1. Giîi thi»u . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 1.2.2. C¡c to¡n tß t‰ch hæp tri thøc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3 Möc löc 1.3. Logic mæ t£ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 1.3.1. Giîi thi»u v• logic mæ t£ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 1.3.2. Cì sð tri thøc LGMT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 1.3.3. Håc kh¡i ni»m trong LGMT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 1.4. Logic para-nh§t qu¡n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 1.4.1. Logic bŁn gi¡ trà cıa N. D. Belnap . . . . . . . . . . . . . . . . . . . . . . . 38 1.4.2. Ngœ ngh¾a cıa logic bŁn gi¡ trà . . . . . . . . . . . . . . . . . . . . . . . . . . .39 1.4.3. Lþ thuy‚t chøng minh logic bŁn gi¡ trà . . . . . . . . . . . . . . . . . . . 40 1.5. Logic kh£ n«ng. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 1.5.1. Có ph¡p . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 1.5.2. Ngœ ngh¾a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 1.5.3. º khæng nh§t qu¡n theo logic kh£ n«ng . . . . . . . . . . . . . . . . . 44 1.6. Mæ phäng hai chi•u, t÷ìng tü hai chi•u, t‰nh ch§t Hennessy-Milner 45 1.6.1. Mæ phäng hai chi•u v t÷ìng tü hai chi•u . . . . . . . . . . . . . . . . 45 1.6.2. T‰nh ch§t Hennessy-Milner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 1.7. Nghi¶n cøu v• qu£n lþ khæng nh§t qu¡n v ti‚p c“n cıa lu“n ¡n . . 49 1.7.1. Qu£n lþ KNQ düa tr¶n logic mæ t£ . . . . . . . . . . . . . . . . . . . . . . . 50 1.7.2. Qu£n lþ KNQ düa tr¶n logic kh£ n«ng vîi khung tranh lu“n v m ph¡n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 1.8. K‚t lu“n ch÷ìng 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 Ch÷ìng 2. LOGIC M˘ T PARA-NH T QU N B¨N GI TRÀ: M˘ PH˜NG HAI CHI U, T NH CH T HENNESSY-MILNER V ÙNG DÖNG H¯C KH I NI M ................ 54 2.1. Nghi¶n cøu v• mæ phäng hai chi•u trong LGMT. . . . . . . . . . . . . . 55 2.2. LGMT para-nh§t qu¡n bŁn gi¡ trà . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 2.2.1. Ngœ ngh¾a cıa LGMT para-nh§t qu¡n bŁn gi¡ trà. . . . . . . . . 56 2.2.2. Mæ phäng hai chi•u Łi vîi LGMT para-nh§t qu¡n bŁn gi¡ trà 64 4 Möc löc 2.3. T‰nh ch§t b£o to n cıa mæ phäng hai chi•u . . . . . . . . . . . . . . . . . . 68 2.4. T‰nh ch§t Hennessy-Milner cıa mæ phäng hai chi•u . . . . . . . . . . 73 2.5. Håc kh¡i ni»m cho LGMT para-nh§t qu¡n . . . . . . . . . . . . . . . . . . . 80 2.5.1. B i to¡n håc kh¡i ni»m trong LGMT para-nh§t qu¡n . . . . 80 2.5.2. Thu“t to¡n håc kh¡i ni»m trong LGMT para-nh§t qu¡n . 81 2.5.3. Thüc nghi»m v nh“n x†t . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 2.6. K‚t lu“n ch÷ìng 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 Ch÷ìng 3. LOGIC M˘ T M˝ THEO NGÚ NGH A G´DEL: M˘ PH˜NG HAI CHI U V T NH MILNER...................................................... 86 CH T HENNESSY- 3.1. Nghi¶n cøu v• mæ phäng hai chi•u trong logic mí . . . . . . . . . . . . 86 3.2. T“p mí theo ngœ ngh¾a Gâdel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 3.2.1. T“p mí v c¡c ph†p to¡n t“p mí . . . . . . . . . . . . . . . . . . . . . . . . . 88 3.2.2. Ba ngœ ngh¾a cıa t“p mí . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90 3.2.3. To¡n tß mí Gâdel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 3.3. Logic mæ t£ mí theo ngœ ngh¾a Gâdel . . . . . . . . . . . . . . . . . . . . . . . .93 3.4. Mæ phäng hai chi•u vîi LGMT mí . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 3.5. T‰nh ch§t b£o to n cıa mæ phäng hai chi•u mí . . . . . . . . . . . . 102 3.6. T‰nh ch§t Hennessy-Milner cıa mæ phäng hai chi•u mí . . . . . 103 3.7. K‚t lu“n ch÷ìng 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 Ch÷ìng 4. 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 b‹ng m ph¡n . . . . . . . . . . . . . . . . . . . . . . . . . . . 106 4.1.1. Khung m ph¡n trong t‰ch hæp tri thøc . . . . . . . . . . . . . . . . 106 4.1.2. Mæ h…nh m ph¡n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108 4.1.3. Chi‚n l÷æc s›p x‚p trong t‰ch hæp tri thøc . . . . . . . . . . . . . . . 108 4.1.4. m ph¡n düa tr¶n c¡c ÷u ti¶n . . . . . . . . . . . . . . . . . . . . . . . . . 109 5 Möc löc 4.1.5. C¡c t‰nh ch§t logic cıa to¡n tß t‰ch hæp tri thøc. . . . . . . . . 113 4.2. Xß lþ tri thøc KNQ b‹ng tranh lu“n . . . . . . . . . . . . . . . . . . . . . . . 115 4.2.1. T‰ch hæp tri thøc b‹ng tranh lu“n trong logic kh£ n«ng . . 115 4.2.2. C¡c ành • v c¡c thuºc t‰nh logic. . . . . . . . . . . . . . . . . . . . . . 120 4.3. K‚t lu“n ch÷ìng 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122 K T LU N ............................................. 124 6 Danh möc tł vi‚t t›t DANH MÖC TØ VI T T T Kþ hi»u ABox GCI Ti‚ng Anh Assertion Box General Concept Inclusion Ti‚ng Vi»t Bº khflng ành c¡ th” Bao h m kh¡i ni»m tŒng qu¡t KB KNQ LGMT LTS OWL TBox TTL Knowledge Base Inconsistent Description Logics Labelled Transition System Ontology Web Language Terminology Box Knowledge Integration by Argumentation Cì sð tri thøc Khæng nh§t qu¡n Logic mæ t£ H» thŁng chuy”n câ nh¢n Ngæn ngœ web ngœ ngh¾a Bº ti¶n • thu“t ngœ T‰ch hæp tri thøc b‹ng tranh lu“n WWW World Wide Web M⁄ng to n cƒu 7 Danh möc c¡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 > ? u t : 8 9 s S KB ALC I O Q U Self I 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º khflng ành c¡ th” Kh¡i ni»m ¿nh ⁄i di»n to n bº Łi t÷æng Kh¡i ni»m ¡y khæng ⁄i di»n Łi t÷æng n o Giao cıa c¡c kh¡i ni»m Hæp cıa c¡c kh¡i ni»m Phı ành cıa kh¡i ni»m L÷æng tł h⁄n ch‚ vîi måi L÷æng tł h⁄n ch‚ tçn t⁄i Ngœ ngh¾a para-nh§t qu¡n T“p °c tr÷ng cıa logic mæ t£ T“p c¡c ngœ ngh¾a para-nh§t qu¡n Cì sð tri thøc trong logic mæ t£ Ngæn ngœ logic mæ t£ cì b£n Vai trÆ nghàch £o ành danh H⁄n ch‚ sŁ l÷æng câ ành t‰nh Vai trÆ phŒ qu¡t T‰nh ph£n x⁄ cöc bº cıa vai trÆ Di„n dàch trong logic mæ t£ Mi•n cıa di„n dàch I nh x⁄ cıa di„n dàch I 8 Danh möc c¡c kþ hi»u A I r aI I K‚t qu£ di„n dàch cıa t¶n kh¡i ni»m A K‚t qu£ di„n dàch cıa t¶n vai trÆ r K‚t qu£ di„n dàch cıa t¶n c¡ th” a 9 DANH MÖC C C B NG 1.1 Bi”u di„n tri thøc theo logic c§p 1 v theo LGMT 1.2 B£ng kþ hi»u LGMT . . . . . . . . . . . . . . . . . . . . . . . 30 .......29 1.3 B£ng có ph¡p v ngœ ngh¾a cıa LGMT ALC . . . . . . . . . 36 1.4 B£ng ch¥n lþ cıa ph†p phı ành . . . . . . . . . . . . . . . . . 40 1.5 B£ng ch¥n lþ cıa ph†p giao . . . . . . . . . . . . . . . . . . . . 41 1.6 B£ng ch¥n lþ cıa ph†p hæp . . . . . . . . . . . . . . . . . . . . 41 2.1 nh h÷ðng cıa tham sŁ KNQ trong cì sð tri thøc 3.1 Hå c¡c to¡n tß mí . . . . . . . . . . . . . . . . . . . . . . . . . 91 4.1 º m⁄nh cıa c¡c tranh lu“n. . . . . . . . . . . . . . . . . . . . 119 10 .......84 DANHMÖCC CHNHV 1 Ph¥n bŁ cæng bŁ khoa håc v• KNQ tr¶n ScienceDirect giai o⁄n 1995 - 2018 . . . . . . . . . . . . . . . . . . . . . . . . . 14 2 Ph¥n bŁ c¡c chı • trong c¡c ch÷ìng cıa lu“n ¡n . . . . . . . . 20 1.1 Ki‚n tróc cıa mºt h» thŁng bi”u di„n tri thøc düa tr¶n LGMT 1.2 D n x§p x¿ cho logic bŁn gi¡ trà . . . . . . . . . . . . . . . . 33 . 39 1.3 D n logic bŁn gi¡ trà . . . . . . . . . . . . . . . . . . . . . . . 40 2.1 V‰ dö ngœ ngh¾a para-nh§t qu¡n . . . . . . . . . . . . . . . . . 61 2.2 Tri thøc KNQ trong håc m¡y . . . . . . . . . . . . . . . . . . 83 2.3 Ki”m tra tri thøc KNQ vîi bº suy di„n HermiT . . . . . . . . 84 2.4 T¿ l» tri thøc KNQ t¿ l» thu“n vîi º ch‰nh x¡c . . . . . . . . 84 11 M— U T‰nh c§p thi‚t cıa lu“n ¡n F. Berto [13] nh“n ành r‹ng lu“t nh§t qu¡n (Law of NonContradiction) cıa Aristotle cho r‹ng còng mºt thíi i”m khæng çng thíi x£y ra c¡c tr⁄ng th¡i m¥u thu¤n nhau trð th nh mºt nguy¶n lþ tŁi th÷æng trong làch sß t÷ duy ph÷ìng T¥y trong mºt thíi gian d i. Khæng nh§t qu¡n (KNQ) l mºt hi»n t÷æng tü nhi¶n cıa th‚ giîi [25], v t÷ duy ¢ thay Œi, KNQ (inconsistent) ¢ ÷æc thła nh“n trong tri‚t håc v c¡c l¾nh vüc khoa håc câ li¶n quan ‚n nh“n thøc. KNQ l kh¡i ni»m ch¿ c¡c t…nh huŁng khi m c¡c m»nh • KNQ nhau (v‰ dö, q v :q) çng thíi còng x£y ra. T‰nh a d⁄ng v phong phó cıa th‚ giîi kh¡ch quan, qu¡ tr…nh h…nh th nh håc thuy‚t v• thŁng nh§t v §u tranh giœa c¡c m°t Łi l“p l nhœng ºng lüc to lîn cho vi»c thła nh“n KNQ. Theo L. Bertossi v cºng sü [14], sü thay Œi t÷ duy tł khæng thła nh“n tîi thła nh“n KNQ công di„n ra trong khoa håc t‰nh to¡n theo mºt qu¡ tr…nh chuy”n hâa th¡i º tł chŁi bä tîi ch‰nh thøc hâa v sß döng KNQ. Qu¡ tr…nh ti‚n hâa tł logic cŒ i”n tîi c¡c logic mð rºng ÷æc coi l mºt minh chøng cho qu¡ tr…nh chuy”n hâa nâi tr¶n. Trong khoa håc m¡y t‰nh, 12 Mð ƒu KNQ ÷æc coi l khæng th” ÷æc ch§p nh“n trong r§t nhi•u t…nh huŁng (v‰ dö, °c t£ mºt k‚ ho⁄ch l m vi»c ho°c tŒng hæp c£m bi‚n cıa ng÷íi m¡y, v.v.). Tuy nhi¶n, KNQ l⁄i cƒn ÷æc hi»n di»n trong nhi•u t…nh huŁng kh¡c do t‰nh hœu ‰ch cıa nâ (v‰ dö, phi¶n ºng n¢o (brainstorming) trong nhâm cºng t¡c nghi¶n cøu, c¡c lu“t s÷ t…m ki‚m KNQ tł Łi thı, v.v.). KNQ ÷æc xem l ho n to n ÷æc ch§p nh“n (th“m ch ‰ l ÷æc mong muŁn) trong nhi•u h» thŁng vîi i•u ki»n l c¡c h» thŁng nh÷ v“y cƒn ph£i sfin câ c¡c cì ch‚ th‰ch hæp ” h nh ºng tr¶n c¡c t…nh huŁng KNQ ph¡t sinh [74, 14, 28], hay nâi kh¡c i, h» thŁng cƒn câ c¡c th nh phƒn qu£n lþ KNQ. Vi»c x¥y düng c¡c th nh phƒn qu£n lþ KNQ trong c¡c h» thŁng m¡y t‰nh thæng minh v m⁄nh m‡ cƒn düa tr¶n mºt n•n t£ng to¡n håc m⁄nh. Cho dò KNQ l khæng ÷æc mong muŁn do væ ‰ch ho°c câ h⁄i hay ÷æc mong muŁn do hœu ‰ch th… vi»c ph¡t tri”n kh£ n«ng dung thø (tolerancy) KNQ trong c¡c l¾nh vüc nh÷ khoa håc m¡y t‰nh (tr‰ tu» nh¥n t⁄o, cì sð dœ li»u v cì sð tri thøc, khai ph¡ dœ li»u, ph¥n t‰ch kh¡i ni»m, kÿ ngh» phƒn m•m), kÿ ngh» (xß lþ t‰n hi»u, ph¥n t‰ch nì-ron, i•u khi”n thæng minh, ng÷íi m¡y, i•u khi”n giao v“n trong c¡c th nh phŁ lîn), kinh t‚ (lþ thuy‚t quy‚t ành, lþ thuy‚t trÆ chìi, t i ch‰nh), ngæn ngœ (ngœ ngh¾a h…nh thøc, t‰nh to¡n ngæn ngœ) l h‚t søc cƒn thi‚t [14, 85, 63, 21]. Ch‰nh v… lþ do â, qu£n lþ KNQ l mºt chı • nghi¶n cøu, øng döng cuŁn hót mºt cºng çng nghi¶n cøu rºng r¢i tr¶n th‚ giîi. H…nh 1 tr…nh di„n mºt mæ t£ thŁng k¶ sŁ l÷æng cæng tr…nh nghi¶n cøu ÷æc cæng bŁ tr¶n ScienceDirect trong giai o⁄n 2008-2018 câ chøa mºt trong 13 Mð ƒu c¡c cöm tł inconsistency logic , inconsistency knowledge , inconsistency management trong ti¶u •, trong tâm t›t ho°c trong danh s¡ch tł khâa. H…nh 1: Ph¥n bŁ cæng bŁ khoa håc v• KNQ tr¶n ScienceDirect giai o⁄n 1995 - 2018 Do t‰nh c§u tróc cao düa tr¶n h» thŁng c¡c ành ngh¾a v quy t›c l“p lu“n to¡n håc ch°t ch‡, logic to¡n håc trð th nh mºt n•n t£ng hœu hi»u x¥y düng c¡c th nh phƒn qu£n lþ KNQ trong c¡c h» thŁng. Logic to¡n håc r§t hœu döng khæng ch¿ ð ph÷ìng di»n thu“n ti»n ành ngh¾a c¡c y‚u tŁ KNQ cƒn quan t¥m, m cÆn cho ph†p ki”m chøng ÷æc c¡c t‰nh ch§t cŁt lªi cƒn câ Łi vîi c¡c h» thŁng qu£n lþ KNQ. i•u n y l r§t quan trång trong qu£n lþ KNQ nh‹m £m b£o t‰nh ho⁄t ºng b•n vœng, tin c“y cıa c¡c h» thŁng câ y‚u tŁ tr‰ tu» nh¥n t⁄o. T‰nh ch§t Hennessy Milner [46] v• cì 14
- Xem thêm -

Tài liệu liên quan