. Sur-le, le système présenté est susceptible d'une définition formelle en théorie des catégories Une formalisation catégorielle sert à établir des correspondances avec d'autres formalisations ; ainsi a été montré la correspondance entre les différents formalismes du calcul en informatique théorique

. Dans-cet-État-d-'esprit, il est possible de rechercher quelle logique intuitionniste correspond à ce modèle Chaque système à ses propres modalités : il y aurait des modalités permettant de gérer le temps (système de l'action), le risque (système de la décision), la génération d'hypothèses

E. Bourreau, E. Peralta, and J. Sallantin, « Scientific Discovery of itself by a robot assisted by an human », ECAP 09, 2009.

R. A. Brooks, A robust layered control system for a mobile robot, IEEE Journal on Robotics and Automation, vol.2, issue.1, 1985.
DOI : 10.1109/JRA.1986.1087032

M. Coeeckelgergh, Robot anthropology : Robots as hermeneutic devices for defining human », ECAP 09, J. Vallverdu, 2009.

P. R. Cohen and H. J. Levesque, « Intention is Choice with, Commitment », Artificial Intelligence, vol.42, pp.2-3, 1990.

J. Dor, Introduction à la lecture de Lacan : l'inconscient structuré comme un langage, 2002.

R. Fikes, N. J. Nilsson, and «. Strips, Strips: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, vol.2, issue.3-4, pp.608-620, 1971.
DOI : 10.1016/0004-3702(71)90010-5

B. Golse, Du corps à la pensée, Le fil rouge, PUF, 1999.

K. Ishii, « Emerging conciousness and shizophrenic byproducts in Humanoid Robots », ECAP 09, J. Vallverdu, 2009.

L. Lipoubou, Le fantôme dans la machine, Architecture robots autonomes, 2005.

A. Lopez and F. Bacchus, « Generalizing GraphPlan by Formulating Planning as a CSP, Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003), pp.954-960, 2003.

A. Mackworth, Reprinted in Readings in Artificial Intelligence, Consistency in Networks of Relations Tioga Publ as one of the fifty most cited papers in the history of Artificial Intelligence.], pp.99-118, 1977.

M. Minsky, La société de l'esprit, Interédition, 1988.

U. Montanari, Networks of constraints: Fundamental properties and applications to picture processing, Information Sciences, vol.7, 1974.
DOI : 10.1016/0020-0255(74)90008-5

D. Parrochia, Qu'est-ce que penser, 1992.

M. Paulin, Contributions à l'apprentissage automatique de réseau de contraintes et à la constitution automatique de comportements sensorimoteurs en robotique, 2008.

I. H. Witten and E. Frank, Data mining, ACM SIGMOD Record, vol.31, issue.1, 2005.
DOI : 10.1145/507338.507355