Switching tasks and flexible reasoning in the Situation Calculus


  • Alberto Finzi
  • Fiora Pirri Dipartimento Informatica e Sistemistica "Antonio Ruberti"


Cognitive robotics, executive control, cognitive control, switching tasks, adaptive and flexible behaviours, Situation Calculus, action perception and change, temporal planning.


In this paper we present a new framework for modelling switching tasks and adaptive, flexible behaviours for cognitive robots. The framework is constructed on a suitable extension of the Situation Calculus, the Temporal Flexible Situation Calculus (TFSC), accommodating Allen temporal intervals, multiple timelines and concurrent situations. We introduce a constructive method to define pattern rules for temporal constraint, in a language of macros. The language of macros intermediates between Situation Calculus formulae and temporal constraint Networks. The programming language for the TFSC is TFGolog, a new Golog interpreter in the Golog family languages, that models concurrent plans with flexible and adaptive behaviours with switching modes. Finally, we show an implementation of a cognitive robot performing di erent tasks while attentively exploring a rescue environment




How to Cite

Finzi, A., & Pirri, F. (2010). Switching tasks and flexible reasoning in the Situation Calculus. Department of Computer and System Sciences Antonio Ruberti Technical Reports, 2(7). Retrieved from https://rosa.uniroma1.it/rosa00/dis_technical_reports/article/view/8848