Tableau-based model checking in the propositional mu-calculus
Acta Informatica
Handbook of theoretical computer science (vol. B)
KQML as an agent communication language
Software agents
A logical approach to the dynamics of commitments
Artificial Intelligence
Desiderata for agent argumentation protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Operational specification of a commitment-based agent communication language
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Communication Protocols in Multi-agent Systems: A Development Method and Reference Architecture
Issues in Agent Communication
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
A logical model of social commitment for agent communication
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Argumentation-based negotiation
The Knowledge Engineering Review
Dialectic resoning with inconsistent information
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Specifying and implementing a persuasion dialogue game using commitments and arguments
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces
Autonomous Agents and Multi-Agent Systems
Applied Ontology - Formal Ontologies for Communicating Agents
Semantical considerations on dialectical and practical commitments
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A new logical semantics for agent communication
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Open issues for normative multi-agent systems
AI Communications
Applied Ontology - Formal Ontologies for Communicating Agents
Hi-index | 0.00 |
In this paper we present a modal semantics for our approach based on social commitments and arguments for conversational agents. Our formal framework based on this approach uses three basic elements: social commitments, actions that agents apply to these social commitments and arguments that agents use to support their actions. This framework, called Commitment and Argument Network (CAN), formalizes the agents’ interactions as a network in which agents manipulate commitments and arguments. More precisely, we propose a logical model (called DCTL*CAN) based on CTL* and on dynamic logic for this framework. The advantage of this logical model is to bring together social commitments, actions, argumentation relations, and the relations existing between these three elements within the same framework. Our semantics makes it possible to represent the dynamics of agent communication. It also allows us to establish the important link between social commitments as a deontic concept and arguments. The final objective of this paper is to propose a unified framework for pragmatics and semantics of agent communication by defining logic-based protocols.