Một số phương pháp xử lí tính nhất quán trong cơ sở tri thức xác suất

Tóm tắt

Một số chiến lược giải quyết tính không nhất quán của cơ sở tri thức xác suất đã được đề xuất và phát triển bằng cách thay đổi cấu trúc của các thành phần bên trong cơ sở tri thức, loại bỏ đi một phần tri thức, đánh giá mức độ không nhất quán bằng cách sử dụng các độ đo không nhất quán nhằm thay đổi giá trị xác suất của tri thức. Các chiến lược này thường xây dựng một họ các toán tử để làm cho một cơ sở tri thức không nhất quán trở thành cơ sở tri thức nhất quán. Bài báo này tập trung vào cách tiếp cận thứ ba, xem xét thay đổi giá trị xác suất của các ràng buộc xác suất trong cơ sở tri thức theo hướng đơn giản hơn. Bài báo tổng hợp hai toán tử và đề xuất mới một khôi phục tính nhất quán của cơ sở tri thức xác suất, từ đó đưa ra mô hình xử lí tính không nhất quán trong cơ sở tri thức xác suất và tương ứng với mỗi toán tử, một thuật toán giải quyết được đề xuất. Hơn nữa, chi phí của mỗi thuật toán cũng như các nguyên lí kì vọng của các toán tử khôi phục cũng được xem xét.