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 trong xử lý tri thức mâu thuẫn
MỤC LỤC
Tính c¿p thi¿t, ý ngh*a lý lu¿n và thāc tiÅn căa lu¿n án
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.
Đóng góp căa lu¿n án
Tích h ÿ p các CSTT
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ćcchớ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. 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 ÿ. Cú nghĩa rằng mòi cụng thćc khÁ nng biÅu tr°ng đ°āc suy diòn logic tÿ mòt tÁp cỏc cụng thćc khÁ nng khỏc, cũng cú thÅ nhÁn đ°āc bằng viỏc tớnh đò đo cÁn thiÁt cąa cụng thćc mỏnh đà trong cụng thćc khÁ nng biÅu tr°ng này, ỏ đõy đò đo cÁn thiÁt đ°āc xỏc đònh tÿ CSTTKNBT bao gòm cỏc tri thćc khÁnng khỏc đ°āc sā dăng đÅ suy diòn logic, và ng°āc l¿i.
Mô hình xây d ā ng
Trong mòi vũng ¿y cÁn thāc hiỏn cỏc nòi dung sau: Tr°ỏc hÁt cỏc tỏc tā tÿ tỏc tā thć ÿ đÁn tỏc tā thć Ą cÁn phÁi đỏ trỡnh đòng thòi cỏc tri thćc cąa mỡnh và tớnh mćc đò gÁn tÁp ràng buòc tròng tài ąÿ cąa cỏc tri thćc đ°āc đ°a vào theo công thćc (2.2) (các dòng lánh 5 đÁn 6) và kiÅm tra xem có hián t°āng nh¿t quán yÁu giÿa cỏc tri thćc vÿa đ°āc đỏ trỡnh khụng, nÁu cú cÁp nhÁt l¿i mćc đò gÁn tÁp ąÿ cąa các tri thćc này theo công thćc (2.3) (các dòng lánh tÿ 7 đÁn 14). Cho dự quan hỏ thć tā ỏ mòi CSTT °u tiờn khỏc nhau là khỏc nhau (thÅ hiỏn quan điÅm khỏc nhau cąa mòi tỏc tā và tÁm quan tròng cąa tri thćc), viỏc sắp xÁp cỏc tri thćc dāa vào tÁp ràng buòc tròng tài ąÿ theo cỏc cụng thćc (2.2) và (2.3) là cỏch tiÁp cÁn hāp lý đÁm bÁo tri thćc gÁn tÁp ràng buòc tròng tài ąÿ hÂn là đ°āc tròng tài ąng hò hÂn, cÁn đ°āc °u tiờn đ°āc xem xột, đàm phỏn tr°ỏc đÅ đ°a vào CSTT tích hāp.
Quy trình tích h ÿp CSTT °u tiên dā a trên k ÿ thu ¿ t tranh lu ¿ n
Quỏ trỡnh tranh luÁn s¿ kÁt thỳc khi khụng cú tỏc tā nào đ°a ra b¿t kỳ mòt tri thćc mỏi (cựng vỏi tÁp lÁp luÁn) khỏc nào nÿa. TÁp kÁt quÁ tớch hāp t¿m thòi cuòi cùng s¿ là kÁt quÁ tích hāp các CSTT °u tiên dāa trên kā thuÁt tranh luÁn. T°¢ng tā nh° quá trình tích hāp các CSTT °u tiên sā dăng kā thuÁt đàm phán quá trình tích hāp các CSTT °u tiên dāa trên kā thuÁt tranh luÁn, hián t°āng nh¿t quỏn yÁu xÁy ra khi cú hai tỏc tā khỏc nhau cú tÁp lÁp luÁn khỏc nhau cho cựng mòt tri thćc nh°ng tri thćc này cú thć tā cũng nh° mćc đò °u tiờn khỏc nhau theo quan điÅm cąa mòi tỏc tā. Khi hiỏn t°āng này xÁy ra, cỏc tỏc tā tham gia tranh luÁn đÃu cú xu h°ỏng cho rằng mćc đò °u tiờn cąa tri thćc ¿y ớt nh¿t khụng đ°āc th¿p hÂn mćc đò °u tiờn mà mòi tỏc tā đó đỏnh giỏ. Cú thÅ th¿y rằng mòi tỏc tā t°Âng ćng vỏi mòt CSTT cú mòt tÁp hÿuh¿n cỏc tri thćc nờn cũng chỉ cú mòt tÁp hÿu h¿n cỏc lÁp luÁn vỏi mòi tri thćc, vỡ thÁ quỏ trỡnh tranh luÁn luôn kÁt thúc. H¢n nÿa, các tác tā đ°āc khuyÁn khích đÅ các tri thćc cąa hò đ°āc xÁp °u tiờn và đỏ trỡnh cỏc lÁp luÁn đÅ đ°āc xem xột tớch hāp sỏm hÂn. Quy trỡnh tớch hāp - tranh luÁn nờu trờn cú thÅ đ°āc biÅu diòn d°ỏi d¿ng s đò khòi nh° sau. 1 –Sơ đồQuy trình Ttích hợp –Tranh luận Ghi chú: KTTL: Kỹ thuật tranh luận. NQY: Nhất quán yếu. ThuÁt toỏn d°ỏi đõy là că thÅ húa cąa s đò khòi núi trờn:. , Ą) t°¢ng ćng vái Ą tác tā tham gia tranh luÁn, ỏ đõy ă1 fă2 f ⋯ f 㥠và cỏc tri thćc trong mòi CSTT đ°āc sắp theo thć tā °u tiên; quan há thć tā cąa các tri thćc là quan há thć tā toàn phÁn trên CSTT ¿y nh°ng là quan há thć tā tÿng phÁn trên tÁp t¿t cÁ các tri thćc cąa các tác tā. Các dòng lánh tÿ 11-15 kiÅm tra xem tÁp tri thćc (vÿa đ°āc các tác tā đ°a vào đã đ°āc sắp thć tā và xā lý hián t°āng nh¿t quán yÁu) có nh¿t quán không bằng sā dăng hàm ÿĈĂą() và nÁu điÃu đó xÁy ra (dòng lánh 11)thì đ°āc bắt đÁu tÿ tri thćc có thć tā sắp xÁp cao nh¿t (dòng lánh 12), kiÅm tra tri thćc này có nh¿t quán yÁu vái cỏc tri thćc trong tÁp kÁt quÁ tớch hāp t¿m thòi ÿą hay khụng bằng sā dăng hàm Ăąč(), nÁu có thì phÁi xā lý nó cũng nh° xā lý tri thćc trong tÁp ÿą dāa trên nguyên tắc đã nêu á trên (dòng lánh 13), nÁu không thì kiÅm tra xem tri thćc ¿y có nh¿t quán vái các tri thćc trong tÁp ÿą hay không, nÁu đúng thì bá sung tri thćc này vào tÁp ÿą.
Tích h ÿ p CSTTKN d ā a trên k ÿ thu ¿ t tranh lu ¿ n
Thć hai là các thą tăc đàm phán và thą tăc tranh luÁn t°¢ng ćng trong Quy trình tích hāp - đàm phán và Quy trình tích hāp - tranh luÁn đÃu đ°āc mô tÁ khá chung, thć tā °u tiên trong các CSTT cũng nh° mụi tr°òng logic cąa cỏc CSTT °u tiờn cũng cũn khỏ chung. ĐiÃu khỏc biỏt s¿. trỏ nờn rừ rỏt khi cỏc CSTT đ°āc xem xột trong mòt logic că thÅ, cỏc quan hỏ thć tā. °u tiờn trong cỏc CSTT cũng nh° cỏc kā thuÁt đàm phỏn và tranh luÁn đ°āc xỏc đònh că thÅ h¢n. à Ch°Âng 2, khi Ď, ď * ĄĂ, tćc là chỳng cựng thuòc mòt lỏp t°Âng đ°Âng thỡ cÁn sā dăng mćc đò gÁn tÁp ràng buòc đàm phỏn đÅ sắp thć tā °u tiờn cąa cỏc tri thćc nh° vÁy. à ch°¢ng này luÁn án đã đà xu¿t sā dăng quan há hai ngôi Ďℛďtrên �㖫. Trong tr°òng hāp cỏc CSTTKN, quan hỏ hai ngụi đú cú thÅ đ°āc xỏc đònh nh° sau:. Vỡ thÁ, thÁ m¿nh cąa kā thuÁt tranh luÁn cÁn đ°āc chi tiÁt và vÁn dăng trong quá trình tích hāp các CSTTKN. Trong tr°òng hāp KTL là do tÁp cỏc tri thćc cÁm sinh, đònh nghĩa 3.2 và mòt lÁp luÁn đ°āc phát triÅn và că thÅ h¢n nh° sau:. c) Ą là nh¿t quỏn và cāc đ¿i, tćc khụng cú tÁp nào chća Ą thòa món hai điÃu trờn. Viác chćng minh Há quÁ này cũng nh° phÁn còn l¿i cąa thuÁt toán Tichhop- Tranhluan là quá trình tích hāp các CSTT °u tiên nói chung, CSTTKN nói riêng dāa vào quy trỡnh tớch hāp - tranh luÁn khụng thòa món Đònh đà �㕻�㕴ÿĀ.
Mô hình tích h ÿ p phân c ¿ p các CSTTKN bi Ãu tr°ng
- Đà xu¿t Quy 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, trong đú mòi CSTT °u tiờn đ°āc xem là mòt KTL và kā thuÁt tranh luÁn đ°āc sā dăng trong quỏ trỡnh lāa chòn tri thćc đÅ °u tiờn xem xột trong quỏ trỡnh tớch hāp cũng nh° đÅ xā lý và lo¿i bò tri thćc gõy mõu thu¿n. Các thuÁt toán tích hāp các CSTTKN dāa trên kā thuÁt đàm phán (thuÁt toán Tichhop-Đamphan - thuÁt toán 2.1), kā thuÁt tranh luÁn (thuÁt toán Tichhop- Tranhluan - thuÁt toán 3.1) và dāa trên ph°¢ng pháp tích hāp kÁt hāp các CSTTKN sā dăng hai toán tā (thuÁt toán Tichhop_2toantu - thuÁt toán 3.7) là ch°a đ°āc cài đặt thā nghiám.