Order:
  1. On the Logic of Iterated Belief Revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89:1-29.
    We show in this paper that the AGM postulates are too weak to ensure the rational preservation of conditional beliefs during belief revision, thus permitting improper responses to sequences of observations. We remedy this weakness by proposing four additional postulates, which are sound relative to a qualitative version of probabilistic conditioning. Contrary to the AGM framework, the proposed postulates characterize belief revision as a process which may depend on elements of an epistemic state that are not necessarily captured by a (...)
     
    Export citation  
     
    Bookmark   66 citations  
  2.  12
    On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision.Adnan Darwiche - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):11-34.
    We address in this paper the problem of counting the models of a propositional theory under incremental changes to its literals. Specifcally, we show that if a propositional theory Δ is in a special form that we call smooth, deterministic, decomposable negation normal form, then for any consistent set of literals S, we can simultaneously count the models of Δ ∪ S and the models of every theory Δ ∪ T where T results from adding, removing or flipping a literal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  1
    On the Tractability of Counting Theory Models and its Application to Belief Revision and Truth Maintenance.Adnan Darwiche - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):11-34.
    We address in this paper the problem of counting the models of a propositional theory under incremental changes to its literals. Specifcally, we show that if a propositional theory Δ is in a special form that we call smooth, deterministic, decomposable negation normal form, then for any consistent set of literals S, we can simultaneously count the models of Δ ∪ S and the models of every theory Δ ∪ T where T results from adding, removing or flipping a literal (...)
    Direct download  
     
    Export citation  
     
    Bookmark