<p>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.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Doxastic logic based on causal structures

  • Kaibo Xie,
  • Qingyu He

摘要

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.