Proceedings:
Proceedings of the Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence
Volume
Issue:
Proceedings of the Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence
Track:
Contents
Downloads:
Abstract:
Bilaitices, which have been shown to be very useful in logic programming, are used here for recovering consistent data from an inconsistent knowledge-base. Our method is conservative in the sense that it considers the contradictory data as useless, and regards all the remaining information unaffected. This kind of approach is nonmonotonic and paraconsistent in nature.
BISFAI
Proceedings of the Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence