(Luận Án Tiến Sĩ Công Nghệ Thông Tin) Nghiên Cứu Tích Hợp Tri Thức Trong Logic Khả Năng Dựa Trên Kỹ Thuật Đàm Phán Và Tranh Luận

ĐcI HoC QU×C GIA HC N÷I

TR¯ƠꀀNG ĐcI HoC CÔNG NGHë

HÀ NÞI – 2022

LÊ THÞ THANH L¯U

NGHIÊN CþU TÍCH HỢP TRI THþC

TRONG LOGIC KHẢ NĂNG DỰA TRÊN KỸ THUẬT ĐÀM PHÁN VÀ TRANH LUẬN

Chuyên ngành: Há thßng thông tin

LU¾N ÁN TI¾N S) CÔNG NGHë THÔNG TIN

NG¯ƠꀀI H¯àNG DẪN KHOA HoC: 1 PGS.TS ĐỖ VĂN THÀNH 2 TS TRẦN TRÞNG HIẾU

i

LƠꀀI CAM ĐOAN

Tôi xin cam đoan luận án <Nghiên cứu tích hợp tri thức trong Logic khả năng dựa

trên kỹ thuật Đàm phán và Tranh luận= là công trình nghiên cứu của riêng tôi Các

kết quả được trình bày trong luận án là hoàn toàn trung thực và chưa từng được công bố trong bất kỳ một công trình nào khá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 á trong nước và quốc tế Ngoại trừ các tài liệu tham khảo này, luận án hoàn toàn là công việc của riêng tôi

- Luận án được hoàn thành trong thßi gian tôi làm nghiên cứu sinh 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

Nghiên cứu sinh

Lê Thị Thanh Lưu

ii

LƠꀀI CÀM ¡N

Thßi gian hßc nghiên cću sinh và thāc hián luÁn á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 Đß Vn Thành và TS TrÁn Trßng HiÁu là khoÁng thßi gian vô cùng quý báu và ý nghĩa đßi vái tôi

Tr°ác tiên tôi xin bày tß lòng tri ân vô h¿n sâu sắc đÁn ThÁy PGS TS Đß Vn Thành và TS TrÁn Trßng HiÁu, nhÿng ng°ßi ThÁy đã đ°a tôi tiÁp cÁ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 đ°āc nhÿng thành công trong lĩnh vāc nghiên cću cąa mình Sā nghiêm khắc, nghiêm túc trong nghiên cću khoa hßc cùng vái sā đßng viên và chỉ bÁo cąa các ThÁy đã giúp tôi có nhiÃu đßng lāc v°āt qua các giai đo¿n nghiên cću khó khn, đÅ ngày hôm nay tôi có thÅ hoàn thành đ°āc nhÿng nghiên cću trong bÁn luÁn án này cũng nh° tr°áng thành và tā tin h¢n trên con đ°ßng nghiên cću khoa hßc cąa mình

Tôi đặc biát gāi lßi tri ân chân thành tái PGS TS Hà Quang Thăy, PGS TS Phan Xuân HiÁu, PGS TS Nguyßn Ngßc Hóa các ThÁy đã luôn tÁn tâm, đßng viên, khuyÁn khích và chỉ d¿n giúp tôi v°āt qua nhiÃu trá ng¿i trong quá trình nghiên cću Đặc biát PGS TS Hà Quang Thăy đã luôn nhiát tình h°áng d¿n và truyÃn đ¿t các kinh nghiám nghiên cću trong quá trình tôi thāc hián luÁn án ThÁy đã cho chúng tôi mßt môi tr°ßng làm viác hiáu quÁ nhân vn t¿i Phòng thí nghiám Khoa hßc dÿ liáu và Công nghá tri thćc - DS&KTLab Riêng tôi hßc hßi á ThÁy r¿t nhiÃu điÃu

Tôi xin bày tß lòng biÁt ¢n chân thành sâu sắc tái ThÁy GS TSKH Nguyßn Ngßc Thành Tr°ßng Đ¿i hßc Bách khoa Wroclaw, Ba Lan đã có nhiÃu hß trā và mặt chuyên môn cho luÁn án này

Tôi xin bày tß lòng cÁm ¢n chân thành tái các đßng đßi cąa tôi là các anh chß em nghiên cću sinh Vũ Ngßc Trình, Nguyßn Thß Hßng Khánh, Ph¿m Thanh HuyÃn, Bùi Thß Hßng Nhung, Nguyßn Vn Thẩm, Nguyßn Thß Chm, Lê Hoàng Quỳnh, Nguyßn

iii

Thß Ngân, Nguyßn Ngßc Vũ, Nguyßn Thß Thông & Chúng tôi đã luôn á bên nhau, chia sẻ vái nhau nhÿng ý t°áng nghiên cću, đßng viên nhÿng lúc khó khn cũng nh° nhÿng niÃm vui khi đ¿t đ°āc các kÁt quÁ mong mußn

Tôi xin chân thành cÁm ¢n tái Ban lãnh đ¿o, 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á - Đ¿i hßc Qußc gia Hà Nßi, PGS TS Nguyßn Ph°¢ng Thái, PGS TS Ph¿m Ngßc Hùng đã 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 CÁm ¢n các chuyên viên Nguyßn Thß Lan H°¢ng, Nguyßn Khánh Ly, T¿ Thß Hßng H¿nh đã luôn hß trā tôi trong quá trình hoàn thián hß s¢ bÁo vá các c¿p

Tôi cũng bày tß lòng cÁm ¢n sâu sắc tái Ban giám hiáu Tr°ßng Đ¿i hßc Tài chính – KÁ toán (QuÁng Ngãi) đã t¿o điÃu kián thuÁn lāi và thßi gian, quan tâm và đßng viên tôi trong quá trình hßc tÁp

Tôi luôn biÁt ¢n nhÿng ng°ßi thân trong gia đình, bß mẹ, các anh chß đã luôn chia sẻ, đß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 Lê Thị Thanh Lưu

iv

TÓM TÀT

Tích hāp tri thćc làm gia tng giá trß và khÁ nng cąa các há thßng thông minh Nhiám vă cąa tích hāp tri thćc là kÁt hāp mßt sß há thßng thông minh l¿i thành mßt hay làm cho chúng có thÅ hāp tác đ°āc vái nhau Mßt trong nhÿng điÃu kián cÁn thiÁt đÅ hāp tác thành công là thßng nh¿t và tri thćc cąa các há thßng này Tích hāp tri thćc là xây dāng mßt c¢ sá tri thćc (CSTT) chung đ¿i dián tßt nh¿t cho tÁp các CSTT ban đÁu Khi tích hāp tri thćc cÁn phÁi giÁi quyÁt v¿n đà không nh¿t quán giÿa các CSTT LuÁn án này, đà xu¿t mßt sß cách tiÁp cÁn khác nhau đÅ giÁi quyÁt bài toán tích hāp các CSTT nh° tích hāp các CSTT có thć tā °u tiên (bao gßm các CSTT trong logic khÁ nng chuẩn (hay CSTTKN), tích hāp các CSTTKN sā dăng nhiÃu toán tā tích hāp, tích hāp các CSTT trong logic khÁ nng biÅu tr°ng (hay CSTTKNBT) theo quan điÅm đßnh đà Các đßnh đà là các tính ch¿t logic mà ta mong mußn các CSTT tích hāp cÁn thßa mãn

Nßi dung cąa luÁn án đ°āc tóm tắt nh° sau:

1) KhÁo cću các ph°¢ng pháp biÅu dißn tri thćc, duyát tri thćc và tích hāp tri thćc Phát hián tính không nh¿t quán trong CSTT KhÁo cću mô hình đàm phán cąa J.Nash (1950) và mô hình tranh luÁn cąa Ph¿m Minh Dũng (1995) Các mô hình này đã đ°āc phát triÅn má rßng r¿t nhiÃu sau nm 2000, và đ°āc ćng dăng trong Logic mß (Fuzzy Logic) và logic khÁ nng (Possibilistic logic) Kā thuÁt đàm phán nh°āng bß đßng thßi trong lý thuyÁt trò ch¢i đàm phán và kā thuÁt tranh luÁn nhằm xā lý tri thćc mâu thu¿n trong lý thuyÁt lāa chßn xã hßi đã đ°āc luÁn án xem xét đÅ có thÅ phát triÅn và vÁn dăng vào quá trình tích hāp các CSTT °u tiên nói chung, các CSTTKN nói riêng Viác tích hāp các CSTTKN sā dăng hai hß toán tā nhằm khắc phăc hián t°āng tri thćc đ°āc nhiÃu tác tā hß trā nh°ng không đ°āc tích hāp do trßng sß th¿p hoặc tri thćc gây ra mâu thu¿n có thÅ đ°āc tích hāp do trßng sß cąa tri thćc đó cao hián đ°āc thāc hián cho hai CSTTKN Cách tiÁp cÁn nghiên cću tích hāp này cÁn đ°āc phát triÅn má rßng đÅ có thÅ tích hāp đ°āc nhiÃu CSTTKN trong khi v¿n khắc phăc đ°āc nhÿng h¿n chÁ đã nêu Mái đây, logic khÁ nng biÅu tr°ng đã đ°āc

v

phát triÅn và má rßng tÿ logic khÁ nng V¿n đà tích hāp các CSTTKNBT đ°āc đặt ra mßt cách tā nhiên nh°ng đÁn nay v¿n ch°a có nghiên cću nào giÁi quyÁt

2) Đà xu¿t khung tích hāp CSTT °u tiên dāa trên kā thuÁt đàm phán, bao gßm đà xu¿t mô hình tiên đà (hay các tính ch¿t logic mà CSTT tích hāp cÁn thßa mãn) và đà xu¿t quy trình làm viác cho quá trình tích hāp các CSTT °u tiên (có thÅ nh¿t quán hoặc không) vái tÁp ràng bußc dāa trên kā thuÁt đàm phán, trong đó tÁp ràng bußc đóng vai trò nh° là trßng tài cąa quá trình đàm phán (đ°āc gßi là quy trình tích hāp - đàm phán) Quy trình này có vai trò nh° là mô hình xây dāng cąa quá trình tích hāp dāa trên kā thuÁt đàm phán Ý t°áng cąa giÁi pháp đàm phán nh°āng bß đßng thßi trong các trò ch¢i đàm phán đã đ°āc phát triÅn và lßng vào quy trình tích hāp - đàm phán Mßt thuÁt toán mô tÁ chính xác quy trình tích hāp - đàm phán đ°āc đà xu¿t và đ°āc sā dăng đÅ chćng minh mßi quan há giÿa mô hình xây dāng và mô hình tiên đà cąa quá trình tích hāp dāa trên kā thuÁt này Đß phćc t¿p cąa thuÁt toán này cũng đã đ°āc °ác l°āng và đ°āc t°ßng minh că thÅ h¢n đßi vái tr°ßng hāp tích hāp các CSTTKN, là mßt d¿ng đặc biát cąa các CSTT °u tiên

3) Đà xu¿t khung làm viác cho quá trình tích hāp các CSTT °u tiên (có thÅ nh¿t quán hoặc không) dāa trên kā thuÁt tranh luÁn Kā thuÁt tranh luÁn nhằm xā lý sā mâu thu¿n tri thćc trong lý thuyÁt lāa chßn xã hßi đã đ°āc lßng vào quy trình tích hāp các CSTT °u tiên và quy trình này đ°āc gßi là quy trình tích hāp - tranh luÁn Nó đ°āc xem là mô hình xây dāng cho quá trình tích hāp CSTT °u tiên dāa trên kā thuÁt tranh luÁn trong khi các đßnh đà cąa quá trình tích hāp các CSTTKN đ°āc xem là mô hình tiên đà cąa quá trình tích hāp các CSTT °u tiên ThuÁt toán mô tÁ chính xác quy trình tích hāp – tranh luÁn đã đ°āc đà xu¿t và đ°āc sā dăng đÅ chćng minh mßi quan há giÿa mô hình xây dāng và mô hình tiên đà cąa quá trình tích hāp các CSTT °u tiên dāa trên kā thuÁt tranh luÁn Đß phćc t¿p tính toán cąa thuÁt toán cũng đ°āc °ác l°āng Mßi CSTTKN còn có thÅ đ°āc xem là mßt khung tranh luÁn trong đó lÁp luÁn và mßt sß khái niám và khung tranh luÁn s¿ cÁm sinh mßt cách tā nhiên và că thÅ Trong ngÿ cÁnh ¿y thuÁt toán đ°āc đà xu¿t cũng mô tÁ chính xác khung

vi

tích hāp – tranh luÁn các CSTTKN và đß phćc t¿p tính toán cąa nó s¿ xác đßnh mßt cách t°ßng minh và că thÅ h¢n

4) ĐÃ xu¿t má rßng, phát triÅn ph°¢ng pháp tích hāp hai CSTTKN sā dăng hai

toán tā thành phương pháp tích hợp kết hợp nhiÃu CSTTKN sā dăng hai toán tā Chỉ

ra điÃu kián cÁn và đą đÅ quá trình tích hāp này có thÅ thāc hián đ°āc và các đßnh đà cąa quá trình tích hāp kÁt hāp các CSTTKN sā dăng hai toán tā cÁn thßa mãn Xây dāng thuÁt toán cho quá trình tích hāp kÁt hāp các CSTTKN sā dăng hai toán tā

5) Đà xu¿t ph°¢ng pháp tích hāp các CSTTKNBT theo quan điÅm đßnh đà đ°āc

thāc hián thông qua viác tích hāp các phân bố không khả năng biểu trưng đặc tr°ng

cho các CSTTKN thành phÁn Đà xu¿t ph°¢ng pháp tích hāp phân c¿p các CSTTKN biÅu tr°ng thông qua viác tích hāp phân c¿p các phân bß không khÁ nng biÅu tr°ng Vái mßt sß láp toán tā tích hāp các CSTTKNBT có thÅ có, chỉ ra các tính ch¿t logic (hay đßnh đÃ) mà các CSTT tích hāp đ°āc xây dāng bằng sā dăng các toán tā tích hāp này thßa mãn

vii

MĀC LĀC

Mà ĐÀU xiv

Ch°¢ng 1 TàNG QUAN VÂ MÔ HÌNH TÍCH HĀP CSTT KHÀ NNG 1

1.1 Tri thćc, biÅu dißn tri thćc và CSTT 1

1.4 Tích hāp CSTTKN sā dăng hai toán tā 27

1.5 Tích hāp tri thćc sā dăng khung tranh luÁn 31

1.5.1 Khung tranh luÁn và ngÿ nghĩa cąa khung tranh luÁn 31

1.5.2 Tích hāp các khung tranh luÁn 34

1.5.3 KTL cho tích hāp các CSTTKN mâu thu¿n 35

1.6 Tích hāp tri thćc sā dăng kā thuÁt đàm phán 36

1.6.1 Mô hình đàm phán 36

1.6.2 Tích hāp các CSTT dāa trên kā thuÁt đàm phán 38

1.6.2.1 Theo cách tiÁp cÁn cąa Booth 38

1.6.2.2 Theo cách tiÁp cÁn cąa Konieczny 39

ix

Ch°¢ng 3 TÍCH HĀP C¡ Sà TRI THĆC KHÀ NNG DĀA TRÊN KĀ THUÀT

TRANH LUÀN VC KÀT HĀP TOÁN TĀ 84

3.1 Xác đßnh v¿n đà và mô hình tiên đà 84

3.1.1 Xác đßnh v¿n đà và mßt sß khái niám 84

3.1.2 Các tính ch¿t logic cąa quá trình tích hāp 86

3.2 Quy trình tích hāp CSTT °u tiên dāa trên kā thuÁt tranh luÁn 88

3.3 Quan há giÿa mô hình tiên đà và quy trình tích hāp – tranh luÁn 99

3.4 Tích hāp CSTTKN dāa trên kā thuÁt tranh luÁn 102

3.5 Tích hāp CSTTKN sā dăng ph°¢ng pháp kÁt hāp nhiÃu toán tā 111

x

DANH MĀC CÁC KÝ HIëU VÀ TĆ VI¾T TÀT

KTL Argumentation Framework Quy trình tích hāp - tranh luÁn

KTPC Hierarchical Aggregation Gßp phân c¿p

LKNBT Symbolic Possibilistic Logic Logic khÁ nng biÅu tr°ng

PBKKNBT Symbolic Impossibility

Distributions Phân bß không khÁ nng biÅu tr°ng

CSTTKN Possibilistic Knowledge Base C¢ sá tri thćc khÁ nng chuẩn

CSTTKNBT Symbolic Possibilistic Knowledge

Hình 1 4 - Suy diễn tranh luận 33

Hình 1 5 – Khung tích hợp tri thức tổng quát 49

Hình 2 1 - Sơ đồ Quy trình Tích hợp - Đàm phán………59

Hình 3 1 - Sơ đồ Quy trình Tích hợp - Tranh luận……… 91

xiii

DANH MĀC CÁC KÝ PHÁP

ąĄđ(þ) Mćc đß không nh¿t quán cąa CSTTKN þ

xiv

MÞ ĐÀU I C¢ sß và đßng lāc nghiên cąu

1 Cơ sở

Mặc dù có lßch sā phát triÅn khá lâu dài, viác tích hāp tri thćc trong đó nh¿t là tích hāp các tri thćc không nh¿t quán (hay mâu thu¿n), đÁn tÿ nhiÃu ngußn v¿n đang nái lên nh° mßt trong các h°áng nghiên cću chính cąa khoa hßc máy tính ćng dăng trong lĩnh vāc khoa hßc xã hßi Trong thāc tÁ, không nh¿t quán cąa tri thćc phát sinh chą yÁu trong các tr°ßng hāp sau:

- Tri thćc đ°āc thu thÁp trong mßt khoÁng thßi gian và <tính thßi sự= cąa nó phă thußc vào nhãn thßi gian

- Tri thćc đ°āc trích ra tÿ mßt c¢ sá dÿ liáu (CSDL), chẳng h¿n nh° tÿ các ph°¢ng pháp khai phá dÿ liáu Các luÁt khai phá dÿ liáu này phă thußc vào dÿ liáu và mßt trong sß các luÁt này có thÅ mâu thu¿n vái nhau

- Không nh¿t quán cąa tri thćc phát sinh trong môi tr°ßng phân tán Cùng mßt chą đà các điÅm phân tán có thÅ t¿o ra các phiên bÁn khác nhau cąa tri thćc

GiÁi quyÁt mâu thu¿n cąa tri thćc là mßt nhiám vă c¢ bÁn và r¿t cÁn thiÁt cąa quÁn lý tri thćc và tích hāp tri thćc là cách phá biÁn nh¿t đÅ làm điÃu đó Nhiám vă tích hāp tri thćc là quan trßng khi ta mußn kÁt hāp mßt sß há thßng thông minh l¿i thành mßt hay đÅ làm cho chúng có thÅ hāp tác vái nhau Mßt trong nhÿng điÃu kián cÁn thiÁt cho sā hāp tác thành công là thßng nh¿t và tri thćc cąa các há thßng này Do đặc tính tā chą và các kā thuÁt xā lý tri thćc không đ¢n đßnh cąa các há thßng, có thÅ xu¿t hián nhÿng tình hußng mà tri thćc thÁ giái thāc có thÅ đ°āc phÁn ánh khác nhau trong các há thßng khác nhau Tích hāp tri thćc là mßt nhiám vă khó khn do mâu thu¿n cąa tri thćc là khó có thÅ đ°āc xác đßnh, và giÁi quyÁt các mâu thu¿n này cũng là mßt v¿n đà phćc t¿p Tuy nhiên, nÁu không có khÁ nng tích hāp tri thćc thì sā hāp tác giÿa các há thßng cũng là không thÅ

xv

Đàm phán trong lý thuyÁt trò ch¢i và tranh luÁn trong lý thuyÁt lāa chßn xã hßi cũng là nhÿng h°áng nghiên cću đang r¿t đ°āc quan tâm trong lĩnh vāc trí tuá nhân t¿o Các cách tiÁp cÁn nghiên cću này đã đ°āc nghiên cću nhiÃu trong các lĩnh vāc cąa khoa hßc xã hßi nh° chính trß, kinh tÁ, triÁt hßc LuÁn án tÁp trung nghiên cću khai thác các ý t°áng chính cąa các kā thuÁt xây dāng giÁi pháp đàm phán trong các trò ch¢i đàm phán cũng nh° kā thuÁt tranh luÁn trong xā lý tri thćc không nh¿t quán (hay mâu thu¿n) trong lý thuyÁt lāa chßn xã hßi vào quá trình tích hāp các CSTT °u tiên có thÅ nh¿t quán hoặc không Că thÅ luÁn án nghiên cću, đà xu¿t ph°¢ng pháp tích hāp tri thćc sā dăng kā thuÁt đàm phán nh°āng bß đßng thßi và sā dăng kā thuÁt tranh luÁn đÅ xā lý tri thćc mâu thu¿n, không nh¿t quán vào quá trình tích hāp các CSTT °u tiên Quá trình tích hāp các CSTTKN dāa trên kā thuÁt đàm phán hoặc kā thuÁt tranh luÁn đ°āc xem t°¢ng ćng là tr°ßng hāp riêng cąa quá trình tích hāp các CSTT °u tiên dāa trên kā thuÁt đàm phán hoặc kā thuÁt tranh luÁn bái các CSTTKN cũng là nhÿng CSTT °u tiên đặc biát trong đó quan há thć tā đ°āc cÁm sinh mßt cách tā nhiên Tuy nhiên khi đó quá trình tích hāp các CSTTKN dāa trên kā thuÁt đàm phán và kā thuÁt tranh luÁn s¿ phong phú, t°ßng minh và că thÅ h¢n

Viác tích hāp các CSTTKN sā dăng mßt toán tā tích hāp còn bßc lß mßt sß nh°āc điÅm quan trßng nh° các tri thćc đ°āc nhiÃu tác tā hß trā có thÅ không đ°āc đ°a vào CSTT tích hāp chỉ vì trßng sß cąa tri thćc đó th¿p hoặc có thÅ tích hāp nhÿng tri thćc là nguyên nhân gây ra mâu thu¿n trong tÁp các tri thćc chỉ vì nó có trßng sß cao Viác tích hāp hai CSTTKN sā dăng hai toán tā nhằm khắc phăc nhÿng h¿n chÁ này cũng đ°āc đà xu¿t Tuy nhiên viác nghiên cću các điÃu kián đÅ có thÅ má rßng ph°¢ng pháp tích hāp nh° vÁy cho nhiÃu CSTTKN cũng cÁn đ°āc quan tâm

Ngoài ra logic khÁ nng biÅu tr°ng (LKNBT), trong đó các công thćc mánh đà nhÁn giá trß ký hiáu đ°āc phát triÅn mái đây đã đ°āc chćng minh là đúng đắn và đÁy đą KÁt quÁ này gāi ý có thÅ nghiên cću v¿n đà tích hāp các CSTTKN biÅu tr°ng theo quan điÅm đßnh đà thông qua các phân bß không khÁ nng đặc tr°ng cąa các CSTT này ĐiÃu đó s¿ làm thuÁn lāi h¢n cho viác kiÅm tra xem vái nhÿng láp toán

Hình 1 - Thống kê công bố công trình khoa học về không nhất quán và tích hợp tri thức trên ScienceDirect giai đoạn 1999 - 2021

Qua đó có thÅ th¿y rằng chą đà nghiên cću cąa luÁn án này nằm trong h°áng nghiên cću đ°āc cßng đßng nghiên cću ngày càng quan tâm

2 Động lực nghiên cứu

Tích hāp tri thćc liên quan đÁn nhiÃu lĩnh vāc khác nhau, chẳng h¿n nh° CSDL khi có nhiÃu CSDL cÁn phÁi đ°āc sáp nhÁp, hoặc truy hßi thông tin khi có nhiÃu ngußn thông tin cÁn phÁi đ°āc táng hāp, và cũng liên quan đÁn các há thßng đa tác tā khi các tác tā vái nhÿng sā hiÅu biÁt khác nhau cÁn phÁi đ¿t đ°āc mßt sā đßng thuÁn trong viác phân chia tài nguyên hay phßi hāp ho¿t đßng, &

Possibility logicKnowledge mergingInconsistency handlingInconsistency resolutionDecreasing InconsistencyMeasuring Inconsistency

xvii

Tích hāp tri thćc là v¿n đà NP khó Viác tích hāp các tri thćc đÁn tÿ nhiÃu ngußn càng trá lên khó khn h¢n khi không chỉ các CSTT đÁn tÿ các ngußn không nh¿t quán vái nhau mà bÁn thân mßi CSTT thành phÁn cũng có thÅ không nh¿t quán trong khi yêu cÁu CSTT tích hāp phÁi nh¿t quán và h¢n thÁ nÿa ng°ßi ta còn mong mußn các CSTT tích hāp phÁi thßa mãn các tính ch¿t logic đáng mong đāi nào đó Tích hāp tri thćc tÿ nhiÃu ngußn trong ngÿ cÁnh nh° vÁy luôn là thách thćc r¿t lán cho cßng đßng nghiên cću và ćng dăng

Các kā thuÁt tích hāp tri thćc truyÃn thßng và mßt sß tiÁp cÁn gÁn đây [1] [18] [90] còn bßc lß mßt sß nh°āc điÅm khó có thÅ v°āt qua và tri thćc hÿu ích có thÅ không đ°āc sā dăng trong quá trình tích hāp GiÁi pháp khắc phăc các nh°āc điÅm cąa chúng đ°āc kỳ vßng là quá trình tích hāp tri thćc nên đ°āc dāa vào kā thuÁt đàm phán hoặc kā thuÁt tranh luÁn Đó là đßng lāc nghiên cću chą yÁu cąa luÁn án này LuÁn án này h°áng đÁn nghiên cću khai thác nhÿng điÅm m¿nh cąa giÁi pháp đàm phán trong các trò ch¢i đàm phán và kā thuÁt tranh luÁn trong xā lý các tri thćc mâu thu¿n trong lý thuyÁt lāa chßn xã hßi đÅ vÁn dăng vào quá trình tích hāp các CSTT °u tiên, á đó mßi CSTT có thÅ nh¿t quán hoặc không Trong tr°ßng hāp tích hāp các CSTTKN, luÁn án cũng phân tích, nghiên cću phát triÅn ph°¢ng pháp tích hāp tri thćc sā dăng hai toán tā

II Māc tiêu, đối t°¢ng, ph¿m vi, ph°¢ng pháp nghiên cąu

Māc tiêu nghiên cąu: ĐÃ xu¿t ph°¢ng pháp tích hāp các CSTTKN và CSTTKNBT

thành mßt CSTT chung đ¿i dián tßt nh¿t nhằm khắc phăc đ°āc hián t°āng có tri thćc đ°āc nằm trong nhiÃu CSTT (hay đ°āc nhiÃu tác tā hß trā) nh°ng v¿n không đ°āc tích hāp vì trßng sß (hay đßnh giá trß chân lý) cąa tri thćc này th¿p hoặc có tri thćc gây ra mâu thu¿n nh°ng v¿n đ°āc tích hāp chỉ vì trßng sß cąa tri thćc này cao

Trong luÁn án này, măc tiêu đó đ°āc că thÅ nh° sau:

- ĐÃ xu¿t ph°¢ng pháp tích hāp các CSTT °u tiên bao gßm các CSTTKN dāa trên kā thuÁt đàm phán;

Đối t°ÿng nghiên cąu: Là các CSTT °u tiên, CSTTKN và CSTTKNBT; kā thuÁt

đàm phán nh°āng bß đßng thßi trong lý thuyÁt trò ch¢i; kā thuÁt tranh luÁn đÅ xā lý tri thćc mâu thu¿n trong lý thuyÁt lāa chßn xã hßi

Ph¿m vi nghiên cąu: Nghiên cću các ph°¢ng pháp tích hāp các CSTT °u tiên dāa

trên kā thuÁt đàm phán nh°āng bß đßng thßi và dāa trên kā thuÁt tranh luÁn đÅ xā lý tri thćc mâu thu¿n, các ph°¢ng pháp tích hāp các CSTTKN sā dăng nhiÃu toán tā, và tích hāp CSTTKNBT theo quan điÅm đßnh đÃ

Ph°¢ng pháp nghiên cąu

LuÁn án đã sā dăng các ph°¢ng pháp nghiên cću sau:

Phương pháp phân loại, phân tích và tổng hợp: đ°āc sā dăng đÅ táng hāp, phân

lo¿i và phân tích các nghiên cću và nhÿng v¿n đà liên quan đÅ phát hián các khoÁng trßng nghiên cću và xác đßnh v¿n đà nghiên cću mà luÁn án cÁn giÁi quyÁt Ph°¢ng pháp phân tích còn đ°āc sā dăng khi đà xu¿t các khái niám mái liên quan đÁn v¿n đà nghiên cću cąa luÁn án

Phương pháp tổng quát hóa và trừu tượng hóa đ°āc sā dăng đÅ mô hình hóa

v¿n đà tích hāp các CSTT °u tiên dāa trên kā thuÁt đàm phán và tranh luÁn nh°: xây dāng các mô hình tiên đÃ, mô hình xây dāng, thuÁt toán mô hình hóa xây dāng và mßi quan há giÿa mô hình tiên đà và mô hình xây dāng cho hai cách tiÁp cÁn sā dăng kā thuÁt đàm phán và kā thuÁt tranh luÁn, đÅ phát triÅn ph°¢ng pháp tích hāp nhiÃu CSTTKN sā dăng hai hß toán tā tích hāp, cũng nh° đÅ đà xu¿t các đßnh đà và tích hāp các CSTTKNBT, nghiên cću các đặc tính logic cąa toán tā tích hāp các CSTTKNBT theo quan điÅm đßnh đà và tích hāp phân c¿p các CSTTKNBT

xix

Phương pháp cụ thể hóa đ°āc sā dăng nhằm hiÅu rõ h¢n quá trình tích hāp các

CSTT bằng cách xây dāng các ví dă minh hßa cho các khái niám, cho các quá trình tích hāp các CSTT °u tiên dāa trên khung tích hāp - đàm phán, Quy trình tích hāp - tranh luÁn và cho quá trình tích hāp các CSTTKNBT

Phương pháp tham khảo ý kiến của chuyên gia và cộng đồng nghiên cứu trình

bày seminar và công bß bài báo trên T¿p chí, Hßi thÁo chuyên ngành uy tín

III Tính c¿p thi¿t, ý ngh*a lý lu¿n và thāc tiÅn căa lu¿n án

Trong lĩnh vāc trí tuá nhân t¿o, tích hāp tri thćc tÿ nhiÃu ngußn là h°áng nghiên cću luôn đ°āc quan tâm trong xây dāng các há thßng thông minh Nhß tích hāp tri thćc mái có thÅ t°¢ng tác, kÁt nßi nhiÃu há thßng thông minh vái nhau, tÿ đó có thÅ thāc hián hiáu qąa quá trình ra quyÁt đßnh trên các thông tin, tri thćc đÁn tÿ nhiÃu ngußn cũng nh° ra quyÁt đßnh có sā tham gia cąa nhiÃu ng°ßi Vái sā phát triÅn m¿nh m¿ cąa công nghá thông tin, nh¿t là cąa kÁt nßi v¿n vÁt, l°āng thông tin tri thćc đ°āc hình thành ngày càng nhiÃu, nhu cÁu xây dāng các há thßng thông minh, các há hß trā ra quyÁt đßnh trên các l°āng tri thćc lán đÁn tÿ nhiÃu ngußn ngày càng lán Trong ngÿ cÁnh ¿y v¿n đà tích hāp tri thćc có thÅ không nh¿t quán càng trá lên cÁn thiÁt và c¿p bách

Nghiên cću các giÁi pháp đàm phán trong lý thuyÁt trò ch¢i và kā thuÁt tranh luÁn trong xā lý tri thćc mâu thu¿n cũng là nhÿng chą đà nghiên cću đang nái lên trong lĩnh vāc trí tuá nhân t¿o trong khoÁng hai thÁp kÿ l¿i đây và đang ngày càng đ°āc quan tâm và ćng dăng trong các lĩnh vāc cąa đßi sßng kinh tÁ - xã hßi Mặc dù các măc tiêu cąa xây dāng giÁi pháp đàm phán trong các trò ch¢i đàm phán, tranh luÁn trong xā lý tri thćc mâu thu¿n, và tích hāp tri thćc là khá khác nhau, nh°ng vái mong mußn tìm ph°¢ng pháp mái, hiáu quÁ trong viác tích hāp các CSTT °u tiên có thÅ nh¿t quán hoặc không, LuÁn án này tÁp trung nghiên cću khai thác thÁ m¿nh cąa các kā thuÁt xây dāng giÁi pháp đàm phán trong lý thuyÁt trò ch¢i và kā thuÁt tranh luÁn trong xā lý các tri thćc mâu thu¿n đÅ đ°a vào trong các quá trình tích hāp các CSTT °u tiên

xx

Viác nghiên cću các ph°¢ng pháp tích hāp CSTT °u tiên dāa trên kā thuÁt đàm phán hoặc kā thuÁt tranh luÁn cũng nh° viác nghiên cću ph°¢ng pháp tích hāp nhiÃu CSTTKN sā dăng hai toán tā tích hāp và ph°¢ng pháp tích hāp các CSTTKNBT nh° luÁn án này có ý nghĩa trên cÁ hai ph°¢ng dián lý thuyÁt và thāc tißn:

Về mặt lý thuyết: Các kÁt quÁ nghiên cću cąa luÁn án cung c¿p ph°¢ng pháp

tích hāp các CSTT °u tiên có thÅ không nh¿t quán dāa trên kā thuÁt đàm phán hoặc dāa trên kā thuÁt tranh luÁn Mô hình xây dāng cąa hai ph°¢ng pháp tích hāp là quy trình làm viác cho quá trình tích hāp Các quy trình này đ°āc mô tÁ mßt cách đßnh tính nh°ng tÿ đó có thÅ xây dāng đ°āc thuÁt toán thÅ hián chính xác các quy trình tích hāp này và khi đó viác xác đßnh CSTT °u tiên tích hāp là đ°āc thāc hián thông qua thuÁt toán đó

KÁt quÁ nghiên cću cąa luÁn án cũng cung c¿p ph°¢ng pháp tích hāp nhiÃu CSTTKN sā dăng hai toán tā và ph°¢ng pháp tích hāp các CSTTKNBT theo quan điÅm đßnh đÃ

Về mặt thực tiễn: Các kÁt quÁ nghiên cću cąa luÁn án có thÅ đ°āc ćng dăng

trong các há hß trā ra quyÁt đßnh, các há thßng th°¢ng m¿i đián tā tā đßng, các há thßng web h°áng ngÿ nghĩa, là nhÿng há thßng phăc vă nhiÃu mặt cąa đßi sßng kinh tÁ, xã hßi, an ninh qußc phòng trong viác ra quyÁt đßnh có sā tham gia cąa đa tác tā, ra quyÁt đßnh vái thông tin dÿ liáu đÁn tÿ nhiÃu ngußn khác nhau

Ngoài ra, các ph°¢ng pháp tích hāp CSTT đ°āc đà xu¿t trong luÁn án này có thÅ đ°āc sā dăng trong đào t¿o đ¿i hßc, sau đ¿i hßc ngành công nghá thông tin

IV Đóng góp căa lu¿n án

LuÁn án này có nhÿng đóng góp chính nh° sau:

- Đà xu¿t ph°¢ng pháp tích hāp các CSTT °u tiên (bao gßm cÁ CSTTKN) vái tÁp ràng bußc trßng tài dāa trên kā thuÁt đàm phán Că thÅ, luÁn án đã đà xu¿t mßt tÁp các đßnh đà (đ°āc gßi là mô hình tiên đÃ), mßt quy trình tích hāp các CSTT °u tiên có thÅ không nh¿t quán (đ°āc gßi là mô hình xây dāng) Đà xu¿t thuÁt toán mô

xxi

tÁ chính xác quy trình tích hāp này và sā dăng thuÁt toán đÅ chćng minh mßi quan há giÿa mô hình tiên đà và mô hình xây dāng cąa quá trình tích hāp các CSTT °u tiên cũng nh° CSTTKN Đß phćc t¿p tính toán cąa thuÁt toán cũng đã đ°āc chćng minh

- Đà xu¿t ph°¢ng pháp tích hāp các CSTT °u tiên (bao gßm cÁ CSTTKN) dāa trên kā thuÁt tranh luÁn Că thÅ, luÁn án đã đà xu¿t mßt tÁp các đßnh đà và quy trình tích hāp các CSTT °u tiên (có thÅ không nh¿t quán) dāa trên kā thuÁt tranh luÁn Đà xu¿t thuÁt toán mô tÁ chính xác quy trình tích hāp các CSTT °u tiên dāa trên kā thuÁt tranh luÁn và sā dăng thuÁt toán này đÅ chỉ ra mßi quan há giÿa mô hình xây dāng và mô hình tiên đà cąa quá trình tích hāp dāa trên kā thuÁt tranh luÁn Đß phćc t¿p tính toán cąa thuÁt toán cũng đ°āc chćng minh

- ĐÃ xu¿t má rßng và phát triÅn phương pháp tích hợp kết hợp nhiÃu CSTTKN

sā dăng hai toán tā tích hāp tÿ ph°¢ng pháp tích hāp hai CSTTKN sā dăng 2 toán tā đã biÁt Chỉ ra điÃu kián cÁn và đą đÅ quá trình tích hāp kÁt hāp nhiÃu CSTTKN sā dăng hai toán tā có thÅ thāc hián đ°āc Chỉ ra các đßnh đà cąa quá trình tích hāp mà quá trình tích hāp kÁt hāp sā dăng hai toán tā thßa mãn Đà xu¿t thuÁt toán cho quá trình tích hāp này

Mßt phÁn các kÁt quÁ nghiên cću liên quan đÁn các đà xu¿t nêu trên đ°āc công bß trong các công trình [LTTLuu_2], [LTTLuu_3] và [LTTLuu_4]

- Đà xu¿t ph°¢ng pháp tích hāp các CSTTKNBT theo quan điÅm đßnh đà đ°āc thāc hián thông qua viác tích hāp các phân bß không khÁ nng biÅu tr°ng đặc tr°ng cho các CSTTKNBT thành phÁn Đà xu¿t ph°¢ng pháp tích hāp phân c¿p các CSTTKNBT thông qua viác tích hāp phân c¿p các phân bß không khÁ nng biÅu tr°ng Chỉ ra mßt sß láp toán tā tích hāp các CSTTKNBT và các đßnh đà mà CSTT tích hāp đ°āc xác đßnh bái các toán tā tích hāp đó thßa mãn KÁt quÁ nghiên cću liên

quan đÁn đà xu¿t này đ°āc công bß trong công trình [LTTLuu_1]

xxii

V C¿u trúc lu¿n án

LuÁn án <Nghiên cứu tích hợp tri thức trong Logic khả năng dựa trên kỹ thuật

Đàm phán và Tranh luận= gßm phÁn má đÁu và bßn ch°¢ng nßi dung, phÁn kÁt luÁn

và danh măc các tài liáu tham khÁo Các ch°¢ng đ°āc tá chćc nh° trong Hình 2 á d°ái, că thÅ nh° sau:

Hình 2 – Cấu trúc luận án

Ch°¢ng 1 Tổng quan về mô hình tích hợp CSTTKN trình bày mßt cách khái

quát và chung nh¿t và tri thćc, biÅu dißn tri thćc và CSTT; giái thiáu logic khÁ nng chuẩn (LKN) á đó đßnh giá (hay trßng sß) cąa các mánh đà nhÁn giá trß là sß Ch°¢ng này cũng trình bày tính không nh¿t quán và viác đo l°ßng tính không nh¿t quán cąa các CSTTKN; khÁo cću các ph°¢ng pháp tích hāp CSTTKN theo quan điÅm đßnh đà và bằng cách sā dăng nhiÃu toán tā tích hāp KhÁo cću kā thuÁt xây dāng giÁi pháp

xxiii

đàm phán, trong đó nh¿t là giÁi pháp đàm phán nh°āng bß đßng thßi trong các trò ch¢i đàm phán và kā thuÁt tranh luÁn trong xā lý tri thćc mâu thu¿n trong lý thuyÁt lāa chßn xã hßi đÅ xác đßnh khoÁng trßng nghiên cću cũng nh° khÁ nng có thÅ đ°a kā thuÁt đàm phán hoặc kā thuÁt tranh luÁn vào trong quá trình tich hāp các CSTT °u tiên nói chung, CSTTKN nói riêng

Ch°¢ng 2 Tích hợp CSTTKN dựa trên kỹ thuật đàm phán đà xu¿t các tính ch¿t

logic mà quá trình tích hāp các CSTT °u tiên dāa trên kā thuÁt đàm phán cÁn thßa mãn Các tính ch¿t logic này đ°āc phát triÅn dāa trên các tiên đà cho giÁi pháp trong các trò ch¢i đàm phán TÁp các tính ch¿t logic đó đ°āc gßi là mô hình tiên đà Ch°¢ng này cũng đà xu¿t quy trình tích hāp các CSTT °u tiên có thÅ không nh¿t quán vái tÁp ràng bußc dāa trên ý t°áng cąa kā thuÁt đàm phán nh°āng bß đßng thßi, á đây tÁp ràng bußc đóng vai trò nh° là trßng tài cąa quá trình đàm phán Quy trình này đ°āc gßi là Quy trình tích hāp - đàm phán và đ°āc xem nh° là mô hình xây dāng CSTT tích hāp dāa trên kā thuÁt đàm phán Ch°¢ng 2 đà xu¿t thuÁt toán mô tÁ chinh xác quy trình tích hāp - đàm phán và chỉ ra mßi quan há khá chặt ch¿ giÿa mô hình tiên đà và mô hình xây dāng cąa quá trình tích hāp CSTT °u tiên vái tÁp ràng bußc trßng tài Ch°¢ng này cũng trình bày viác °ác l°āng đß phćc t¿p thuÁt toán đ°āc đà xu¿t và đß phćc t¿p tính toán cąa thuÁt toán này s¿ đ°āc chi tiÁt, că thÅ h¢n khi các CSTT °u tiên là các CSTTKN, á đó quan há thć tā trên mßi CSTTKN là đ°āc cÁm sinh tā nhiên tÿ các tri thćc khÁ nng trong các CSTT này

Ch°¢ng 3 Tích hợp CSTTKN dựa trên kỹ thuật tranh luận và kết hợp toán tử

trình bày Khung làm viác cąa quá trình tích hāp các CSTT °u tiên có thÅ không nh¿t quán dāa trên ý t°áng cąa kā thuÁt tranh luÁn đÅ xā lý tri thćc mâu thu¿n trong lý thuyÁt lāa chßn xã hßi Trong Khung làm viác này, quy trình tích hāp các CSTTKN dāa trên kā thuÁt tranh luÁn đ°āc gßi là quy trình tích hāp - tranh luÁn và đ°āc xem nh° là mô hình xây dāng cąa quá trình tích hāp Mô hình tiên đà cąa quá trình này đ°āc phát triÅn tÿ các đßnh đà cąa quá trình tích hāp các CSTTKN đã đ°āc cßng đßng nghiên cću, ćng dăng thÿa nhÁn rßng rãi Ch°¢ng này cũng giái thiáu thuÁt toán mô tÁ chính xác quy trình tích hāp - tranh luÁn, đß phćc t¿p tính toán cąa thuÁt toán này

xxiv

và mßi quan há giÿa mô hình xây dāng và mô hình tiên đà cũng đ°āc chỉ ra ThuÁt toán đ°āc đà xu¿t và đß phćc t¿p tính toán cąa nó cũng đ°āc chi tiÁt và t°ßng minh h¢n cho quá trình tích hāp các CSTTKN dāa trên kā thuÁt tranh luÁn

Ch°¢ng 3 còn giái thiáu ph°¢ng pháp má rßng mô hình tích hāp hai CSTTKN sā dăng hai hß toán tā thành mô hình tích hāp nhiÃu CSTTKN sā dăng hai hß toán tā đó Ph°¢ng pháp này đ°āc gßi là ph°¢ng pháp tích hāp kÁt hāp sā dăng 2 toán tā ĐiÃu kián cÁn và đą đÅ ph°¢ng pháp tích hāp kÁt hāp các CSTTKN sā dăng hai hß toán tā có thÅ thāc hián đ°āc cũng nh° thuÁt toán cho ph°¢ng pháp tích hāp CSTTKN nh° vÁy đ°āc giái thiáu á phÁn cußi cąa ch°¢ng này

Ch°¢ng 4 Tích hợp CSTT khả năng biểu trưng s¿ trình bày viác tích hāp các

CSTTKNBT theo quan điÅm đßnh đà Các thußc tính logic cąa các toán tā tích hāp theo quan điÅm đßnh đà và tích hāp phân c¿p các CSTTKNBT cũng đ°āc trình bày trong Ch°¢ng này

Cußi cùng, PhÁn Kết luận và hướng phát triển s¿ táng hāp các kÁt qąa nghiên cću chính cąa luÁn án, trình bày các h¿n chÁ còn tßn t¿i cąa luÁn án và h°áng nghiên cću tiÁp theo cąa luÁn án này

1

Ch°¢ng 1 TỔNG QUAN VÀ MÔ HÌNH TÍCH HþP CSTT KHÀ NNG

Trong ch°¢ng này, luÁn án s¿ trình bày khái niám CSTT không nh¿t quán và mßt sß lo¿i logic nh° logic mánh đÃ, logic khÁ nng và logic khÁ nng biÅu tr°ng Trình bày táng quan và ph°¢ng pháp tích hāp các CSTT mánh đà và các CSTTKN theo quan điÅm đßnh đÃ; Mô hình tích hāp hai CSTTKN sā dăng hai hß toán tā; Khung tranh luÁn, tích hāp các khung tranh luÁn và khung tranh luÁn cho tích hāp các CSTTKN mâu thu¿n; Mô hình đàm phán và há tiên đà cąa giÁi pháp đàm phán cąa trò ch¢i đàm phán, và mßt sß cách tiÁp cÁn điÅn hình và tích hāp các CSTT dāa trên kā thuÁt đàm phán

Thông qua trình bày táng quan, ch°¢ng này mßt mặt xác đßnh nhÿng khoÁng trßng nghiên cću s¿ đ°āc nghiên cću giÁi quyÁt trong luÁn án này và mặt khác cung c¿p nhÿng khái niám c¢ bÁn và nhÿng tri thćc cÁn thiÁt khác cho viác triÅn khai thāc hián giÁi đáp các câu hßi nghiên cću đ°āc đặt ra á các ch°¢ng sau

1.1 Tri thąc, biÃu diÅn tri thąc và CSTT

1.1.1 Tri thức

Theo Zins tri thćc là thông tin đã đ°āc ng°ßi dùng lĩnh hßi, khi thông tin đ°āc đßng hóa đÁy đą thì t¿o ra tri thćc [2] Do đó, vái t° cách là tác nhân trung gian trong viác t¿o ra tri thćc, thông tin tā nó và hình thćc và bÁn ch¿t đ°āc coi là c¿u trúc quan trßng có thÅ t¿o ra tri thćc Tri thćc liên quan đÁn cÁ dÿ liáu và các mßi quan há giÿa các phÁn tā dÿ liáu hoặc tÁp hāp cąa chúng Viác tá chćc dÿ liáu dāa trên các mßi quan há này cho phép rút ra nhÿng khái quát tÿ dÿ liáu đ°āc sắp xÁp sao cho có tá chćc và hình thành các câu hßi và viác thu thÁp dÿ liáu Nghĩa là, tri thćc đặt ra nhiám vă tìm kiÁm tri thćc và nó nÁy sinh tÿ nhÿng ý t°áng đã đ°āc xác minh hoặc xác thāc Tri thćc mánh đà suy dißn Trong nhÁn thćc luÁn truyÃn thßng, có ba lo¿i tri thćc chính: tri thćc thāc tÁ, tri thćc do quen biÁt, và tri thćc mánh đà Tri thćc thāc tÁ đà cÁp đÁn các kā nng (tćc là khÁ nng chćc nng, chẳng h¿n nh° lái xe ô tô) Tri thćc do quen biÁt là sā nhÁn biÁt trāc tiÁp không qua trung gian các vÁt thÅ và sinh

Trong luÁn án này tÁp trung vào tri thćc biÅu dißn d°ái d¿ng các mánh đà đ°āc chuyÅn sang d¿ng logic

1.1.2 Biểu diễn tri thức

Có bßn ph°¢ng pháp biÅu dißn tri thćc chính: BiÅu dißn bằng đß thß (Network

Representation), biÅu dißn bằng khung tri thćc (Frame Representation), biÅu dißn

bằng các luÁt sÁn xu¿t (Production Rules) và biÅu dißn d°ái d¿ng logic (Logical

Representation)

BiÅu dißn tri thćc d°ái d¿ng logic là cách biÅu dißn bằng sā dăng mßt ngôn ngÿ logic vái mßt sß luÁt că thÅ liên quan đÁn các mánh đà BiÅu dißn d¿ng logic đặt ra mßt sß quy tắc giao tiÁp quan trßng, bao gßm cú pháp và ngÿ nghĩa Cú pháp là tÁp các luÁt quyÁt đßnh cách có thÅ xây dāng các câu hāp lý trong logic Ngÿ nghĩa là cách xác đßnh ý nghĩa cąa các câu BiÅu dißn tri thćc d°ái d¿ng logic có thÅ dùng nhiÃu ngôn ngÿ logic khác nhau tÿ logic mánh đÃ, logic vß tÿ [5] và d¿ng câu Horn [6]đÁn các logic khác nh°: logic mß [7], logic mô tÁ [8], logic khÁ nng, logic khÁ nng biÅu tr°ng [9] và logic xác su¿t [10]

LuÁn án này, sā dăng cách biÅu dißn tri thćc dāa trên các ngôn ngÿ logic nh° logic mánh đÃ, logic khÁ nng (LKN) và logic khÁ nng biÅu tr°ng (LKNBT)

Ví dā 1.1 GiÁ sā ta có tri thćc nh° sau: <NÁu sáng mai trßi nắng đẹp cÁ láp s¿ đi dã

ngo¿i nÁu không á nhà ôn bài, khÁ nng/xác su¿t xÁy ra điÃu này là 60%=

Ký hiáu ÿ ==sáng mai trßi nắng đẹp=, Ā ==đi dã ngo¿i=, Ā ==á nhà ôn bài=, trong ngôn ngÿ LKN, tri thćc trên có thÅ đ°āc biÅu dißn d°ái d¿ng: ((ÿ → Ā) ( Ā, 0.6), á đây (ÿ → Ā) ( Ā biÅu dißn mánh đà đ°āc phát biÅu á trên; 0.6 đ°āc gßi là

3

trßng sß (hay đßnh giá) thÅ hián tình tr¿ng chân lý cąa mánh đà đã cho Trong LKN, 0.6 đ°āc đo bằng đß đo cÁn thiÁt cąa mánh đà đã cho, và biÅu dißn tri thćc nêu trên có thÅ dißn giÁi mßt cách đ¢n giÁn là mćc đß chắc chắn đÅ mánh đà đã cho xÁy ra ít nh¿t 0.6

1.1.3 Cơ sở tri thức

Logic còn đ°āc sā dăng phá biÁn trong lý thuyÁt lÁp luÁn Măc đích cąa logic trong trí tuá nhân t¿o là phát triÅn các ngôn ngÿ đÅ thÅ hián tri thćc mßt cách hình thćc trong mßt miÃn và làm cho chúng có thÅ suy dißn Mßt ngôn ngÿ hình thćc đ°āc trang bß mßt cú pháp, cho phép biÅu dißn các công thćc logic, đßng thßi nó đ°āc gắn vái mßt ngÿ nghĩa hình thćc cho biÁt ý nghĩa đúng cąa các công thćc này Nói chung, ngÿ nghĩa cąa mßt ngôn ngÿ logic că thÅ là làm cách nào ng°ßi ta có thÅ lÁp luÁn và tri thćc đ°āc mã hóa theo cú pháp thông qua các công thćc

Các logic đ°āc t¿o ra là đÅ biÅu dißn và xā lý tri thćc Vì vÁy, mßi ngußn tri thćc th°ßng đ°āc coi nh° mßt CSTT và đ°āc biÅu dißn là mßt tÁp hāp cąa các công thćc logic Mßt trong nhÿng v¿n đà quan trßng cąa tích hāp nhiÃu CSTT là xā lý v¿n đà không nh¿t quán Mặc dù mßi CSTT riêng lẻ có thÅ nh¿t quán, tuy nhiên khi ta gßp chúng vái nhau thì có thÅ làm phát sinh mâu thu¿n ĐiÃu này, d¿n đÁn viác đòi hßi phÁi có quá trình tích hāp các CSTT này

LuÁn án này tÁp trung vào các CSTT °u tiên, trong đó mßi CSTT đÃu có mßt quan há thć tā toàn phÁn khác nhau Dāa vào quan há thć tā toàn phÁn này ng°ßi ta phân CSTT thành các láp t°¢ng đ°¢ng và xác đßnh quan há thć tā °u tiên cho các láp t°¢ng đ°¢ng ¿y Mßt tr°ßng hāp riêng cąa CSTT °u tiên là CSTTKN đó là mßt tÁp hāp các công thćc logic có d¿ng {(�㔙ÿ, ďÿ): ÿ = 1, , Ą} trong đó �㔙ÿ là mßt công thćc mánh đÃ, ďÿ * [0,1] là trßng sß (đßnh giá) biÅu dißn mćc đß chắc chắn hay °u tiên cąa �㔙ÿ Trong LKN chuẩn, có 4 cách xác đßnh kÁt thúc suy dißn cąa mßt CSTT theo quan há bán thć tā toàn phÁn [9]: tiÁp cÁn ngÿ nghĩa dāa trên xÁp h¿ng các biÅu dißn, tiÁp cÁn cú pháp dāa trên luÁt Modus Ponens và luÁt Modus Ponens yÁu, tiÁp cÁn cá điÅn dāa trên các lát cắt Chúng t°¢ng đ°¢ng nhau và mang l¿i cùng mßt kÁt

4

quÁ khi suy dißn LKN là khung làm viác cho xác đßnh thć h¿ng cąa thÁ giái có thÅ Thāc tÁ, b¿t kỳ thć h¿ng nào cąa các thÁ giái có thÅ cũng có thÅ đ°āc trình bày bằng mßt CSTTKN

1.1.4 CSTT nhất quán và CSTT không nhất quán

Đßnh ngh*a 1.1 Mßt CSTT þ gßi là không nh¿t quán (inconsistent) nÁu tßn t¿i công

thćc logic ý sao cho þ ⊢ ý và þ ⊢ ¬ý

Tính không nh¿t quán là mßt thußc tính cąa tri thćc đ°āc đặc tr°ng sā thiÁu khÁ nng cąa các quá trình lÁp luÁn Do đó, giÁi quyÁt tính không nh¿t quán cąa tri thćc là mßt nhiám vă c¢ bÁn và r¿t cÁn thiÁt trong nhiÃu nhiám vă quÁn lý tri thćc Toàn bß quy trình quÁn lý có thÅ trá nên b¿t khÁ thi nÁu v¿n đà không nh¿t quán không đ°āc giÁi quyÁt

Viác giÁi quyÁt tính không nh¿t quán là mßt trong các lĩnh vāc nghiên cću quan trßng trong trí tuá nhân t¿o [11] Không nh¿t quán thÅ hián sā thiÁu (hoặc thÿa) tri thćc cąa quá trình lÁp luÁn Không nh¿t quán th°ßng xÁy ra do các lßi tri thćc th°ßng đÁn tÿ các ngußn khác nhau và tÿ đó nÁy sinh mâu thu¿n Tích hāp tri thćc là mßt trong nhÿng cách phá biÁn nh¿t đÅ giÁi quyÁt mâu thu¿n Tích hāp tri thćc là mßt công viác khó khn vì viác xác đßnh không nh¿t quán cąa tri thćc là không dß dàng, do đó viác giÁi quyÁt mâu thu¿n cũng là mßt v¿n đà phćc t¿p

Trong trí tuá nhân t¿o, lÁp luÁn và thay đái không đ¢n điáu đ°āc coi là hai mặt cąa cùng mßt v¿n đà [12] Nói chung, duyát hay tích hāp các ngußn tri thćc khác nhau có thÅ d¿n đÁn các v¿n đà không nh¿t quán trong đó mßt sß cách tiÁp cÁn dāa trên viác khôi phăc tính nh¿t quán cąa CSTT đÅ khai thác và thāc hián các lÁp luÁn [13], hoặc phân tích v¿n đà không nh¿t quán sā dăng các bián pháp khác nhau [14] hoặc sā dăng quy trình tích hāp - tranh luÁn [15] đÅ đ°a ra giÁi pháp xā lý v¿n đà tri thćc không nh¿t quán

VÃ ch¿t l°āng cąa tri thćc, có thÅ bß Ánh h°áng do sā không chắc chắn và sā thiÁu chính xác cąa tri thćc, á đây tri thćc không chắc chắn là tri thćc mà ng°ßi ta không thÅ quyÁt đßnh đ°āc nó là hoàn toàn đúng hay hoàn toàn sai Tri thćc không

5

chắc chắn phă thußc vào các ngußn cung c¿p tri thćc đó Lý thuyÁt khÁ nng là phù hāp đặc biát trong viác xā lý tri thćc không đÁy đą, tri thćc không chính xác, trong khi lý thuyÁt xác su¿t là phù hāp đặc biát đÅ xā lý tri thćc không chắc chắn LuÁn án này tÁp trung vào LKN [16] và LKNBT [9], đó là mßt khung r¿t tā nhiên đÅ xā lý không đÁy đą và không chắc chắn cąa tri thćc, nh¿t là thć tā đßnh tính trong logic này Chúng liên quan đÁn tri thćc phi xác su¿t và đặc biát thích hāp khi đß đo không chắc chắn chỉ phÁn ánh mßi quan há °u tiên giÿa các phÁn tri thćc khác nhau Ví dă, sā lāa chßn cąa LKN và LKNBT có thÅ đ°āc ćng dăng đÅ truy hßi dÿ liáu tÿ các CSDL á nhiÃu ngußn khác nhau có thÅ có mćc đß °u tiên khác nhau

Ng°ßi ta giÁi quyÁt tính không nh¿t quán cąa tri thćc theo hai cách tiÁp cÁn: cú pháp và ngÿ nghĩa

❖ à cách tiÁp cÁn cú pháp: Chą yÁu đà cÁp đÁn các CSTT dāa trên logic à đây ng°ßi ta phÁi xā lý mßt tÁp hāp các công thćc logic trái ng°āc nhau Các cách tiÁp cÁn đÅ giÁi quyÁt tính không nh¿t quán có thÅ đ°āc chia thành ba nhóm Nhóm thć nh¿t bao gßm các cách tiÁp cÁn dāa trên sāa đái CSTT, nhóm thć hai bao gßm các cách tiÁp cÁn dāa trên logic gÁn nh¿t quán (paraconsistent), và nhóm thć ba xā lý nguyên nhân gây ra không nh¿t quán

❖ à cách tiÁp cÁn ngÿ nghĩa: Đà cÁp đÁn mßt vi thÁ giái (hay tÁp các thÁ giái có thÅ) V¿n đà không nh¿t quán xÁy ra nÁu tßn t¿i mßt phát biÅu và sā phą đßnh cąa nó cùng đúng Cách tiÁp cÁn ngÿ nghĩa bao gßm 3 ph°¢ng pháp Ph°¢ng pháp đÁu tiên t°¢ng tā nh° các ph°¢ng pháp đÁu tiên theo cách tiÁp cÁn cú pháp Theo đó, ph°¢ng pháp này cho phép các quy trình kiÅm tra tính nh¿t quán dÿ liáu bằng các ràng bußc toàn vẹn trong các há thßng CSDL [17] Tuy nhiên, các c¿u trúc trong các CSTT phćc t¿p h¢n và các ph°¢ng pháp nh° vÁy có thÅ không hiáu quÁ H¢n nÿa viác xác đßnh các ràng bußc toàn vẹn cho các CSTT là không đ¢n giÁn Ph°¢ng pháp thć hai liên quan đÁn lÁp luÁn boolean và ph°¢ng pháp thć ba giÁi quyÁt tính không nh¿t quán theo nguyên tắc đßng thuÁn [18]

6

Nhiám vă xác đßnh mćc đß không nh¿t quán cũng r¿t quan trßng á c¿p đß ngÿ nghĩa Các nghiên cću [11] [17] đã xác đßnh các hàm nh¿t quán cho phép tính toán mćc đß nh¿t quán Mßi mćc đß không nh¿t quán này có thÅ đ°āc xem xét đà cÁp đÁn các khía c¿nh nêu trên ĐiÃu này đ°āc mô tÁ trong hình 1.1

Hình 1 1 - Các mức độ và khía cạnh của tri thức không nhất quán

1.1.5 Logic mệnh đề và logic khả năng

Logic đ°āc xem nh° là mßt nhánh cąa triÁt hßc KÅ tÿ giÿa thÁ kỉ 19 logic đã đ°āc nghiên cću trong toán hßc và luÁt GÁn đây nh¿t logic đ°āc ćng dăng vào khoa hßc máy tính và trí tuá nhân t¿o Là mßt ngành khoa hßc hình thćc, logic nghiên cću và phân lo¿i c¿u trúc cąa các khẳng đßnh và các lÁp luÁn, cÁ hai đÃu thông qua viác nghiên cću các há thßng hình thćc cąa suy dißn và qua sā nghiên cću lÁp luÁn trong ngôn ngÿ tā nhiên TÁm bao quát cąa logic do vÁy là r¿t rßng, đi tÿ các lÁp luÁn ngăy bián và nghßch lý, đÁn nhÿng lÁp luÁn chuyên gia nh° lÁp luÁn xác su¿t và lÁp luÁn liên quan đÁn quan há nhân quÁ

1.1.5.1 Quan hệ thứ tự

Cho mßt tÁp không rßng Č, quan há } là quan há nhß phân trên tÁp Č

Đßnh ngh*a 1.2 Cho ÿ, Ā, ā * Č, quan há } có thÅ có các tính ch¿t sau:

- PhÁn x¿ (Reflexivity): ³ } ÿ;

7 - Không phÁn x¿ (Irreflexivity): ³ ⋡ ÿ;

- Đßi xćng (Symmetry): nếu ÿ } Ā thì Ā } ÿ;

- Không đßi xćng (Antisymmetry): nếu ÿ } Ā thì Ā ⋡ ÿ;

- Bắc cÁu (Transitivity): nÁu ³ } Ā và ´ } ā thì ³ } ā;

- Toàn phÁn (Totallity): ÿ } Ā hoặc Ā } ÿ

- Quan há } là quan hệ thứ tự toàn phần (total order) nÁu nó là quan há thć tā

mßt phÁn và có tính ch¿t toàn phÁn (hay quan há bán thć tā toàn phÁn và có tính ch¿t không đßi xćng)

D°ái đây là hình minh hßa các quan há

9

công thćc đ°āc xây dāng bằng mßt cú pháp cùng vái tÁp các quy tắc suy dißn s¿ t¿o ra mßt ngôn ngÿ hình thćc Các ngÿ nghĩa đ°a ra ý nghĩa cho các công thćc cąa ngôn ngÿ

Trong thāc tÁ, nhiÃu v¿n đà tích hāp tri thćc có thÅ đ°āc thÅ hián và giÁi quyÁt bằng cách hình thćc hóa dāa trên logic mánh đÃ

Mßt ngôn ngÿ mánh đà 3 đ°āc xác đßnh tÿ mßt tÁp hÿu h¿n các biÁn mánh đÃ

�㖫 và các hằng sß ⊺ và ⊥ t°¢ng ćng vái hai giá trß là tuyát đßi đúng ĄĂďċĉÿĐÿĂÿĊď và tuyát đßi sai ĈďċĊąĂąĕď Ký hiáu Ω là tÁp các thÁ giái có thÅ, trong đó mßi thÁ giái

10

Ngÿ nghĩa cąa logic đ°āc đßnh nghĩa tā khái niám thÁ giái có thÅ Ngÿ nghĩa cąa ngôn ngÿ cho phép ta xác đßnh ý nghĩa cąa các câu trong mßt miÃn nào đó cąa thÁ giái thāc ĐiÃu đó đ°āc thāc hián bằng cách kÁt hāp mßi ký hiáu mánh đà vái sā kián nào đó trong thÁ giái thāc Chẳng h¿n, trong ngôn ngÿ các biÅu thćc logic, dãy ký hiáu (Ď ' ď) ( Đ là mßt câu viÁt đúng cú pháp Ngÿ nghĩa cąa ngôn ngÿ này cho phép ta hiÅu rằng, nÁu Ď, ď và Đ là các biÁn logic thì công thćc trên có giá trß bằng cách l¿y Ď hßi vái ď rßi sau đó l¿y tuyÅn vái Đ

Xem xét đßnh nghĩa hình thćc cąa khái niám này trong ngÿ cÁnh logic mánh đà nh° sau: Cho 3�㖫 là mßt ngôn ngÿ logic mánh đà xây dāng trên mßt tÁp hÿu h¿n �㖫 cąa các biÁn mánh đà cùng vái tÁp các liên kÁt logic cũng nh° các hằng sß ⊺ và ⊥

Đßnh ngh*a 1.3 ThÁ giái có thÅ Ā trong ngôn ngÿ 3�㖫 là mßt hàm ánh x¿ mßt tÁp �㖫 cąa các biÁn mánh đà đÁn tÁp cąa các giá trß chân lý {⊺, ⊥}

Ký hiáu Ω biÅu dißn cho tÁp t¿t cÁ các thÁ giái có thÅ trong ngôn ngÿ 3�㖫 Đßnh ngh*a 1.4 Mßt thÁ giái có thÅ Ā trên �㖫 th°ßng đ°āc ký hiáu là mßt vecto cąa

các giá trß 0 và 1 trong đó viác đánh giá tÿng biÁn mánh đà cąa �㖫 đ°āc gán cho mßt giá trß duy nh¿t Giá trß 0 chỉ ra rằng biÁn mánh đà trong thÁ giái có thÅ Ā đ°āc đánh giá là ĂďĂĉē và 1 trong tr°ßng hāp ng°āc l¿i

TÁp cąa t¿t cÁ các thÁ giái có thÅ trên �㖫 ký hiáu là Ω�㖫

11

Đßnh ngh*a 1.5 Mßt tÁp các CSTT ā cąa Ą CSTT là mßt đa tÁp (multi-set – tÁp có

thÅ có các phÁn tā gißng nhau) ā = {ÿ1, & , ÿĄ} và đ°āc gßi là hß s¢ tri thćc

(knowledge profile) Mßt sß CSTT trong ā có thÅ t°¢ng đ°¢ng logic vái nhau Hai CSTT ÿ và ÿ2 đ°āc gßi là t°¢ng đ°¢ng logic, ký hiáu ÿ ≡ ÿ2, khi và chỉ khi ∀�㔙 * ÿ, ÿ′ ⊢ �㔙 và ng°āc l¿i Mßt hß s¢ tri thćc ā2 = {ÿ12, & , ÿĄ2} là t°¢ng đ°¢ng logic vái mßt hß s¢ tri thćc ā = {ÿ1, & , ÿĄ}, ký hiáu ā ≡ ā2, khi và chỉ khi tßn t¿i mßt hoán vß �㔎 trên tÁp {1, & , Ą} sao cho ÿÿ ≡ ÿ�㔎(ÿ)2 vái mßi ÿ = 1, & , Ą Hāp cąa hai hß s¢ tri thćc ā và ā2 cũng là mßt hß s¢ tri thćc, ký hiáu ā ¶ ā2 ={ÿ1, & , ÿĄ, ÿ12, & , ÿĄ2}

Vái CSTT ÿ = {�㔙1, & , �㔙ă}, ký hiáu âK = ˄ÿ=1ă �㔙ÿ, t°¢ng tā ' E = ˄ÿ=1Ą (˄ÿÿ) Mßt CSTT ÿ là nh¿t quán khi và chỉ khi ∀�㔙 * ÿ, #Ā * Ω sao cho Ā ⊢ �㔙

Cho ÿ là tÁp các công thćc, bao đóng quan há há quÁ cąa ÿ, ký hiáu là ÿĄ(ÿ), là mßt tÁp ÿĄ(ÿ) = {�㔙 * 3�㖫 | ÿ ⊢ �㔙}

1.1.5.3 Logic khả năng

Lý thuyÁt khÁ nng, đ°āc Zadeh [19] giái thiáu và sau đó đ°āc Dubois và Prade [20] và nhiÃu nhà nghiên cću khác phát triÅn, là mßt khung r¿t tā nhiên đÅ xā lý v¿n đà không chắc chắn và đßnh tính và thć tā Nó liên quan đÁn tri thćc phi xác su¿t và đặc biát thích hāp khi tỉ lá không chắc chắn chỉ phÁn ánh mßi quan há °u tiên giÿa các phÁn tri thćc khác nhau

LuÁn án này tÁp trung vào lý thuyÁt khÁ nng [21, 22], đ°āc nhiÃu nhà tin hßc coi là mßt trong nhÿng lý thuyÁt có nhiÃu triÅn vßng nh¿t đ°āc lāa chßn đÅ xây dāng các há chuyên gia, há trā giúp quyÁt đßnh trên nhÿng tri thćc đ°āc biÁt không chắc chắn, không đÁy đą

à mćc đß cú pháp, mßt công thức (hay tri thức) khả năng là mßt cặp (�㔙, ď)

trong đó �㔙 là mßt công thćc mánh đà và ď * [0, 1] Cặp (�㔙, ď) có nghĩa là mćc đß chắc chắn cąa �㔙 ít nh¿t bằng ď, (Ă(�㔙) g ď) PhÁn tri thćc không chắc chắn có thÅ biÅu dißn bằng mßt CSTTKN là mßt tÁp hÿu h¿n các công thćc có d¿ng þ =

12

{(�㔙ÿ, ďÿ)|ďÿ > 0, ÿ = 1, & , Ą} Ký hiáu þ∗ là CSTT mánh đà đ°āc liên kÁt vái þ, că thÅ nó là các CSTT thu đ°āc tÿ þ bằng cách lo¿i bß đi các trßng sß cąa công thćc, tćc là þ∗= {�㔙ÿ|(�㔙ÿ, ďÿ) * þ} Ng°ßi ta nói rằng CSTTKN þ là nh¿t quán khi và chỉ khi þ∗ là nh¿t quán [23]

Viác suy dißn trong logic khÁ nng đ°āc thāc hián theo các quy tắc đ°āc nêu trong đßnh nghĩa d°ái đây

Đßnh ngh*a 1.6 (Suy diễn trong logic khả năng)

Cho �㔑 và ÿ là các công thćc mánh đà và Ć, Ć′ * [0,1] Ta có các luÁt suy dißn sau: 1) Fusion: {(�㔑, Ć), (�㔑, Ć2)} ⊢ (�㔑, max(Ć, Ć2));

2) Weakening: (�㔑, Ć) ⊢ (�㔑, Ć2) nÁu Ć g Ć2; 3) Modus Ponens: {(�㔑 → ÿ, Ć), (�㔑, Ć)} ⊢ (ÿ, Ć);

Tÿ đßnh nghĩa trên ta dß dàng có đ°āc thêm luÁt suy dißn sau:

4) Luật Modus Ponens má rộng: {(�㔑 → ÿ, Ć), (�㔑, Ć2)} ⊢ (ÿ, ăÿĄ (Ć, Ć′)) LuÁt Modus Ponens má rßng đ°āc ćng dăng rßng rãi trong các há suy dißn dāa trên logic khÁ nng

à mức độ ngữ nghĩa LKN dāa trên khái niám cąa mßt hàm phân bß khÁ nng (possibility distribution) ký hiáu bằng ÿ, là mßt ánh x¿ tÿ Ω vào [0, 1] đÅ đ¿i dián cho tri thćc sẵn có, á đây Ω là tÁp t¿t cÁ các thÁ giái có thÅ (hay tÁp các thÅ hián) đ°āc xác đßnh tÿ các công thćc mánh đà trong þ∗ ÿ(Ā) = 1 có nghĩa là hoàn toàn có thÅ cho Ā là mßt thÁ giái thāc (hoặc Ā thßa mãn hoàn toàn), 1 > ÿ(Ā) > 0 có nghĩa Ā chỉ đáp ćng (hoặc thßa mãn) đ°āc mßt phÁn, trong khi ÿ(Ā) = 0 có nghĩa Ā chắc chắn không phÁi là mßt thÁ giái thāc (hoặc không đáp ćng t¿t cÁ)

Tÿ mßt hàm phân bß khÁ nng ÿ ta có thÅ xác đßnh đ°āc mćc đß khÁ nng (tính hāp lý) cąa công thćc �㔙 ký hiáu là ∏(�㔙) = max {ÿ(Ā)|Ā * Ω, Ā ⊨ �㔙} Đó là mćc đß đòi hßi cąa công thćc �㔙 đßi vái nhÿng tri thćc sẵn có và mćc đß chắc chắn (sā cÁn thiÁt (necessary)) cąa mßi công thćc �㔙: Ă(�㔙) = 1 2 ∏(¬�㔙) Ă(�㔙) = 1 có nghĩa

Đßnh ngh*a 1.7 [23] Vái ∀Ā * Ω,

ÿþ(Ā) = { 1 nếu ∀(�㔙ÿ, ďÿ) * þ, Ā ⊨ �㔙ÿ

1 2 ăďĎ{ďÿ: (�㔙ÿ, ďÿ) * þ và ω ¯ �㔙ÿ} ng±ợc lại (1.1) Khi đó CSTTKN þ là nh¿t quán khi và chỉ khi tßn t¿i thÁ giái có thÅ Ā sao cho ÿþ(Ā) = 1

Đßnh ngh*a 1.8 [24] (cut và strict cut) Cho þ là CSTTKN và ď * [0, 1], ta gßi

a-cut (t°¢ng ćng strict a-a-cut) cąa þ, ký hiáu là þgÿ(t°¢ng ćng þ>ÿ) là tÁp cąa các công thćc mánh đà trong þ có mćc đß chắc chắn ít nh¿t bằng ď:

þgÿ = {�㔙 * -Ą(þ)|(�㔙, Đ) * þ, Đ g ď} (1.2) (t°¢ng ćng lán h¢n ď, þ>ÿ = {�㔙 * -Ą(þ)|(�㔙, Đ) * þ, Đ > ď}) (1.3)

Đßnh ngh*a 1.9 [24] Cho þ1 và þ2 là hai CSTTKN þ1 và þ2 đ°āc gßi là t°¢ng đ°¢ng, ký hiáu þ1 ≡ þ2 nÁu ÿþ1 = ÿþ2

Sā t°¢ng đ°¢ng cąa hai CSTTKN cũng có thÅ xác đßnh nh° sau:

14

1.1.6 Logic khả năng biểu trưng

T°¢ng tā nh° LKN, trong LKNBT [25], mßi công thćc khÁ nng biÅu tr°ng có d¿ng (�㔙ÿ, ďÿ) á đây �㔙ÿ là công thćc mánh đÃ, trong khi ďÿ là mßt ký hiáu Trong tÁp ký hiáu không có quan há thć tā toàn phÁn mà chỉ có thć tā tÿng phÁn

Đßnh ngh*a 1.11 (Phân bß không khÁ nng biÅu tr°ng) [25]: GiÁ sā þ = {(�㔙ÿ, ďÿ): ÿ =1, & , Ą} là mßt CSTTKN biÅu tr°ng Phân bß không khÁ nng đặc biát �㔏þ đặc tr°ng cho CSTT này đ°āc xác đßnh nh° sau:

∀Ā * Ω, �㖯þ(Ā) = {0, Ąếċ þ(Ā) = þăďĎĀ:�㔙Ā+þ(�㔔)ďĀ∗sao cho þ(Ā) = {�㔙 * þ∗: Ā ⊢ �㔙} (1.6)

và đß đo cÁn thiÁt Ăþ t°¢ng ćng vái phân bß này là:

Ăþ(�㔙ÿ) = ăÿĄ�㔔+[�㔙ÿ]�㖯þ(Ā) = ăÿĄ�㔔+�㔙ÿăďĎĀ:�㔙Ā+þ(�㔔)ďĀ (1.7) á đây [�㔙ÿ] = {Ā * Ω: Ā ⊢ �㔙ÿ}

Trong LKNBT không có thuÁt ngÿ "1 -", do đó công thćc xác đßnh phân bß không khÁ nng �㖯þ(Ā) theo công thćc (1.6) đÅ phù hāp vái bßi cÁnh này Khi đó, �㖯þkhông phÁi là phân bß khÁ nng �㖯þ(Ā), vì thÁ nó đ°āc gßi là phân bß không khÁ nng biÅu tr°ng

Sau đây là mßt sß khái niám c¢ bÁn liên quan đÁn v¿n đà tích hāp tri thćc

15

1.1.2.1 Duyệt tri thức

Thông tin hàng ngày đ°āc thu thÁp và đ°āc biÁn thành các hiÅu biÁt Sau đó nó đ°āc sā dăng đÅ dā báo hoặc suy dißn nhằm t¿o ra mßt sß tri thćc mái, ch°a tÿng xÁy ra V¿n đà á đây là đã có mßt sß tri thćc rßi và đã t¿o ra nhÿng hiÅu biÁt và chúng Tuy nhiên đÁn mßt thßi điÅm nào đó l¿i biÁt thêm mßt sß tri thćc mái Tri thćc mái này có thÅ mâu thu¿n vái nhÿng gì đã đ°āc biÁt tr°ác đây [26] ĐiÃu này d¿n đÁn phÁi thay đái nhÿng gì chúng ta đã biÁt đÅ phù hāp vái tri thćc mái tiÁp nhÁn đ°āc [27] Duyát tri thćc chą yÁu nhằm đßi phó vái nhÿng tình hußng nh° vÁy

Duyát tri thćc là mßt lĩnh vāc nghiên cću đ°āc bắt đÁu tÿ nhÿng nm 1980 Duyát tri thćc xÁy ra khi mßt tri thćc mái đ°āc thêm vào há thßng không nh¿t quán vái há thßng tri thćc hián t¿i (hay CSDL) Có ba kiÅu duyát tri thćc chính t°¢ng ćng vái 3 ph°¢ng pháp thay đái tri thćc nh° sau:

i) Phương pháp nới rộng (Expansion): Mßt tri thćc mái �㔙 đ°āc thêm vào há

thßng tri thćc ÿ cùng vái há quÁ logic cąa nó (b¿t ch¿p tÁp tri thćc mái t¿o ra có nh¿t quán hay không) Há thßng tri thćc mà há quÁ suy ra tÿ ÿ nái rßng vái tri thćc �㔙 đ°āc biÅu thß bằng ÿ + �㔙

ii) Phương pháp xét lại (Revision): Khi mßt tri thćc mái �㔙 đ°āc thêm vào mà

không nh¿t quán vái há thßng tri thćc ÿ, đÅ duy trì tính nh¿t quán trong há thßng, mßt sß tri thćc cũ trong ÿ bß xóa KÁt quÁ xét l¿i ÿ bái tri thćc �㔙 đ°āc biÅu thß ÿ ∔�㔙

iii) Phương pháp co (Contraction): Co mßt tri thćc �㔙 cùng t¿t cÁ các thành phÁn

có thÅ suy dißn ra �㔙 trong ÿ KÁt quÁ co �㔙 trong ÿ đ°āc ký hiáu là ÿ ∸ �㔙