In:
Acta Universitaria, University of Guanajuato, Vol. 22 ( 2012-03-01), p. 48-54
Abstract:
We present the analysis and some preliminary specifications to describe a multi-agent society to represent dynamic appointments under in Answer-Sets Programming, by means of knowledge-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 the benefits 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.
Type of Medium:
Online Resource
ISSN:
2007-9621
,
0188-6266
DOI:
10.15174/au.2012.341
Language:
Unknown
Publisher:
University of Guanajuato
Publication Date:
2012
detail.hit.zdb_id:
2223646-6
SSG:
7,36
Permalink