MỘT PHƯƠNG PHÁP XỬ LÝ KHÔNG NHẤT QUÁN TRI THỨC Ở MỨC CÚ PHÁP

Abstract

Có thể phân các phương pháp xử lý sự không nhất quán tri thức dựa trên logic thành hai mức: mức cú pháp và mức ngữ nghĩa. Bài báo trình bày một phương pháp dựa trên lý thuyết đồng thuận để xử lý sự không nhất quán tri thức ở mức cú pháp, trong đó trạng thái tri thức được biểu diễn bằng một biểu thức dạng hội của các literal. Từ khóa: không nhất quán, tri thức, đồng thuận, mức cú pháp