混合动态领域中主要原因的语义
人工智能
2026-02-17 v1
摘要
关于观察效应的实际原因推理是理性研究的基本问题。自亚里士多德时代以来，这一问题就受到关注，近期还涌现出形式化的数学账户。我们生活在一个既有离散变化又有连续变化的世界，即混合世界。尽管在实际因果问题上已有广泛研究，但仅有少数近期研究关注连续变化的因果问题。在最新进展基础上，本文提出了两种在混合动作理论框架下定义的主要原因，称为混合时间情形计算。其中一种是基础性的，而另一种则通过贡献来形式化因果关系，该贡献可从反事实视角使用修改后的“但-for”测试进行验证。我们证明，这两种定义确实等价。随后，我们展示我们的因果定义具有一些直观可辨的性质。
引用
@article{arxiv.2602.14994,
title = {On the Semantics of Primary Cause in Hybrid Dynamic Domains},
author = {Shakil M. Khan and Asim Mehmood and Sandra Zilles},
journal= {arXiv preprint arXiv:2602.14994},
year = {2026}
}