@inproceedings{53a9ef4446aa4c9792aa999b6f754ca8,
title = "A new logical semantics for agent communication",
abstract = "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.",
author = "Jamal Bentahar and Bernard Moulin and Meyer, {John Jules Ch} and Yves Lesp{\'e}rance",
year = "2007",
doi = "10.1007/978-3-540-69619-3_9",
language = "British English",
isbn = "9783540696186",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "151--170",
booktitle = "Computational Logic in Multi-Agent Systems - 7th International Workshop, CLIMA VII, Revised Selected and Invited Papers",
address = "Germany",
note = "7th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VII ; Conference date: 08-05-2006 Through 09-05-2006",
}