2021: Racionalidad Computacional

En este texto presento una investigación acerca del pensamiento y la con- ducta racional desde la perspectiva de las máquinas computacionales y la Inte- ligencia Artificial. La inspiración inicial provino de mis investigaciones acerca de la formalización de las representaciones diagramáticas y del descubrimiento y prueba de teoremas basados en diagramas, como el Teorema de Pitágoras, donde el razonamiento conceptual se entrelaza estrechamente con la percepción. Agra- dezco a John Lee, Ewan Klein, Henk Zeevat, Aart Bijl, Rafael Morales, Gaby Garza, B. Chandrasekaran e Ivan Bratko por acompañarme en el desarrollo de estas ideas como interlocutores, colegas y amigos.

La reflexión se enriqueció con la experiencia del Proyecto Golem para la construcción de robots de servicio, desarrollado en el IIMAS-UNAM. Agradez- co a Arturo Rodríguez, Noé Hernández, Iván Torres, Mauricio Reyes y Ricardo Cruz por la implementación del ciclo de inferencia de la vida cotidiana y de la base de conocimiento no-monotónica en el robot Golem-III que se presentan en los capítulos 3 y 4; y a los demás colegas y estudiantes que participaron en este proyecto a lo largo de los años; así como el apoyo continuo del CONACyT y del PAPIIT-UNAM.