A logical model for commitment and argument network for agent communication (extended abstract)

Jamal Bentahar, Bernard Moulin, John Jules Ch Meyer, Brahim Chaib-Draa

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

36 Scopus citations

Abstract

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.

Original languageBritish English
Title of host publicationProceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004
EditorsN.R. Jennings, C. Sierra, L. Sonenberg, M. Tambe
Pages792-799
Number of pages8
StatePublished - 2004
EventProceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004 - New York, NY, United States
Duration: 19 Jul 200423 Jul 2004

Publication series

NameProceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004
Volume2

Conference

ConferenceProceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004
Country/TerritoryUnited States
CityNew York, NY
Period19/07/0423/07/04

Fingerprint

Dive into the research topics of 'A logical model for commitment and argument network for agent communication (extended abstract)'. Together they form a unique fingerprint.

Cite this