Doxastic logic based on causal structures
摘要
Belief revision and causality play an important role in many applications, typically, in the study of database update mechanisms and data dependence. New contributions on causal reasoning are continuously added to the pioneering works by Pearl, Halpern and others. Though there is a long tradition of modeling belief revision in philosophical logic, the entanglement between belief revision and causal reasoning has not yet been fully studied from a logical view. In this paper, we propose a new formal logic for doxastic causal reasoning. With examples, we illustrate that our framework explains rational belief revision based on causal reasoning. We also show that our framework can be used to account for conditionals in many examples which are problematic for the traditional causal modelling approach. We further study the general properties of the logic and its relations with causal Bayesian networks. A complete axiomatization, as well as a decidability result, will be given. In addition, we believe our work will shed light on understanding the relation between qualitative and quantitative approaches toward (causal) dependence in general.