Argumentation is important for agent negotiation. In this paper, we develop an efficient framework for multi-agent argumentation. We identify aspects of classical argumentation theory that are suitable and useful for artificial agents and develop an argumentation framework around them. In the framework, we distinguish cooperation and argumentation and introduce skeptical and credulous agents. We develop an operational, goal-driven top-down proof procedure for the argumentation process and evaluate an implementation of our framework for an example of a BT business process.
展开▼