因果性及因果关系的图示建模

有学者指出，因果与效应的概念是科学与工程所围绕研究的一个对象。近来，在软件工程中，图示因果推断方法（如 Pearl 的模型）已获得普及（例如，分析软件需求开发中变更的原因与结果）。本文关注因果关系的图示（图形）模型。具体而言，我们尝试在此语境下使用事物机（TMs）的概念语言作为工具。这将有益于需求工程中因果关系方面的工作，增进我们对 TM 建模的理解，并有助于因果性这一哲学概念的研究。在系统描述中指明因果性即是对系统行为施加约束，从而排除某些可能的事件时序。因果性概念已基于以图示与代数形式表达因果问题的工具得到研究。因果模型运用图示模型、结构方程以及反事实与干预逻辑。图示模型充当一种表示我们对世界所知的语言。本文的研究方法聚焦于将因果图转换为 TM 模型，并对比这两类表示。结果表明，TM 对因果性的刻画更为完整，因而可为因果图提供基础。