摘要：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 BDI inteligentes 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 propuestoes apropiadopara 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.
其他摘要：We present the analysis and some preliminaryspecifications to describe a multi-agent society to represent dynamic appointments under in Answer-Sets Programming, by means ofknowledge- base updates. This is a case study to represent a group of intelligent BDI agents with a common goal of scheduling a meeting, and we use an example to show how to distribute and change their specifications under unforeseen circumstances, as well as a simple protocol to realise a consensual meeting. We claim that the proposed framework is appropriate to have thebenefits from a strong foundation like Answer-Sets Programming, simplicity for its declarative logic programming, as well as practicality for existent implemented solvers, which can be used to implement a more-complete and useful system of agent societies.
关键词：Calendar; answer-sets programming; updates; logic programming; multi-agents system;Calendario; programación de answer-sets; actualizaciones; programación lógica; sis- temas multi-agente
