Sistemas de planificación en dominios de múltiples agentesun marco formal para la coordinación de planes.

Resumen

El estudio que se presenta en la memoria constituye un marco formal de accion multi-agente entendida esta como un proceso de coordinacion desarrollado por sistemas compuesdtos de multiples entidades artificialmente inteligentes. En este sentido los conceptos de coherencia y coordinacion se introducen como ejes fundamentales en el analisis y descripcion de este tipo de sistemas. Su tratamiento motiva respectivamente los dos capitulos que constituyen el nucleo central de esta investigacion. Particularmente se interesa por el funcionamiento coordinativo de comunidades de agentes autonomos, no necesariamente cooperativos, donde cada agente posee su propio conocimiento, sus propias habilidades, su propia experiencia, sus propios objetivos, sus propios planes, y una capacidad de control no centralizada. Cada agente en ese entorno realiza su labor sin tener en cuenta a priori la labor de los demas. La interaccion vendra entonces motivada por la necesidad de compartir un mismo espacio fisico y temporal y un mismo conjunto de recursos. La apuesta formal la constituye un lenguaje de una logica multiespecie de segundo orden con identidad.