RESUMEN
El objetivo de esta investigación es el estudio, extensión y
combinación de dos formalismos: la programación en lógica paralela y
la actualización de bases de datos deductivas. Los resultados
obtenidos de combinar estas extensiones serán utilizados para su
aplicación en el campo de agentes inteligentes y sistemas
multi-agente. Los avances en programación en lógica paralela serán
utilizados para facilitar el diseño y construcción de agentes
inteligentes que participan de un sistema multi-agente. El desarrollo
de técnicas de actualización de bases de conocimiento distribuidas, se
utilizará para mejorar el mantenimiento y la consulta de las bases de
conocimiento de los agentes.