David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Artificial Intelligence 84:57-112 (1996)
This paper presents a formalism that combines useful properties of both logic and probabilities. Like logic, the formalism admits qualitative sentences and provides symbolic machinery for deriving deductively closed beliefs and, like probability, it permits us to express if-then rules with different levels of firmness and to retract beliefs in response to changing observations. Rules are interpreted as order-of-magnitude approximations of conditional probabilities which impose constraints over the rankings of worlds. Inferences are supported by a unique priority ordering on rules which is syntactically derived from the knowledge base. This ordering accounts for rule interactions, respects specificity considerations and facilitates the construction of coherent states of beliefs. Practical algorithms are developed and analyzed for testing consistency, computing rule ordering, and answering queries. Imprecise observations are incorporated using qualitative versions of Jeffrey's rule and Bayesian updating, with the result that coherent belief revision is embodied naturally and tractably. Finally, causal rules are interpreted as imposing Markovian conditions that further constrain world rankings to reflect the modularity of causal organizations. These constraints are shown to facilitate reasoning about causal projections, explanations, actions and change.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Emiliano Lorini (2013). On the Epistemic Foundation for Iterated Weak Dominance: An Analysis in a Logic of Individual and Collective Attitudes. [REVIEW] Journal of Philosophical Logic 42 (6):863-904.
Horacio Arló-Costa & Richmond H. Thomason (2001). Iterative Probability Kinematics. Journal of Philosophical Logic 30 (5):479-524.
Wolfgang Spohn (2014). The Epistemic Account of Ceteris Paribus Conditions. European Journal for Philosophy of Science 4 (3):385-408.
Paul D. Thorn & Gerhard Schurz (2014). A Utility Based Evaluation of Logico-Probabilistic Systems. Studia Logica 102 (4):867-890.
Donald Bamber (2000). Entailment with Near Surety of Scaled Assertions of High Conditional Probability. Journal of Philosophical Logic 29 (1):1-74.
Similar books and articles
Hans Rott (2012). Bounded Revision: Two-Dimensional Belief Change Between Conservative and Moderate Revision. [REVIEW] Journal of Philosophical Logic 41 (1):173-200.
Stephen Murray Glaister (1998). Symmetry and Belief Revision. Erkenntnis 49 (1):21-56.
Adnan Darwiche & Judea Pearl (1997). On the Logic of Iterated Belief Revision. Artificial Intelligence 89:1-29.
Marcelo Alejandro Falappa, Alejandro Javier García, Gabriele Kern-Isberner & Guillermo Ricardo Simari (2013). Stratified Belief Bases Revision with Argumentative Inference. Journal of Philosophical Logic 42 (1):161-193.
Jon Williamson (2004). Bayesian Nets and Causality: Philosophical and Computational Foundations. OUP Oxford.
Giacomo Bonanno (2005). A Simple Modal Logic for Belief Revision. Synthese 147 (2):193 - 228.
Erich Rast (2010). Plausibility Revision in Higher-Order Logic With an Application in Two-Dimensional Semantics. In Arrazola Xabier & Maria Ponte (eds.), LogKCA-10 - Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge. ILCLI
Emil Weydert (2012). Conditional Ranking Revision. Journal of Philosophical Logic 41 (1):237-271.
Added to index2009-07-31
Total downloads23 ( #128,632 of 1,726,249 )
Recent downloads (6 months)5 ( #147,227 of 1,726,249 )
How can I increase my downloads?