资源论文A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets

A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets

2019-11-12 | |  46 |   48 |   0
Abstract Recent years have seen a lot of work towards extending the established AGM belief revision theory with respect to iterating revision, preserving conditional beliefs, and handling sets of propositions as new information. In particular, novel postulates like independence and evidence retainment have been brought forth as new standards for revising epistemic states by (sets of) propositional information. In this paper, we propose a constructive approach for revising epistemic states by sets of (propositional and conditional) beliefs that combines ideas from nonmonotonic reasoning with conditional belief revision. We also propose a novel principle called enforcement that covers both independence and evidence retainment, and we show our revision operator to comply with major postulates from the literature. Moreover, we point out the relevance of our approach for default reasoning.

上一篇:Discrete-Time Temporal Reasoning with Horn DLRs Peter Jonsson? & Tomas Lo?o?w†

下一篇:A Logic for Causal Inference in Time Series with Discrete and Continuous Variables

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...