Hybrid temporal situation calculus

Batusov, Vitaliy; Giacomo, Giuseppe De; Soutchanski, Mikhail

doi:10.1145/3297280.3297578

Cited by 1 publication

(2 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We instead express our domains in the language of Hybrid Temporal Situation Calculus (HTSC ) developed by Batusov et. al [2]. The reason for this is that Hybrid Temporal Situation Calculus is written in First-Order-Logic allowing it to capture richer semantics and allows us to use the previously developed theory to extend the capabilities of our planner, although this is not explored in this thesis.…”

Section: Methodsmentioning

confidence: 99%

See 1 more Smart Citation

Heuristic Planning for Continuous Systems in Hybrid Temporal Situation Calculus

Mathew

2024

Preprint

View full text Add to dashboard Cite

<p>Given a description of domain and its dynamics, temporal numeric planning attempts to find a sequence of actions that satisfies a given set of constraints for a dynamical system. Current planners operate on grounded transition systems and discretized representations of the domain which lead to poor scalability. Furthermore, given the problem’s difficulty, most modern planners restrict their capabilities to a subset of hybrid domains, e.g. support for only polynomial evolution of numeric state variables and linear action conditions. To address these concerns, we present a lifted planner, NEAT (Non-linEAr Temporal) Planner, that utilizes a logical description of the domain described in Hybrid Temporal Situation Calculus. Furthermore, we develop AMPLEX, an interface to AMPL and several non-linear programming solvers, which allows us handle several non-linear functions. We also present a novel non-linear programming based heuristic to improve scalability. Lastly, we perform a detailed comparison between current state-of-the-art solvers and our planner.</p>

show abstract

Section: Methodsmentioning

confidence: 99%

“…Hybrid Temporal Situation Calculus (HTSC ), developed by Batusov et. al, is an extension of Reiter's Situation Calculus that can be used for representing and reasoning about continuous temporal changes [2]. Since it is an extension of SC , it shares both the underlying constructs, i.e.…”

Section: Hybrid Temporal Situation Calculusmentioning

confidence: 99%

Heuristic Planning for Continuous Systems in Hybrid Temporal Situation Calculus

Mathew

2024

Preprint

View full text Add to dashboard Cite

show abstract

Hybrid temporal situation calculus

Abstract: We extend Reiter's temporal situation calculus by introducing continuous change due to passage of time in addition to discrete change due to actions. We define regression for hybrid action theories and show that hybrid action theories can capture hybrid automata.

Cited by 1 publication

References 14 publications

Heuristic Planning for Continuous Systems in Hybrid Temporal Situation Calculus

Heuristic Planning for Continuous Systems in Hybrid Temporal Situation Calculus

Contact Info

Product

Resources

About