@inproceedings{AlbCiaGav03-ceemas-IC,
author = {Marco Alberti and Anna Ciampolini and Marco Gavanelli
and Evelina Lamma and Paola Mello and Paolo Torroni},
title = {A Social {ACL} Semantics by Deontic Constraints},
booktitle = {Proceedings of the 3rd International/Central and Eastern European Conference on Multi-Agent Systems},
editor = {V.Marik and J.Muller and M.Pechoucek},
year = 2003,
address = {Prague, Czech Republic},
month = {June},
series = {Lecture Notes in Artificial Intelligence},
number = 2691,
pages = {204-213},
issn = {0302-9743},
isbn = {3-540-40450-3},
abstract = { In most proposals for multi-agent systems, an Agent Communication
Language (ACL) is the formalism designed to express knowledge
exchange among agents. However, a universally accepted standard for
ACLs is still missing. Among the different approaches to the
definition of ACL semantics, the \textit{social} approach seems the
most appropriate to express semantics of communication in open
societies of autonomous and heterogeneous agents.
In this paper we propose a formalism (\textit{deontic constraints})
to express social ACL semantics, which can be grounded on a
computational logic framework, thus allowing automatic verification
of compliance by means of appropriate proof procedures. We also show
how several common communication performatives can be defined by
means of deontic constraints.}
}
@inproceedings{AlbGavLam03-AIIA-IC,
author = {Marco Alberti and Marco Gavanelli and Evelina Lamma and Paola Mello and Paolo Torroni},
title = {An Abductive Interpretation for Open Agent Societies},
booktitle = {AI*IA 2003: Advances in Artificial Intelligence: 8th Congress of the Italian Association for Artificial Intelligence Pisa, Italy, September 23-26, 2003 Proceedings},
year = {2003},
volume = {2829},
series = {Lecture Notes in Artificial Intelligence},
address = {Pisa, Italy},
month = sep # { 23-26},
publisher = {Springer Verlag},
pages = {287-299},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2829&spage=287},
pdf = {http://springerlink.metapress.com/media/3pvxje0ttl7xrg84qwtm/contributions/l/d/8/p/ld8p2ja8d94wkv6m_html/BodyRef/PDF/558_10956106_Chapter_24.pdf},
editor = {A. Cappelli and F. Turini},
issn = {0302-9743},
isbn = {3-540-20119-X},
abstract = {The focus of this work is on the interactions among (possibly
heterogeneous) agents that form an open society, and on the
definition of a computational logic-based architecture for agent
interaction. We propose a model where the society defines the
allowed interaction protocols, which determine the ``socially''
allowed agent interaction patterns. The semantics of protocols can
be defined by means of social integrity constraints. The main
advantages of this approach are in the design of societies of
agents, and in the possibility to detect undesirable behavior. In
the paper, we present the model for societies ruled by protocols
expressed as integrity constraints, and its declarative semantics. A
sketch of the operational counterpart is also given.}
}
This file was generated by bibtex2html 1.98.