事件结构中的动态因果关系
摘要：事件结构（ES）解决了个别事件之间直接关系的表示问题，通常捕捉因果关系和冲突的概念。到目前为止，这些关系一直是静态的，即在系统运行过程中不能改变。因此，普通的ES只能对系统进行静态建模。我们通过允许其他事件的发生改变一些事件之间的因果依赖关系，使因果关系变得动态起来。我们首先对可能导致因果依赖关系被移除的事件进行建模和研究，然后考虑增加因果依赖关系的事件，最后将这两种方法结合在一起，形成所谓的动态因果ES。对于这三种新定义的ES类型，我们研究它们与众所周知的Prime ES、Dual ES、Extended Bundle ES和ES for Resolvable Conflicts在表达能力上的比较。有趣的是，动态因果ES包含了扩展束ES和双重ES，但与解决冲突的ES不可比较。
作者：Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann
论文ID：1801.02857
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22