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
Towards design tools for protocol development
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
On the semantics of conditional commitment
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Design time analysis of multiagent protocols
Data & Knowledge Engineering
Artificial Intelligence
Checking correctness of business contracts via commitments
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
On the Semantics of Conditional Commitment
Agent Communication II
Towards Design Tools for Protocol Development
Agent Communication II
Verifying Social Expectations by Model Checking Truncated Paths
Coordination, Organizations, Institutions and Norms in Agent Systems IV
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 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
A logical analysis of commitment dynamics
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
A tableau method for verifying dialogue game protocols for agent communication
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
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
Dialogization and implicit information in an agent communicational model
AC'04 Proceedings of the 2004 international conference on Agent Communication
A computational model for conversation policies for agent communication
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Verifiable semantic model for agent interactions using social commitments
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Communicative commitments: Model checking and complexity analysis
Knowledge-Based Systems
Hi-index | 0.00 |
In this paper we present a semantics for our approach based on social commitments (SCs) and arguments for conversational agents. More precisely, we propose a logical model based on CTL* and on dynamic logic (DL). Called Commitment and Argument Network, our formal framework based on this approach uses three basic elements: SCs, actions that agents apply to these SCs and arguments that agents use to support their actions. The advantage of this logical model is to bring together all these elements and the relations existing between them 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 SCs as a deontic concept and arguments. CTL* enables us to express the temporal characteristics of SCs and arguments. DL enables us to capture the actions that agents are committed to achieve.