“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
KQML as an agent communication language
Software agents
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Operational specification of a commitment-based agent communication language
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Instructions-Based Semantics of Agent Mediated Interaction
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
A Logical Model for Commitment and Argument Network for Agent Communication
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
A commitment-based communicative act library
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Reliable group communication and institutional action in a multi-agent trading scenario
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Institutions in the OPAL multi-agent system
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Agent communication and artificial institutions
Autonomous Agents and Multi-Agent Systems
Formal ontologies for communicating agents
Applied Ontology - Formal Ontologies for Communicating Agents
Temporal Logics for Representing Agent Communication Protocols
Agent Communication II
ACL Semantics Between Social Commitments and Mental Attitudes
Agent Communication II
A Commitment-Based Communicative Act Library
Agent Communication II
Reliable Group Communication and Institutional Action in a Multi-agent Trading Scenario
Agent Communication II
Modelling and Monitoring Social Expectations in Multi-agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Verifying Social Expectations by Model Checking Truncated Paths
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Towards an Ontological Foundation for Services Science
Future Internet --- FIS 2008
Complex open-system design by quasi-agents: process-oriented modeling in agent-based systems
ACM SIGSOFT Software Engineering Notes
Reasoning intra-dependency in commitments for robust scheduling
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Semantical considerations on dialectical and practical commitments
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A New Semantics of Social Commitments Using Branching Space-Time Logic
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
A rule language for modelling and monitoring social expectations in multi-agent systems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A Logical Framework for Grounding-based Dialogue Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
A new logical semantics for agent communication
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Component-based standardisation of agent communication
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Embedding landmarks and scenes in a computational model of institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
A logical analysis of commitment dynamics
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
The face of emotions: a logical formalization of expressive speech acts
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
A modal semantics for an argumentation-based pragmatics for agent communication
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Agent communication and institutional reality
AC'04 Proceedings of the 2004 international conference on Agent Communication
Dealing with time in content language expressions
AC'04 Proceedings of the 2004 international conference on Agent Communication
Agent interaction semantics by timed operating instructions
AC'04 Proceedings of the 2004 international conference on Agent Communication
Dialogization and implicit information in an agent communicational model
AC'04 Proceedings of the 2004 international conference on Agent Communication
Eliciting expectations for monitoring social interactions
ICCMSN'08 Proceedings of the First international conference on Computer-Mediated Social Networking
Specifying and analysing agent-based social institutions using answer set programming
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
A rule language for modelling and monitoring social expectations in multi-agent systems
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Formal ontologies for communicating agents
Applied Ontology - Formal Ontologies for Communicating Agents
Communicative commitments: Model checking and complexity analysis
Knowledge-Based Systems
Hi-index | 0.00 |
As part of the goal of developing a genuinely open multiagent system, many efforts are devoted to the definition of a standard Agent Communication Language (ACL). The aim of this paper is to propose a logical framework for the definition of ACL semantics based upon the concept of (social) commitment. Our framework relies on the assumption that agent communication should be analyzed in terms of communicative acts, by means of which agents create and manipulate commitments, provided certain contextual conditions hold. We propose formal definitions of such actions in the context of a temporal logic that extends CTL* with past-directed temporal operators. In the system we propose, called CTL±, time is assumed to be discrete, with no start or end point, and branching in the future. CTL± is then extended to represent actions and commitments; in particular, we formally define the conditions under which a commitment is fulfilled or violated. Finally, we show how our logic of commitment can be used to define the semantics of an ACL.