Belief Revision in a Deductively Open Belief Space

Book One

Volume

Proceedings of the AAAI Conference on Artificial Intelligence, 17

SIGART/AAAI Doctoral Consortium

I am researching the traditional belief revision integrity constraints and postulates, which are designed for deductively closed belief spaces, and revising them so that they are applicable to implemented knowledge representation and reasoning systems with deductively open belief spaces (DOBS). I plan to offer a DOBS version of the AGM postulates, Hansson’s base contraction postulates, and postulates proposed for ranked beliefs, and to provide brief comments regarding postulate adherence for paraconsistent logics and incomplete systems. Using these postulates, I hope to develop a theory for comparing systems, so that implementers will be able to (a) evaluate how well their systems meet the standards of the postulates and (b) compare their systems to other systems.