ĐẠ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 -