Axiomatizing Causal Reasoning
Axiomatizing Causal Reasoning
复制标题
因果推理公理化
DOI：
10.1613/jair.648
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
Joseph Y. Halpern
中科院分区：
文献类型：
--
作者：
Joseph Y. Halpern
因果模型定义的一组方程，如珍珠定义，公理化在这里。公理化被提供给三个相继更一般的因果模型类：（1）递归理论类（那些没有反馈的），（2）方程的解是唯一的理论类，（3）任意理论（方程可能没有解，如果有，它们不一定是唯一的）。它表明，原因的因果关系，在最一般的第三类，我们必须扩展所使用的语言加勒和珍珠。此外，所有的语言和类的模型考虑的决策过程的复杂性进行检查。
Causal models defined in terms of a collection of equations, as defined by Pearl, are axiomatized here. Axiomatizations are provided for three successively more general classes of causal models: (1) the class of recursive theories (those without feedback), (2) the class of theories where the solutions to the equations are unique, (3) arbitrary theories (where the equations may not have solutions and, if they do, they are not necessarily unique). It is shown that to reason about causality in the most general third class, we must extend the language used by Galles and Pearl. In addition, the complexity of the decision procedures is examined for all the languages and classes of models considered.