On Zeno-like Behaviors in the Event Calculus with Goal-directed
Answer Set Programming

D 2025

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming

VASICEK, Ondrej; Joaquin ARIAS; Jan FIEDOR; Gopal GUPTA; Brendan HALL et al.

Základní údaje

Originální název

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming

Autoři

VASICEK, Ondrej; Joaquin ARIAS; Jan FIEDOR; Gopal GUPTA; Brendan HALL; Bohuslav KRENA; Brian LARSON a Tomáš VOJNAR

Vydání

International, Proceedings 41st International Conference on Logic Programming – ICLP'25, EPTCS 439, od s. 496-510, 15 s. 2025

Nakladatel

Open Publishing Association

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10200 1.2 Computer and information sciences

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Odkazy

Extended version of the paper available at arXiv.

Označené pro přenos do RIV

Ano

Organizační jednotka

Fakulta informatiky

ISSN

Klíčová slova anglicky

safety critical systems; reactive systems; real-time systems; hybrid systems; specification; verification; event calculus; answer set programming; s(CASP); Zeno behaviour

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 1. 4. 2026 11:18, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

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.

Citovat

VASICEK, Ondrej; Joaquin ARIAS; Jan FIEDOR; Gopal GUPTA; Brendan HALL; Bohuslav KRENA; Brian LARSON a Tomáš VOJNAR. On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming. Online. In Proceedings 41st International Conference on Logic Programming – ICLP'25, EPTCS 439. International: Open Publishing Association, 2025, s. 496-510. ISSN 2075-2180. Dostupné z: https://doi.org/10.4204/EPTCS.439.34.

@inproceedings{2562798,
   author = {Vasicek, Ondrej and Arias, Joaquin and Fiedor, Jan and Gupta, Gopal and Hall, Brendan and Krena, Bohuslav and Larson, Brian and Vojnar, Tomáš},
   address = {International},
   booktitle = {Proceedings 41st International Conference on Logic Programming – ICLP'25, EPTCS 439},
   doi = {https://doi.org/10.4204/EPTCS.439.34},
   keywords = {safety critical systems; reactive systems; real-time systems; hybrid systems; specification; verification; event calculus; answer set programming; s(CASP); Zeno behaviour},
   howpublished = {elektronická verze "online"},
   language = {eng},
   location = {International},
   pages = {496-510},
   publisher = {Open Publishing Association},
   title = {On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming},
   url = {https://arxiv.org/abs/2601.03852v1},
   year = {2025}
}

TY  - CONF
ID  - 2562798
AU  - Vasicek, Ondrej - Arias, Joaquin - Fiedor, Jan - Gupta, Gopal - Hall, Brendan - Krena, Bohuslav - Larson, Brian - Vojnar, Tomáš
PY  - 2025
TI  - On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
PB  - Open Publishing Association
CY  - International
KW  - safety critical systems
KW  - reactive systems
KW  - real-time systems
KW  - hybrid systems
KW  - specification
KW  - verification
KW  - event calculus
KW  - answer set programming
KW  - s(CASP)
KW  - Zeno behaviour
UR  - https://arxiv.org/abs/2601.03852v1
N2  - 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.
ER  -

VASICEK, Ondrej; Joaquin ARIAS; Jan FIEDOR; Gopal GUPTA; Brendan HALL; Bohuslav KRENA; Brian LARSON a Tomáš VOJNAR. On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming. Online. In \textit{Proceedings 41st International Conference on Logic Programming – ICLP'25, EPTCS 439}. International: Open Publishing Association, 2025, s.~496-510. ISSN~2075-2180. Dostupné z: https://doi.org/10.4204/EPTCS.439.34.

Přehled o publikaci