因果影响与函数式依赖:从逻辑的视角分析

摘要

近年来,关于如何刻画系统中变量间的相互依赖和相互影响在计算机以及哲学研究中激起了广泛讨论.其中非常经典的工作包括Pearl、Gales以及Halpern等逻辑学家和计算机科学家提出的因果模型和基于因果模型的因果逻辑.而最新Baltag与van Benthem的工作又提出了通过函数式依赖这一概念分析变量间影响的模型.本文将介绍并探讨这两种路径之间的关系,并且提出,在对Halpern等人的因果模型和逻辑做认知方面的扩充之后,我们能在这两种路径中找到更多共通之处.