Belief Revision (Computer Science)
MoL 2013 20: Non well founded semantics for belief revision
... In this chapter we present the static logic that will be at the base of the dynamic modalities for belief revision. First we present the class of sets that will constitute the semantics for the logics ...
71
PP 2006 11: Dynamic Logic of Belief Revision
... my belief in p, since the ¬p-world has ...for belief revision is ‘softer’ than a call for world elimination, introducing just a greater ‘preference’ for p-worlds, without totally abandoning the ...
27
Interpreted dependency networks : a general framework for belief revision
... The three levels of functionality can be broadly categorised into three levels of interpretation or semantic activity. The first level of functionality (Truth Maintenance) provides basic justification-based belief ...
303
MoL 2003 03: A Combined System for Update Logic and Belief Revision
... We assume that any situation s involving several agents can be rendered from the point of view of the agents’ knowledge and beliefs of the situation by a mathematical model M. We assume that this association is correct, ...
79
PP 2004 25: Minimal belief revision leads to backward induction
... second belief revision represents a larger belief change than the ...minimal belief revision principle, the second belief revision should thus be ...minimal belief ...
32
PP 2014 20: Truth Tracking by Belief Revision
... new belief set depends only on the previous belief set and the new piece of ...for revision of a theory T with a new piece of data ϕ [see 1]; but, in fact, this assumption poses severe problems for ...
34
Truth in fiction, impossible worlds, and belief revision
... Nichols and Stich [2003] give a cognitive model of pretence that resembles ideas from belief revision theory. Acts of pretence in imagination have a deliberate starting point: ‘an initial premiss or set of ...
17
Belief revision generalized: A joint characterization of Bayes's and Jeffrey's rules
... additional belief revision (upon learning w) departs from, and complicates, Ann’s true ...Je¤rey revision of her be- liefs over = fc; cg fe; eg, whereas Figure 4(a) takes her to perform a Bayesian ...
22
PP 2012 23: Two Logical Faces of Belief Revision
... to belief. Next, I give modal correspondence for logics of belief change in Section ...for belief revision live well together, and analyzing their connections actually reveals some interesting ...
24
Rank aggregation and belief revision dynamics
... In order to expand on our findings, we conducted a lab ex- periment where we tested actual belief revision in a group set- ting. Our findings suggest that when revising their answers, participants most ...
7
MoL 2016 26: Evidence Based Belief Revision for Non Omniscient Agents
... the Belief Revision literature on solving the contradiction involving old evidence and new evidence assumes that the agent is always aware of this contradiction (because of his logical ...
57
Simple hyperintensional belief revision
... hyperintensional belief revi- sion operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief ...
17
MoL 2013 13: Topological Models for Belief and Belief Revision
... and belief, respectively, as only modalities and prove that while the complete logic of knowledge in this setting is ...of belief is KD45 ...dynamic belief revision, in particular, for ...
77
MoL 2016 07: Truth in Fiction via Non Standard Belief Revision
... In this chapter, we extend Lewis’s Analysis 2 to be able to account for bla- tantly inconsistent fiction. We do this by treating engagement with fiction as a process structurally analogous to belief ...
82
The Algebra of Multi Agent Dynamic Belief Revision
... dynamic revision system, which is based on the epistemic systems as algebraic models of Dynamic Epistemic Logic; we also discuss the connection between our dynamic revision operator, which general- izes the ...
18
MoL 2007 01: A Revised Version: Belief Revision and Epistemic Acts
... is relevant to the establishment of a model of the kind that would fulfill the wishes of a doxastic version of Baltag and Moss’ representation thesis (§2.3.2). If I am disinclined to believe a proposition p, and you, ...
106
Belief merging and revision under social influence: An explanation for the volatility clustering puzzle
... that belief merging cannot be separated from belief revision since investors in the market have a direct stake in what others think and clearly find it optimal to revise their beliefs in the light of ...
23
Compositional Belief Update
... between revision and ...for belief revision (Borgida 1985; Dalal 1988; Satoh 1988) and update (Forbus 1989; Weber 1986; Winslett ...for revision or ...
6
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
... AGM’s belief revision is one of the main paradigms in the study of belief change ...context, belief bases (prioritised bases) have been largely used to specify the agent’s belief state ...
8
Provider Manual Revision History REVISION HISTORY
... A participating Primary Care Provider (PCP) may not seek or request to terminate their relationship with a Member, or transfer a Member to another Provider of care based upon the Membe[r] ...
137