RESUMEN
En el contexto de un sistema multi-agente, se especificarán e
implementarán sistemas computacionales de razonamiento con una máquina
de inferencia basada en argumentación. La arquitectura de los agentes
autónomos comprende un sistema de representación de conocimiento y
razonamiento implementado como un sistema de programación lógica
rebatible. Las técnicas de argumentación brindarán el modelo de
razonamiento de sentido común, mientras que el componente de
mantenimiento del conocimiento utilizará revisión no-priorizada. Se
desarrollarán las herramientas necesarias para la creación de la
infraestructura de soporte cognitivo capaces de explotar repositorios
masivos de información tales como la Web y las bases de datos
federadas.