scholarly journals Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach

Author(s):  
Diego Calvanese ◽  
Giuseppe De Giacomo ◽  
Domenico Lembo ◽  
Maurizio Lenzerini ◽  
Riccardo Rosati
2008 ◽  
Vol 33 (4-5) ◽  
pp. 360-384 ◽  
Author(s):  
Diego Calvanese ◽  
Giuseppe De Giacomo ◽  
Domenico Lembo ◽  
Maurizio Lenzerini ◽  
Riccardo Rosati

2011 ◽  
Vol 4 (4) ◽  
pp. 536-559 ◽  
Author(s):  
BARTELD KOOI ◽  
BRYAN RENNE

We presentArrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing “arrow updates” of Arrow Update Logic can be transformed into equivalent belief-changing “action models” from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action models. Further, since many examples of belief change are naturally thought of from Arrow Update Logic’s perspective of eliminating access to epistemic possibilities, Arrow Update Logic is a valuable addition to the repertoire of logics of information change. In addition to proving basic results about Arrow Update Logic, we introduce a new notion of common knowledge that generalizes both ordinary common knowledge and the “relativized” common knowledge familiar from the Dynamic Epistemic Logic literature.


Sign in / Sign up

Export Citation Format

Share Document