Josefina Sierra Santibáñez
We introduce grounded models and compare them to axiomatic models of mathematics. Grounded models are constructed by an autonomous agent connected to its environment through sensors and actuators using some conceptualization mechanisms described in (Steels 1999). They support a form of intuitive reasoning, which is based on conceptualization and it is argued to be the basis of axiomatization. This is illustrated with a simple example of spatial reasoning.