Proceedings Article10.1145/1082473.1082589
A commitment-based communicative act library
Mario Verdicchio,Marco Colombetti +1 more
- 25 Jul 2005
- Vol. 3859, pp 755-761
16
TL;DR: It is shown that the commitment-based frame-work is powerful enough to allow for the main FIPA communicative acts and provides a semantics which overcomes some of the problems that are currently affecting the standard.
read more
Abstract: The Agent Communication Language (ACL) proposed by the Foundation for Intelligent Physical Agents (FIPA) is the most complete attempt to create a universally accepted standard so far. Nevertheless, this standard shows some shortcomings which are probably hindering an even greater impact upon the scientific research dealing with multiagent systems. Although agreeing with the mainstream view that analyzes agent communication in terms of communicative acts, we part from FIPA's assumptions about the semantics, as we shift the focus from affecting communicating agents' mental states to modifying the commitments binding them to each other. We show that our commitment-based frame-work is powerful enough to allow for the main FIPA communicative acts and provides a semantics which overcomes some of the problems that are currently affecting the 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
A rule language for modelling and monitoring social expectations in multi-agent systems
Stephen Cranefield
- 25 Jul 2005
TL;DR: A rule language for defining social expectations based on a metric interval temporal logic with past and future modalities and a current-time binding operator and an algorithm for run-time monitoring compliance of rules in this language based on formula progression is presented.
An Operational Model for the FIPA-ACL Semantics
Vincent Louis,Thierry Martinez +1 more
TL;DR: The formal principles supporting the FIPA-ACL semantics are reviewed and an operational model facilitating their implementation is proposed, resulting in more flexible agents, avoiding intensive use of rigid protocols.
23
Learning by Knowledge Exchange in Logical Agents
Stefania Costantini,Arianna Tocchio +1 more
- 01 Jan 2005
TL;DR: This paper introduces a form of cooperation among agents based on exchanging sets of rules that extends to agent societies a feature which is proper of human societies, i.e., the cultural transmission of abilities.
On formalizing social commitments in dialogue and argumentation models using temporal defeasible logic
Asma Moubaiddin,Nadim Obeid +1 more
TL;DR: Com-TFONL allows for an integration of commitments and arguments which helps in capturing the public aspects of a conversation and the reasoning aspects required in coherent conversations.
16
Normative Reasoning and Consequence
Jan Broersen,Stephen Cranefield,Yehia Elrakaiby,Dov M. Gabbay,Davide Grossi,Emiliano Lorini,Xavier Parent,Leendert van der Torre,Luca Tummolini,Paolo Turrini,François Schwarzentruber +10 more
- 01 Jan 2013
TL;DR: This chapter first provides a general introduction to the research area methodology and relevance, then it discusses normative reasoning for multiagent systems, and finally it discusses current research challenges.
16
References
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
•Book
Handbook of theoretical computer science
J. Van Leeuwen
- 19 Dec 1990
TL;DR: The Handbook of Theoretical Computer Science provides professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field.
4.3K
Temporal and modal logic
E. Allen Emerson
- 02 Jan 1991
TL;DR: In this article, a multiaxis classification of temporal and modal logic is presented, and the formal syntax and semantics for two representative systems of propositional branching-time temporal logics are described.
3.1K
Related Papers (5)
Mario Verdicchio,Marco Colombetti +1 more
- 01 Jan 2005
Mario Verdicchio,Marco Colombetti +1 more
- 01 May 2009