Belief Revision in a Deductively Open Belief Space

Frances L. Johnson, State University of New York at Buffalo

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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.