论事件计算中类赫子行为的研究：基于以目标为导向的答案集编程
计算机科学中的逻辑
2026-01-08 v1
摘要
有人认为，事件计算（Event Calculus, EC）适用于对安全关键型电子物理系统的高层次规范建模。其主要优势在于EC模型与以半形式化自然语言表达的需求之间的语义鸿沟相对较小。此外，其使用连续时间和变量可避免因离散化而产生的不精确性。以往我们已展示，目标导向的答案集编程系统可用于实现这些EC模型。然而，将时间精确地表示为可无限可分割的连续量会导致类赫子行为及系统非终止。在本工作中，我们对文献中已知的若干示例问题进行建模，以系统性地研究导致此类类赫子行为的各种自然EC建模模式，并提出应对方法。此外，我们还提出一种自动检测所有此类情况的技术。
引用
@article{arxiv.2601.03852,
title = {On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming},
author = {Ondřej Vašíček and Joaquin Arias and Jan Fiedor and Gopal Gupta and Brendan Hall and Bohuslav Křena and Brian Larson and Tomáš Vojnar},
journal= {arXiv preprint arXiv:2601.03852},
year = {2026}
}
备注
In Proceedings ICLP 2025, arXiv:2601.00047