A new logical semantics for agent communication

Jamal Bentahar, Bernard Moulin, John Jules Ch Meyer, Yves Lespérance

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

20 Scopus citations


In this paper we develop a semantics of our approach based on commitments and arguments for conversational agents. We propose a logical model based on CTL* (Extended Computation Tree Logic) and on dynamic logic. Called Commitment and Argument Network (CAN), our formal framework based on this hybrid approach uses three basic elements: social commitments, actions that agents apply to these commitments and arguments that agents use to support their actions. The advantage of this logical model is to gather all these elements and the existing relations between them within the same framework. The semantics we develop here enables us to reflect the dynamics of agent communication. It also allows us to establish the important link between commitments as a deontic concept and arguments. On the one hand CTL* enables us to express all the temporal aspects related to the handling of commitments and arguments. On the other hand, dynamic logic enables us to capture the actions that agents are committed to achieve.

Original languageBritish English
Title of host publicationComputational Logic in Multi-Agent Systems - 7th International Workshop, CLIMA VII, Revised Selected and Invited Papers
PublisherSpringer Verlag
Number of pages20
ISBN (Print)9783540696186
StatePublished - 2007
Event7th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VII - Hakodate, Japan
Duration: 8 May 20069 May 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4371 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference7th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VII


Dive into the research topics of 'A new logical semantics for agent communication'. Together they form a unique fingerprint.

Cite this