SAT編碼

速報

SAT 編碼攻克優先知識庫：Pareto 與 Completion 最佳修復實作與評測

研究聚焦於帶有優先關係的知識庫，在資料存在矛盾時如何容忍不一致並正確回應查詢。作者比較三種既有語義（AR、IAR、brave），並以 Pareto 與 completion 兩種最佳修復概念為基礎，指出查詢判定於資料複雜度下屬於（co）NP 完全。