Personal tools
You are here: Home Publications Switching tasks and flexible reasoning in the Situation Calculus
About NIFTi
NIFTi is about human-robot cooperation. About teams of robots and humans doing tasks together, interacting together to try and reach a shared goal. NIFTi looks at how the robot could bear the human in mind. Literally. When determining what to do or say next in human-robot interaction; when, and how. NIFTi puts the human factor into cognitive robots, and human-robot team interaction in particular.   Each year, NIFTi evaluates its systems together with several USAR organizations. Rescue personnel teams up with NIFTi robots to carry out realistic missions, in real-life training areas. 

This site uses Google Analytics to record statistics on site visits - see Legal information.


A. Finzi and F. Pirri (2010)

Switching tasks and flexible reasoning in the Situation Calculus

Dipartimento di informatica e Sistemistica Sapienza Universita di Roma, DIS report(7).

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 Tem- poral 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 different tasks while attentively exploring a rescue environment.
Document Actions