Open AccessProceedings Article
A commitment-based communicative act library.
Mario Verdicchio,Marco Colombetti +1 more
- 01 Jan 2005
pp 511-512
14
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.
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 framework 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
•Journal Article
A rule language for modelling and monitoring social expectations in multi-agent systems
TL;DR: In this paper, 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 is proposed, and an algorithm for run-time monitoring compliance of rules in this language based on formula progression is also presented.
32
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
Communication languages for multiagent systems
Mario Verdicchio,Marco Colombetti +1 more
- 01 May 2009
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.
15
References
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
Temporal and Modal Logic.
E. Allen Emerson
- 01 Jan 1990
TL;DR: The chapter describes the framework of linear temporal logic, which has been widely employed in the specification and verification of programs and explains how temporal logic structures can be used to model concurrent programs using non-determinism and fairness.
973
A Formal Characterisation of Institutionalised Power
Andrew J. I. Jones,Marek Sergot +1 more
TL;DR: This work distinguishes institutionalised power from permission and practical possibility, and develops a conditional connective intended to capture the consequence relation implicit in statements of the form that facilitates the analysis of a number of notions crucial to the understanding of organised interaction in institutions.
552
A hierarchy of temporal logics with past
François Laroussinie,Ph. Schnoebelen +1 more
- 04 Sep 1995
TL;DR: The classical hierarchy of branching-time temporal logics between UB and CTL* is extended by studying which additional expressive power (if any) stems from the incorporation of past-time modalities, and a new temporal combinator is proposed, N for “Now”, that brings new and interesting expressive power.
105
Related Papers (5)
Mario Verdicchio,Marco Colombetti +1 more
- 25 Jul 2005
Mario Verdicchio,Marco Colombetti +1 more
- 01 May 2009