Hybrid Temporal Situation Calculus

被引：0
|
作者：
Batusov, Vitaliy [1 ]
De Giacomo, Giuseppe [2 ]
Soutchanski, Mikhail [3 ]
机构：
[1] York Univ, Toronto, ON, Canada
[2] Sapienza Univ Roma, Rome, Italy
[3] Ryerson Univ, Toronto, ON, Canada
来源：
SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING | 2019年
关键词：
LANGUAGE; GOLOG; LOGIC;
D O I：
10.1145/3297280.3297578
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
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.
引用
收藏
页码：1162 / 1164
页数：3
相关论文
共 50 条
  • [1] Hybrid Temporal Situation Calculus
    Batusov, Vitaliy
    De Giacomo, Giuseppe
    Soutchanski, Mikhail
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, 11489 : 173 - 185
  • [2] Temporal Reasoning in Bounded Situation Calculus
    De Giacomo, Giuseppe
    [J]. 2015 22ND INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME), 2015, : 2 - 2
  • [3] Representing Flexible Temporal Behaviors in the Situation Calculus
    Finzi, Alberto
    Pirri, Fiora
    [J]. 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 436 - 441
  • [4] The situation and state calculus versus branching temporal logic
    Ramos, J
    Sernadas, A
    [J]. RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 293 - 309
  • [5] Reconciling the event calculus with the situation calculus
    Kowalski, R
    Sadri, F
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1997, 31 (1-3): : 39 - 58
  • [6] Reconciling the event calculus with the situation calculus
    Kowalski, Robert
    Sadri, Fariba
    [J]. Journal of Logic Programming, 31 (1-3):
  • [7] Inductive situation calculus
    Denecker, Marc
    Ternovska, Eugenia
    [J]. ARTIFICIAL INTELLIGENCE, 2007, 171 (5-6) : 332 - 360
  • [8] Probabilistic Situation Calculus
    Paulo Mateus
    António Pacheco
    Javier Pinto
    Amílcar Sernadas
    Cristina Sernadas
    [J]. Annals of Mathematics and Artificial Intelligence, 2001, 32 : 393 - 431
  • [9] Probabilistic situation calculus
    Mateus, P
    Pacheco, A
    Pinto, J
    Sernadas, A
    Sernadas, C
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2001, 32 (1-4) : 393 - 431
  • [10] Narratives in the situation calculus
    Miller, R.
    Shanahan, M.
    [J]. Journal of Logic and Computation, 1994, 4 (05)
12345