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 ,
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 ,
« Scientific Discovery of itself by a robot assisted by an human », ECAP 09, 2009. ,
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
Robot anthropology : Robots as hermeneutic devices for defining human », ECAP 09, J. Vallverdu, 2009. ,
« Intention is Choice with, Commitment », Artificial Intelligence, vol.42, pp.2-3, 1990. ,
Introduction à la lecture de Lacan : l'inconscient structuré comme un langage, 2002. ,
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
Du corps à la pensée, Le fil rouge, PUF, 1999. ,
« Emerging conciousness and shizophrenic byproducts in Humanoid Robots », ECAP 09, J. Vallverdu, 2009. ,
Le fantôme dans la machine, Architecture robots autonomes, 2005. ,
« Generalizing GraphPlan by Formulating Planning as a CSP, Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003), pp.954-960, 2003. ,
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. ,
La société de l'esprit, Interédition, 1988. ,
Networks of constraints: Fundamental properties and applications to picture processing, Information Sciences, vol.7, 1974. ,
DOI : 10.1016/0020-0255(74)90008-5
Qu'est-ce que penser, 1992. ,
Contributions à l'apprentissage automatique de réseau de contraintes et à la constitution automatique de comportements sensorimoteurs en robotique, 2008. ,
Data mining, ACM SIGMOD Record, vol.31, issue.1, 2005. ,
DOI : 10.1145/507338.507355