246,618 Hits in 5.7 sec

On the Ramsey Test without Triviality

Hannes Leitgeb
2010 Notre Dame Journal of Formal Logic  
This is done by constructing ranked models in which such Ramsey-test conditionals are evaluated and which are subject to natural postulates on belief revision and acceptability sets for conditionals.  ...  We present a way of classifying the logically possible ways out of Gärdenfors' inconsistency or triviality result on belief revision with conditionals.  ...  belief revision for acceptability sets and Ramsey-test conditionals in which acceptability sets contain conditionals as members that have only a suppositional interpretation.  ... 
doi:10.1215/00294527-2010-003 fatcat:meerogsifzdjbcdhe744n4ovvq

On the logic of iterated belief revision

Adnan Darwiche, Judea Pearl
1997 Artificial Intelligence  
iterated belief revisions.  ...  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 obserwtions  ...  within a given world theory, tacitly assuming that stimuli for belief revision are not perceived as carte blanche for complete restructuring of one's world view.  ... 
doi:10.1016/s0004-3702(96)00038-0 fatcat:xd67y3pkiffuljbp5nkknpomiu

On the Logic of Iterated Belief Revision [chapter]

Adnan Darwiche, Judea Pearl
1994 Theoretical Aspects of Reasoning About Knowledge  
iterated belief revisions.  ...  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 obserwtions  ...  within a given world theory, tacitly assuming that stimuli for belief revision are not perceived as carte blanche for complete restructuring of one's world view.  ... 
doi:10.1016/b978-1-4832-1453-5.50005-2 fatcat:6h6sqwookrfa7nqqvq7sv4cjha

Propositional Reasoning that Tracks Probabilistic Reasoning

Hanti Lin, Kevin T. Kelly
2012 Journal of Philosophical Logic  
Standard proposals for uncertain acceptance and belief revision do not track Bayesian conditioning.  ...  An acceptance rule tracks Bayesian conditioning when B p (E) = B p| E ( ), for every E such that p(E) > 0; namely, when acceptance by propositional belief revision equals Bayesian conditioning followed  ...  We are also indebted to Hannes Leitgeb for friendly discussions about his alternative approach and for his elegant concept of acceptance rules, which we adopt in this paper.  ... 
doi:10.1007/s10992-012-9237-3 fatcat:jxjfp73vhvdtdjtlsokyfji5ha

Iterated revision and minimal change of conditional beliefs

Craig Boutilier
1996 Journal of Philosophical Logic  
We describe a model of iterated belief revision that extends the AGM theory of revision to account for the effect of a revision on the conditional beliefs of an agent.  ...  Adopting the Ramsey test, minimal conditional revision provides acceptance conditions for arbitrary right-nested conditionals.  ...  Recall, the Ramsey test provides acceptance conditions for conditionals, not truth conditions; and acceptance is relative to a given state of belief.  ... 
doi:10.1007/bf00248151 fatcat:oyop72rpbzebzn3yydzcznhfui

Supporters and Underminers: Reply to Chandler

Richard Bradley
2016 Mind  
The Preservation condition, in particular, seemed doubtful to me and I offered two arguments for rejecting it; one which relied on a commutativity condition for belief revision and the other on a general  ...  Since I concur that neither the commutativity condition nor Modus Ponens are incontestable and Chandler does not, I think, deny the need to restrict Preservation condition, I won't have much to say about  ...  calibrating the conditions on belief revision, and in particular those for belief inclusion and exclusion, to the adopted consequence relation.  ... 
doi:10.1093/mind/fzw003 fatcat:rtzdmrhhvfcchdkgd4axfgqgtq

What If Bizet and Verdi had Been Compatriots?

Michael J. Shaffer
2016 Logos & Episteme: An International Journal of Epistemology  
Stalnaker argued that conditional excluded middle should be included in the principles that govern counterfactuals on the basis that intuitions support that principle.  ...  This is because there are pairs of competing counterfactuals that appear to be equally acceptable. In doing so, he was forced to introduced semantic vagueness into his system of counterfactuals.  ...  Additions of beliefs that do not require giving up previously held beliefs are termed expansions, and those that do are termed revisions. 13 Specifically, for our purposes here it is the concept of a revision  ... 
doi:10.5840/logos-episteme2016714 fatcat:wxpacixmy5hurbfkq6236uske4

Numerical Representations of Acceptance [article]

Didier Dubois, Henri Prade
2013 arXiv   pre-print
The motivation behind this work is the investigation of a setting for belief revision more general than the one proposed by Alchourron, Gardenfors and Makinson, in connection with the notion of conditioning  ...  Necessity (and possibility) measures agree with this view of acceptance while probability and belief functions generally do not. General properties of acceptance functions are estabilished.  ...  ACKNOWLEDGEMENTS This work has been partially supported by the European ESPRIT Basic Research Action No. 6156 entitled "Defeasible Reasoning and Uncertainty Management Systems (DRUMS-II)".  ... 
arXiv:1302.4944v1 fatcat:ylzpcxw2ifbzddh73khhxeis7y

Type-Theoretical Dynamics [chapter]

Giuseppe Primiero
2011 The Realism-Antirealism Debate in the Age of Alternative Logics  
The formalization provides epistemic explanations for the basic notions of belief state and belief set, by referring to assertion conditions for typetheoretical judgements; it interprets expectations in  ...  terms of default assumptions for such a structure; it adapts the usual revision operations and the analogous of the Ramsey test.  ...  The entire structure of type theory is essentially based on the conditional relation of justification, and the conceptual order provides in this way the conditions on the relation of revisionability.  ... 
doi:10.1007/978-94-007-1923-1_11 dblp:series/leus/Primiero12 fatcat:coslbvwdtjckvcjmtz3i76qqtq

Reapproaching Ramsey: Conditionals and Iterated Belief Change in the Spirit of AGM

Hans Rott
2011 Journal of Philosophical Logic  
I use concrete representations of belief states and (iterated) revisions of belief states as semantic models for (nested) conditionals.  ...  According to the Ramsey Test, conditionals reflect changes of beliefs: α > β is accepted in a belief state iff β is accepted in the minimal revision of it that is necessary to accommodate α.  ...  In a paper that became almost as famous as the seminal AGM piece, he seemed to establish that Ramsey's test for the acceptability of conditionals and AGM-style belief revision do not go together.  ... 
doi:10.1007/s10992-011-9177-3 fatcat:rzrgdwyks5eapmkf2zrxn2gice

Interpreting enthymematic arguments using belief revision

Georg Brun, Hans Rott
2013 Synthese  
The suggested procedure includes rules for recording whether the author in fact accepts or denies the premises and the conclusion, as well as tests for enthymematic validity and strategies for revising  ...  belief state ascriptions.  ...  Acknowledgments We would like to thank audiences in Constance, Lund, Prague, Regensburg, Salzburg and Stockholm, and in particular Gregor Betz, Ralf Busse, John Cantwell, Eduardo Fermé, Sven Ove Hansson  ... 
doi:10.1007/s11229-013-0248-6 fatcat:sbzzznwupzhord5nfudhynfgre

Belief Revision, Conditional Logic and Nonmonotonic Reasoning

Wayne Wobcke
1995 Notre Dame Journal of Formal Logic  
Finally, we consider the relationship between nonmonotonic reasoning and both conditional logic and belief revision.  ...  We consider the connections between belief revision, conditional logic and nonmonotonic reasoning, using as a foundation the approach to theory change developed by Alchourrón, Gärdenfors and Makinson (  ...  the theory change algorithms and on the implementation of the belief revision system.  ... 
doi:10.1305/ndjfl/1040308829 dblp:journals/ndjfl/Wobcke95 fatcat:weqac4q675anplea7lym2fxz4u

Ordinal and Probabilistic Representations of Acceptance

D. Dubois, H. Fargier, H. Prade
2004 The Journal of Artificial Intelligence Research  
This paper bridges the gap between probabilistic and logical representations of accepted beliefs.  ...  To this end, natural properties of relations on propositions, describing relative strength of belief are augmented with some conditions ensuring that accepted beliefs form a deductively closed set.  ...  It introduces comparative belief structures and suggests postulates governing the notion of accepted beliefs, and their revision in the face of new information by means of conditioning.  ... 
doi:10.1613/jair.1265 fatcat:o7hymmzj6bhvlfx6qimhasv3vu

Choosing What to Believe - New Results in Selective Revision

Fillipe Resina, Marco Garapa, Renata Wassermann, Eduardo Fermé, Maurício Reis
2020 Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning  
Selective Revision was proposed by Fermé and Hansson as a belief revision operation in which it is possible to accept only a part of the input information.  ...  In this paper, we extend Selective Revision to belief bases and also to logics not closed under negation.  ...  This work was partially supported by FCT -Fundação para a Ciência e a Tecnologia through projects UIDB/04674/2020 (CIMA), UID/CEC/04516/2019 (NOVA LINCS) and PTDC/CCI-COM/30990/2017.  ... 
doi:10.24963/kr.2020/70 dblp:conf/kr/ResinaGWFR20 fatcat:gvyx6eyvafhblapyp64lg5oryq

Revising beliefs on the basis of evidence

James P. Delgrande
2012 International Journal of Approximate Reasoning  
In revision, one may circumvent this fact by assuming that, in some fashion or other, an agent has elected to accept a formula φ, and the task of revision is to consistently incorporate φ into its belief  ...  An agent receives uncertain information as input, and its probabilities on (a finite set of) possible worlds are updated via Bayesian conditioning.  ...  The approach as given is clearly belief revision, since under reasonable conditions a formula will become accepted.  ... 
doi:10.1016/j.ijar.2011.09.008 fatcat:ly7hlkxcwvhgtlv77lrprn7r3e
« Previous Showing results 1 — 15 out of 246,618 results