Journal Article10.1111/J.1467-8640.2009.00333.X
Communication languages for multiagent systems
Mario Verdicchio,Marco Colombetti +1 more
- 01 May 2009
- Vol. 25, Iss: 2, pp 136-159
15
TL;DR: This work provides a semantics for a significant set of acts based on the concept of commitment, and proves that the approach tackles some issues that have not been dealt with in an effective way yet and that may have hindered the rise of an universally accepted ACL standard.
read more
Abstract: Agent Communication Languages (ACLs) have recently acquired a primary role in open multiagent systems, which need a standard communication framework shared by all interacting heterogeneous agents According to the most important ACL standard proposals so far, agents are supposed to carry out the communication process by performing actions of a specific type, namely, communicative acts, whose semantics is defined in terms of the agents' mental states Although following the mainstream guidelines inspired by the Speech Act Theory, our work illustrates an alternative model of agent communication, by shifting the focus from agents' mental states to their social state Taking an existing communicative act library, we provide a semantics for a significant set of acts based on the concept of commitment, and prove that our approach tackles some issues that have not been dealt with in an effective way yet and that may have hindered the rise of an universally accepted ACL standard
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
How to Do Things With Words
Csr Young
- 01 Jan 2009
TL;DR: A semantic transition tree is simply a linear branching pattern that spells out possible linear sequences of word classes, where the classes are based on semantic properties like size, weight, type of object (book, weapon,...), etc.
8.2K
Coordination, Organizations, Institutions, and Norms in Agent Systems IX
Tina Balke,Frank Dignum,M. Birna van Riemsdijk,Amit K. Chopra +3 more
- 01 Jan 2014
TL;DR: This book constitutes the thoroughly refereed proceedings of the 9th International Workshops on Coordination, organizations, institutions, norms, norm conflict, and norm-aware agents, COIN 2013.
90
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Matteo Baldoni,Cristina Baroglio,Federico Bergenti,Antonio Boccalatte,Elisa Marengo,Maurizio Martelli,Viviana Mascardi,Luca Padovani,Viviana Patti,Alessandro Ricci,Gianfranco Rossi,Andrea Santi +11 more
- 01 Jan 2010
TL;DR: The aim is to develop formal models of interactions and of the related support infrastructures, that overcome the limits of the current approaches by explicitly representing not only the agents but also the computational environment in terms of rules, conventions, resources, tools, and services that are functional to the coordination and cooperation of the agents.
Agents and Expectations
Stephen Cranefield
- 03 Dec 2013
TL;DR: This paper discusses the role that expectations have in agent reasoning, and focuses on the author's previous work on modelling and monitoring expectations with a complex temporal structure, and its application to expectation monitoring in virtual worlds.
14
•Proceedings Article
A commitment-based communicative act library.
Mario Verdicchio,Marco Colombetti +1 more
- 01 Jan 2005
TL;DR: In this article, the authors propose a commitment-based framework for the main FIPA communicative acts and provide a semantics which overcomes some of the problems that are currently affecting the standard.
14
References
How to Do Things With Words
Csr Young
- 01 Jan 2009
TL;DR: A semantic transition tree is simply a linear branching pattern that spells out possible linear sequences of word classes, where the classes are based on semantic properties like size, weight, type of object (book, weapon,...), etc.
8.2K
Lecture Notes in Artificial Intelligence
P. Brezillon,P. Bouquet +1 more
- 01 Jan 1999
TL;DR: The topics in LNAI include automated reasoning, automated programming, algorithms, knowledge representation, agent-based systems, intelligent systems, expert systems, machine learning, natural-language processing, machine vision, robotics, search systems, knowledge discovery, data mining, and related programming languages.
7.5K
Strips: A new approach to the application of theorem proving to problem solving
Richard Fikes,Nils J. Nilsson +1 more
TL;DR: In this paper, the authors describe a problem solver called STRIPS that attempts to find a sequence of operators in a space of world models to transform a given initial world model in which a given goal formula can be proven to be true.
5.1K
Some philosophical problems from the standpoint of artificial intelligence
TL;DR: In this paper, the authors consider the problem of reasoning about whether a strategy will achieve a goal in a deterministic world and present a method to construct a sentence of first-order logic which will be true in all models of certain axioms if and only if a certain strategy can achieve a certain goal.