Towards a Calendar Agent Society with Intelligent Agents in ASP-Updates

Abstract

Se presenta el análisis y algunas especificaciones para describir una sociedad multi-agente que representa agendas dinámicas en Answer Sets Programming, por medio de actualización de bases de conocimiento. Se trata de un estudio de caso para representar un grupo de agentes BD Iinteligentes con el fin común de programar una reunión, y se utiliza un ejemplo para mostrar la manera de distribuir y cambiar sus especificaciones bajo circunstancias imprevistas, así como un protocolo sencillo para realizar una reunión consensual. Sostenemos que el marco propuesto es apropiado para tener los beneficios de una base sólida como Answer Sets Programming, de la simplicidad de su programación lógica declarativa, así como de la practicidad para resolvedores existentes implementados, que pueden ser utilizados para un sistema más completo y útil de sociedades de agentes.