paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Representing Dependencies in Event Structures

事件结构中依赖关系的表示
LMCS vol.Volume 16, Issue 22020匹配度 2/10 · 论文研究事件结构的并发语义与配置统一,属于形式语义/并发理论,未涉及静态分析、LLM/Agent、浮点或贝叶斯程序分析等用户核心方向。虽与形式化方法有理论关联,但距离画像中的 PL↔AI 交叉与具体程序分析问题较远。引用 4 inbox
G. Michele Pinna
dblp: 2026-09-10crossref: 2026-09-10arxiv: 2026-09-10

AI 速览

一句话:提出以修饰符决定的上下文为核心的事件结构,通过上下文与依赖事件集重新定义配置,并统一多数已有事件结构模型。

近期出现一类事件结构,其因果关系可在计算过程中显式改变:修饰符通过增删依赖,使事件的发生具有上下文相关性,但已有工作仍以事件的依赖为中心。本文主张由修饰符确定的上下文才是核心,上下文不仅决定事件的原因,也决定应采用何种因果关系。修饰符因而被用于判断一个事件或事件集合何时能加入配置,同时用事件集合建模依赖,但依赖退居次要地位。作者证明,文献中多数事件结构概念都可翻译为这种新事件结构,并保持配置这一核心概念不变。

问题
现有可动态改变因果关系的事件结构仍以事件依赖为中心,难以刻画上下文对因果性和事件可加入配置条件的决定作用。
方法
提出以修饰符确定的上下文为核心的事件结构,用上下文及依赖事件集合定义事件或事件集加入配置的条件,并将多种已有事件结构翻译到该框架。
评估
通过将文献中多数事件结构概念翻译为新框架,并验证配置概念得以保持,说明该框架的表达能力与兼容性。
原文摘要(Abstract)

Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the causes of an event are triggered by modifiers that may add or remove dependencies, thus making the happening of an event contextual. Still the focus is always on the dependencies of the event. In this paper we promote the idea that the context determined by the modifiers plays a major role, and the context itself determines not only the causes but also what causality should be. Modifiers are then used to understand when an event (or a set of events) can be added to a configuration, together with a set of events modeling dependencies, which will play a less important role. We show that most of the notions of Event Structure presented in literature can be translated into this new kind of event structure, preserving the main notion, namely the one of configuration.

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@article{Pinna19,
  title = {Representing Dependencies in Event Structures},
  author = {G. Michele Pinna},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 16, Issue 2},
  year = {2020},
  doi = {10.23638/lmcs-16(2:3)2020}
}