An argumentation-based Semantics for Agent Communication Languages
نویسندگان
چکیده
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. In this paper we propose an ACL which allows heterogenous agents to engage flexibly in the different kinds of dialogues identified by Walton and Krabbe in [14]. To this end, we propose a two-layered semantics which includes a commitment level and a reasoning level based on argumentation.
منابع مشابه
Fuzzy Unification and Argumentation for Well-Founded Semantics
Argumentation as metaphor for logic programming semantics is a sound basis to define negotiating agents. If such agents operate in an open system, they have to be able to negotiate and argue efficiently in a goal-directed fashion and they have to deal with uncertain and vague knowledge. In this paper, we define an argumentation framework with fuzzy unification and reasoning for the well-founded...
متن کاملA Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication
In this paper we present a modal semantics for our approach based on social commitments and arguments for conversational agents. Our formal framework based on this approach uses three basic elements: social commitments, actions that agents apply to these social commitments and arguments that agents use to support their actions. This framework, called Commitment and Argument Network (CAN), forma...
متن کاملEliciting Requirements for an Argumentation Interchange Format
Argumentation Mark-up Languages have been formulated for exporting and storing argumentation knowledge described by use of argument editing and visualisation tools. These tools enable user structuring of arguments through diagramatic linkage of natural language sentences. Recent work has focussed on implementations of formal logical models of argument inference, and argumentation based decision...
متن کاملOn the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communication have several serious disadvantages as a foundation for communication in artificial agent systems. In particular, it has proved to be extremely difficult to give a satisfactory semantics to speech-act based agent comm...
متن کاملArgumentation Systems and Agent Programming Languages
In this work we will present an integration of a queryanswering argumentation approach with an abstract agent programming language. Agents will argumentatively reason via queries, using information of their mental components. Special context-based queries will be used to model the interaction between mental components. Deliberation and execution semantics of the proposed integration are presented.
متن کامل