Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic
Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic
MỠ DẦUTính cắp thiết của luận ánF. Berto [13] nhận định rằng luật nhất quán (Law of Non-Contradiction) của Aristotle cho ràng cùng một thời điểm không Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic g (lồ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 Tay 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 the giới [25], và tư duy dã thay dổi. KNQ (inconsistent) đã dược thừa nhận trong triết học và các lĩnh vự Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic c khoa học có liên quan den nhận thức. KNQ là khái niệm chi các tình huống khi mà các mệnh dề KNQ nhau (ví dụ. (Ị và -iợ) dồng thời cùng xảy ra. TínhLuận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic
da 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à dấu tranh giữa các mặt dối lặp là những dộng lực to lớnMỠ DẦUTính cắp thiết của luận ánF. Berto [13] nhận định rằng luật nhất quán (Law of Non-Contradiction) của Aristotle cho ràng cùng một thời điểm không Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic n theo một quá trình chuyển hóa t.hái độ từ chối bó tới chính (hức hóa và sứ dụng KNQ. Quá trình tiến hóa từ logic cổ diên tói các logic mở rộng dtíỢ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.12Mà dầuKNQ được coi là khống thể được chap nhặn trong rất nhiều tì Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic nh huống (ví chi. (lặc tả một ke hoạch làm việc hoặc (óng hợp cam biến của người máy. V.V.). Tuy nhiên, KXQ lại cần được hiện diện trong nhiều tình huLuận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic
ống khác (lo lính hữu ích của nó (ví dụ, phiên (lộng não (biuinstoniiing) trong nhóm cộng tác nghiên cíhi, các luật sư tìm kiếm KNQ từ đối till!. V.V.MỠ DẦUTính cắp thiết của luận ánF. Berto [13] nhận định rằng luật nhất quán (Law of Non-Contradiction) của Aristotle cho ràng cùng một thời điểm không Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic á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 (li. 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 dược m Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic ong muốn do vô ích hoặc có hại hay (tược mong muốn do hữu ích thì việc phát triển kha năng dung thứ (tol-erancy) KNQ trong các linh vực như khoa học mLuận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic
á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ẹ phan mềm), kỹ nghẹ (xứ lý tín hiệu, phân líMỠ DẦUTính cắp thiết của luận ánF. Berto [13] nhận định rằng luật nhất quán (Law of Non-Contradiction) của Aristotle cho ràng cùng một thời điểm không Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic 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 11, 85, 63, 21]. (.'lánh vì lý do dó, quản lý KNQ là một chủ dề nghiên cúm. ứng dụng cuốn hút mội cộng đồng nghiên cứu rộng rãi trẽn thế giới. Hình I trình diên một mô tã thống kẽ số lượng cõng trình nghiên cứu dược công bố Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic trôn ScicnceDirect (rong giai (loạn 2008-2018 có chứa một trong13A/à dầncác cụm từ “inconsistency logic", “inconsistency knowledge”, “inconsistencymaLuận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic
nagement," trong lieu dề, trong tóm lắt hoặc (rong danh sách từ khóa.Hình 1: Phăn bố cõng bó khoa học về KNQ trẽn ScienccDircct giai đoạn 1995 - 2018ĐMỠ DẦUTính cắp thiết của luận ánF. Berto [13] nhận định rằng luật nhất quán (Law of Non-Contradiction) của Aristotle cho ràng cùng một thời điểm không Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic các thành phần quàn lý KNQ trong các hệ thống. Logic toán học rat, hữu dụng không chí ờ phương diện thuận tiện (lịnh nghĩa các ycu lố KNQ cần quan tãm, mà còn cho phép kiểm chứng được các tính chat cốt lõi cần có đối vói các hệ thống quân lý KNQ. Diều này là rắt quan trọng trong quản lý KNQ nhàm dá Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic m bảo tính hoạt dộng ben 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ơ1'1Mờ dầnchế kiểm tra hành viLuận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic
trong một hệ thống (chương trình, tác tử) thông qua truyền thõng (mò phỏng hai chiều (bisiĩìiulation) [82. 81. 86]) có ý nghĩa (lặc biệt quan trọng. MMỠ DẦUTính cắp thiết của luận ánF. Berto [13] nhận định rằng luật nhất quán (Law of Non-Contradiction) của Aristotle cho ràng cùng một thời điểm không Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic para-nhất quán (Paraconsislenl Logic) cung cấp một cơ sớ lý thuyết, tốt (lung thứ KNQ. Là hai tác gia khơi xướng logic parariìhất quán, s. Jaskowski (Ba Lan) và N. c. A. (la Costa (Brasil) (lại diện cho hai nhóm nghiên cứu tiêu biêu theo tiếp cận para-nhắt quán. Một chu đề trọng tàm nhất là logic p Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic ara-nhất quán (lựa trên ngữ nghĩa logic ba giá trị và bốn giá trị [25. 9], trong đó, ngữ nghĩa bốn giá trị của N. D. Belnap [9] có tính phổ biến. NhiềLuận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic
u tuyển tập [15, 22, 13], nhiều đề xuất mới phát, triển logic para-nhất quán (chẳng hạn. [41, 4]) (lã được công bó. Qua phân t ích logic bằng chứng cơMỠ DẦUTính cắp thiết của luận ánF. Berto [13] nhận định rằng luật nhất quán (Law of Non-Contradiction) của Aristotle cho ràng cùng một thời điểm không Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic . Dựa trên tiếp cận cấu trúc khoa học (structuralist approach to science), H. Andreas [4] cải liến khung logic para-nhất quán cấu trúc bộ phận (partial structures) và sự thật bộ phận (partial truth) dể xây dựng một khung logic para-nliất quán có the giãi (hích dược sự tồn tại một số lý thuyết khoa h Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic ọc không nhất quán, nhưng không (ầm thường nhưng rất có ý nghĩa.Logic mõ tả (LGMT) chứng tỏ dược nhiều lợi thế dối với việc biểu diễn và lập luận tronLuận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic
g quan lý KNQ, dặc biệt trong kiểm chứng các tính chat cốt lõi của mô phỏng hai chiều và tương tự hai chiều. \ì vây, quản lý KNQ15Mà dầutheo tiếp cận MỠ DẦUTính cắp thiết của luận ánF. Berto [13] nhận định rằng luật nhất quán (Law of Non-Contradiction) của Aristotle cho ràng cùng một thời điểm không Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic ], L. K. Spendier, 2015 [84], A. R. Divroodi. 2015 [30], A. R. 13. .layakumar. 2017 [19] và D. Ratcliffe, 2018 [78].Nghiên cứu của D. F. Savo và 7.. Bouraoui được định hướng tới các LGMT DL-Lite. cho các thành phần quản lý KNQ. trong đó D. F. Savo dề xuất một LGMT DL-LilcAjfijten dưực thiết kế (lặc Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic biệt cho các lĩnh vực phức tạp còn z. Bouraoui dề nghị một phương pháp quản lý KNQ sử dụng khung lý thuyết khả năng (lổ mơ rộng một phần cú phấp và ngLuận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic
ữ nghĩa ngôn ngữ LGMT DL-Lit.e. L. K. Spendier và A. R. B. Jayakumar nghiên cứu các logic para-nhat quấn trong dung thứ KNQ. trong dó, L. K. Spendier MỠ DẦUTính cắp thiết của luận ánF. Berto [13] nhận định rằng luật nhất quán (Law of Non-Contradiction) của Aristotle cho ràng cùng một thời điểm không Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic a-nhất quán bốn giá trị de xử lý KNQ trong cơ sớ dừ liệu. D. Ratcliffe [78] định hương vào bài toán quy nạp khái niệm trong cơ sở tri thức OWL.Tham gia dòng nghiên cứu trẽn dây, L.A.Ngnyen và A. R. Divroodi khơi nguồn hương nghiên cứu về mỏ phóng hai chiền, tương tự hai chiền vù học khái niệm trong Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic LGMT [33, 68, 70. 43. 31, 56. 32. 67]. Kết quâ nghiên cứu trên dãy ciia nhóm chi ra rằng (i) Mõ phông hai chiền, tương tự hai chiều trong LGMT dam bảoLuận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic
lính chai llcnncssy-Milncr và một sỏ tính chat cốt lõi khác dược chứng minh là có ý nghĩa quan trọng cá về khía cạnh tin cậy của các hệ thống thõng tMỠ DẦUTính cắp thiết của luận ánF. Berto [13] nhận định rằng luật nhất quán (Law of Non-Contradiction) của Aristotle cho ràng cùng một thời điểm không Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic á the: (iii) Các (lối tượng trong LGMT không chi được mõ tả bằng các t ính chất mà còn (lược mõ tá bằng các quan hệ giữa chứng. Luận án của A. R. Divroodi [30] cung cấp một nghiên cứu toàn diện về mõ phỏng hai chiều, tương tự hai chiều và học khái niệm trong LGMT. A. R. Divroodi đã chỉ ra kết quả ng Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic hiên cứu lý thuyết công phu, không chỉ về các (lieu kiện mô phỏng hai chiêu, các kết quả báo toàn dối vói các thành phần trong cơ sở tri thức của mộtLuận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic
lớp LGMT đù rộng (ALCreg), mà còn về khía cạnh phân tách tính biêu cám của LGMT và khá năng học khái niệm trong lớp các LGMT ALCrcỊỊ. Luận án của T.T.MỠ DẦUTính cắp thiết của luận ánF. Berto [13] nhận định rằng luật nhất quán (Law of Non-Contradiction) của Aristotle cho ràng cùng một thời điểm không Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic à cho cơ sỏ t ri I hức.Logic kha năng (Possibilistic Logic) dược mở rộng từ logic mệnh dề khi gắn kết một độ chắc chán tới từng cõng thức mệnh dề cũng cung cắp một nền tang logic tốt cho quán lý KNQ. Khung tranh luận và (làm phấn do P.M. Dung [36] có tính hữu dụng cao, có tính phô biến trong dòng ng Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic hiên cứu sứ dụng logic khá năng quan lý KNQ. Một số công trình nghiên cứu dựa trên khung tranh luận và (làm phán trên dây dã dược công bố. chang hạn,Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic
T. H. Tran và cộng sự [88] đề xuất một giải pháp tích hợp tri thức bằng (làm phán khắc phục dược dược hiệu ứng bị chìm trong tranh hiận và (làm phán, MỠ DẦUTính cắp thiết của luận ánF. Berto [13] nhận định rằng luật nhất quán (Law of Non-Contradiction) của Aristotle cho ràng cùng một thời điểm không Luận án xử lý không nhất quán trong tích hợp tri thức dựa trên logic iệc trá lơi hai câu hỏi nghiên cứu sau day:17Gọi ngay
Chat zalo
Facebook