A modal semantics for an argumentation-based pragmatics for agent communication (original) (raw)

A logical model for commitment and argument network for agent communication

2004

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.

An argumentation-based semantics for agent communication languages

2002

Abstract. In recent years, the importance of defining a standard framework for agent communication language (ACL) has been widely recognized. However, classical proposals (mentalistic semantics and social semantics) fail to meet the objectives of verifiability and flexibility required in complex interactions involving heterogenous agents possibly designed by different programmers.

Towards a formal framework for conversational agents

2003

ABSTRACT This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us:(1) to represent the dynamics of conversations between agents;(2) to analyze conversations;(3) to help autonomous agents to take part in consistent conversations. The proposed formalism, called “commitment and argument network”, uses a combined approach based on commitments and arguments.

Multi-agent agreements about actions through argumentation

2006

Abstract. In this work, we propose a declarative multi-agent argumentation framework for reasoning and argument about actions, equipped with a sound operational model. The foundations of this framework rely on previous results from ALP and from Dung's studies on argumentation. Our approach features declarative knowledge representation and logic based reasoning, agent interaction by argumentation dialogues, and a notion of agreement about actions. Keywords.