Tableau-based model checking in the propositional mu-calculus
Acta Informatica
Obligations directed from bearers to counterparts
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Negotiation protocols and dialogue games
Proceedings of the fifth international conference on Autonomous 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
Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents
Journal of Logic, Language and Information
Issues in Agent Communication
What Is a Conversation Policy?
Issues in Agent Communication
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
On the outcomes of formal inter-agent dialogues
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Modeling Dialogues Using Argumentation
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Commitment-based and dialogue-game-based protocols: new trends in agent communication languages
The Knowledge Engineering Review
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
Strategical considerations for negotiating agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
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
Dynamic logic for plan revision in intelligent agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Verifying protocol conformance for logic-based communicating agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Model Checking Communicative Agent-Based Systems
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
A taxonomy of argumentation models used for knowledge representation
Artificial Intelligence Review
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
Reasoning about agents' interaction protocols inside DCaseLP
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Verification of protocol conformance and agent interoperability
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexible, this protocol is defined as a combination of a set of conversation policies. These policies are formalized as a set of dialogue games. The protocol is specified using two types of dialogue games: entry dialogue game and chaining dialogue games. The protocol terminates when exit conditions are satisfied. Using a tableau method, we prove that this protocol always terminates. The paper addresses also the implementation issues of our protocol using logical programming and an agent-oriented platform.