为事件结构添加优先级
计算机科学中的逻辑
2013-07-30 v1
摘要
事件结构（ESs）主要关注事件之间因果关系的表示，通常辅以捕捉冲突和禁用的其他事件关系。ESs 最显著的变体包括素事件结构（Prime ESs）、束事件结构（Bundle ESs）、稳定事件结构（Stable ESs）和对偶事件结构（Dual ESs），它们在因果模型和事件关系上有所不同。然而，某些应用领域需要事件之间进一步种类的关系。在此，我们添加了表达事件间优先级关系的可能性。我们在素事件结构、束事件结构、扩展束事件结构和对偶事件结构上示例化了我们的方法。技术上，我们以相同方式增强了这些变体。对于每种变体，我们随后研究了优先级与其他事件关系之间的干扰。由此，我们提取了冗余的优先级对（值得注意的是，它们因 ESs 类型的不同而有所差异），使我们能够对这些扩展进行比较。我们还表明，优先级极大地复杂化了 ESs 中偏序的定义。
引用
@article{arxiv.1307.7441,
title = {Adding Priority to Event Structures},
author = {Youssef Arbach and Kirstin Peters and Uwe Nestmann},
journal= {arXiv preprint arXiv:1307.7441},
year = {2013}
}
备注
In Proceedings EXPRESS/SOS 2013, arXiv:1307.6903