事件结构中的依赖表示
摘要：事件结构在计算过程中可以明确地改变因果关系已经引起了关注。在这种类型的事件结构中，事件的因果关系的变化是由可能增加或删除依赖关系的修饰器触发的，从而使事件发生具有上下文性。然而，焦点始终是事件的依赖关系。在本文中，我们提倡修饰器所确定的上下文起着重要的作用，并且上下文本身不仅决定了原因，还决定了什么是因果关系。然后，使用修饰器来理解什么时候可以将事件（或一组事件）添加到配置中，以及一组模型依赖事件，这将发挥较不重要的作用。我们展示了文献中提出的大多数事件结构概念可以转化为这种新类型的事件结构，保留了主要概念，即配置的概念。
作者：G. Michele Pinna
论文ID：1910.02521
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22