Intelligent Agents III: Agent Theories, Architectures, and Languages

Mientras que 'Intelligent Agents III' se enfoca en el diseño de agentes inteligentes desde una perspectiva de IA, 'Computation and Cognition' aborda las bases teóricas de cómo los sistemas computacionales pueden modelar procesos cognitivos, ofreciendo una visión más fundamental y menos centrada en la implementación, pero esencial para entender la inteligencia artificial como imitación de la cognición.

Este libro se desvía del enfoque técnico de los agentes inteligentes para abordar la moralidad, un aspecto crucial y complejo para cualquier sistema autónomo avanzado. Aunque parece distante, la cuestión de infundir principios éticos en agentes (lo que 'Intelligent Agents III' no aborda directamente) es un desafío fundamental en IA moderna, ofreciendo una perspectiva evolutiva y neurocientífica que complementa las arquitecturas de agentes.

Mientras que 'Intelligent Agents III' se sumerge en cómo construir agentes capaces de razonar y actuar, Hofstadter investiga la naturaleza profunda de la inteligencia, la conciencia y la autorreferencia que subyacen a tales capacidades. Ambos libros, aunque con estilos muy diferentes, abordan las complejidades inherentes a la creación o comprensión de entidades inteligentes desde una perspectiva de sistemas formales y lógicos.

'Intelligent Agents III' presenta el estado del arte y las arquitecturas de agentes en la década de los 90. 'Steps Toward Artificial Intelligence' es el texto fundacional que articuló los problemas filosóficos y técnicos que la IA busca resolver. La conexión es profunda porque Minsky aborda las preguntas fundamentales de cómo la inteligencia puede ser emulada, que subyacen a las teorías y arquitecturas discutidas por Sterling.

Mientras 'Intelligent Agents III' es un compendio de teorías, este libro ofrece un enfoque geopolítico y cultural menos común en la literatura occidental sobre IA, mostrando cómo el desarrollo de la computación (y por extensión, los agentes inteligentes) no es un fenómeno homogéneo ni exclusivamente occidental, destacando las contribuciones y peculiaridades de otras regiones.

El libro de Sterling se centra en las bases para la construcción de agentes, incluyendo su razonamiento. Este volumen explora un tipo específico de lógica de razonamiento (no monótono) esencial para agentes adaptativos, un tema técnicamente profundo pero que a menudo se pasa por alto en las discusiones más generales sobre IA. Su enfoque en el aprendizaje automático en este contexto es una conexión directa, pero su origen de conferencias de Europa del Este lo hace menos visible en la literatura anglosajona principal.

Al igual que 'Intelligent Agents III' proporciona arquitecturas y teorías estructuradas para el diseño de agentes, 'Formal Methods for Autonomous Systems' ofrece un marco y una metodología formal para la especificación y verificación estructural de esos mismos sistemas. Ambos libros comparten una estructura de presentación de modelos lógicos y computacionales para construir sistemas inteligentes, pero Börger se enfoca en la formalidad y verificación que subyacen a esas arquitecturas.

Mientras que 'Intelligent Agents III' se ocupa de las teorías y arquitecturas para agentes individuales y su interacción, este libro se centra en la estructura formal necesaria para asegurar el comportamiento correcto de múltiples agentes que interactúan. Ambos comparten la necesidad de un marco estructurado y lógico para comprender y construir sistemas de agentes, con de Boer enfocándose en la compleja infraestructura de la verificación formal que sustenta el diseño de Sterling.