Phenesthe+ 对过去与未来的处理
计算机科学中的逻辑
2023-10-03 v1
摘要
在经典时序逻辑中，为同时包含瞬时事件与具有一定持续时间的重叠时序现象的性质编写时序逻辑公式十分困难。为解决此问题，我们在先前工作中引入了一种具有直观时序模态的新时序逻辑，专门用于表示瞬时与持续现象。我们还基于该逻辑提供了复杂事件处理系统 Phenesthe 的实现，并已应用于真实海上监视场景进行测试。在本工作中，我们为时序逻辑扩展两种额外模态，以增强其处理未来公式的表达能力。我们比较了该逻辑不同片段与线性时序逻辑和二元一阶逻辑的表达能力。此外，我们定义了使用我们语言的流处理器的正确性准则。最后但同样重要的是，我们对扩展实现 Phenesthe+ 的性能进行了实证评估，表明增强的表达能力并未显著影响效率。
引用
@article{arxiv.2310.00997,
title = {Handling of Past and Future with Phenesthe+},
author = {Manolis Pitsikalis and Alexei Lisitsa and Patrick Totzke},
journal= {arXiv preprint arXiv:2310.00997},
year = {2023}
}
备注
In Proceedings GandALF 2023, arXiv:2309.17318