关于混合动态领域中主要原因语义的研究

对观察到的效果的实际原因进行推理是理性研究的基础。自亚里士多德以来，这一重要问题一直被研究，近年来才出现形式化的数学描述。我们生活在一个由于行动而产生变化的世界，这种变化可以是离散的也可以是连续的，即混合的。尽管对实际因果关系已有广泛研究，但很少有研究关注连续变化中的因果关系。本文基于最新进展，在混合行动理论框架（即混合时间情景演算）中提出了两种主要原因的定义。其中一种具有基础性，另一种通过贡献形式化因果关系，并可通过修改后的“如果没有”测试从反事实角度验证。我们证明这两种定义确实等价，并展示了这些因果定义具有一些直观合理的性质。