On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914238268702720 |
|---|---|
| author | Vašíček, Ondřej Arias, Joaquin Fiedor, Jan Gupta, Gopal Hall, Brendan Křena, Bohuslav Larson, Brian Vojnar, Tomáš |
| author_facet | Vašíček, Ondřej Arias, Joaquin Fiedor, Jan Gupta, Gopal Hall, Brendan Křena, Bohuslav Larson, Brian Vojnar, Tomáš |
| contents | It has been argued that Event Calculus (EC) is suitable for modeling high-level specifications of safety-critical cyber-physical systems. The primary advantage lies in the rather small semantic gap between EC models and requirements expressed in a semi-formal natural language. Moreover, its use of continuous time and variables avoids imprecision that stems from discretization. In the past, we have shown that a goal-directed ASP system can be used for implementing these EC models. However, precise representation of time as an infinitesimally divisible continuous quantity leads to Zeno-like behaviors and to non-termination in such a system. In this work, we model a number of well-known example problems from the literature to systematically study various natural EC modeling patterns that yield these Zeno-like behaviors, and propose ways to deal with them. Moreover, we also propose a technique to automatically detect all such cases. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_03852 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming Vašíček, Ondřej Arias, Joaquin Fiedor, Jan Gupta, Gopal Hall, Brendan Křena, Bohuslav Larson, Brian Vojnar, Tomáš Logic in Computer Science It has been argued that Event Calculus (EC) is suitable for modeling high-level specifications of safety-critical cyber-physical systems. The primary advantage lies in the rather small semantic gap between EC models and requirements expressed in a semi-formal natural language. Moreover, its use of continuous time and variables avoids imprecision that stems from discretization. In the past, we have shown that a goal-directed ASP system can be used for implementing these EC models. However, precise representation of time as an infinitesimally divisible continuous quantity leads to Zeno-like behaviors and to non-termination in such a system. In this work, we model a number of well-known example problems from the literature to systematically study various natural EC modeling patterns that yield these Zeno-like behaviors, and propose ways to deal with them. Moreover, we also propose a technique to automatically detect all such cases. |
| title | On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2601.03852 |