Personal tools
You are here: Home Publications The well-designed logical robot: Learning and experience from observations to 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.


F. Pirri (2011)

The well-designed logical robot: Learning and experience from observations to the Situation Calculus

Artificial Intelligence, 175(1):378-415.

The well-designed logical robot paradigmatically represents, in the words of McCarthy, the abilities that a robot-child should have to reveal the structure of reality within a “language of thought”. In this paper we partially support McCarthy's hypothesis by showing that early perception can trigger an inference process leading to the “language of thought”. We show this by defining a systematic transformation of structures of different formal languages sharing the same signature kernel for actions and states. Starting from early vision, visual features are encoded by descriptors mapping the space of features into the space of actions. The densities estimated in this space form the observation layer of a hidden states model labelling the identified actions as observations and the states as action preconditions and effects. The learned parameters are used to specify the probability space of a first-order probability model. Finally we show how to transform the probability model into a model of the Situation Calculus in which the learning phase has been reified into axioms for preconditions and effects of actions and, of course, these axioms are expressed in the language of thought. This shows, albeit partially, that there is an underlying structure of perception that can be brought into a logical language.
Document Actions