Formalizing a Deductively Open Belief Space

摘要: A knowledge representation and reasoning system must be able to deal with contradictions revise beliefs. There has been much research in belief revision the last decade, but this tends either Coherence camp (AGM) or Foundations (TMS) little crossover. Most theoretical postulates on contraction assume a deductively closed space something that is computationally hard (or impossible) produce an implementation. This makes it difficult analyze implemented systems using postulates. paper offers formalism describes open (DOBS). It then uses alter AGM integrity constraints for DOBS. DOBS base set of hypotheses, only deduces beliefs from as result specific queries. Thus, can grow over time even if remains static, never referred consistent inconsistent "not known inconsistent." work future alterations traditional postulate formalisms will better enable system/postulate comparisons.