Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. J. Alferes and L. M. Pereira. Reasoning with Logic Programming. (LNAI 1111), Springer-Verlag, 1996.
A. Bondarenko, F. Toni, and R. Kowalski. An assumption-based framework for non monotonic reasoning. In Proc. of LPNMR, pages 171–189. MIT Press, 1993.
I. M. Copi and C. Cohen. Introduction to Logic. Prentice Hall, 1994.
P. M. Dung. An argumentation semantics for logic programming with explicit negation. In Proc. of ICLP, pages 616–630. MIT Press, 1993.
P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77(2):321–357, 1995.
A. Van Gelder, K. Ross, and J. S. Schlipf. Unfounded sets and well-founded semantics for general logic programs. In Proc. of SPDS, pages 221–230. Austin, Texas, 1988.
N. R. Jennings, et al. Agent-based business process management. Intl. J. of Cooperative Information Systems, 5(2&3):105–130, 1996.
S. Kraus, K. Sycara, and A. Evenchik. Reaching agreements through argumentation: a logical model and implementation. Artificial Intelligence, 1998. To appear.
Iara Móra, José Julio Alferes, and Michael Schroeder. Argumentation and cooperation for distributed extended logic programs. Submitted, 1999. Submitted.
S. Parsons and N. Jennings. Negotiation through argumentation-a preliminary report. In Proc. of ICMAS, pages 267–274, Kyoto, Japan, 1996.
S. Parsons, C. Sierra, and N. Jennings. Agents that reason and negotiate by arguing. J. of Logic and Computation, 8(3):261–292, 1998.
L. M. Pereira and J.J. Alferes. Well founded semantics for logic programs with explicit negation. In Proc. of ECAI, pages 102–106. John Wiley & Sons, 1992.
H. Prakken and G. Sartor. Argument-based extended logic programming with defeasible priorities. J. of Applied Non-Classical Logics, 7(1), 1997.
M. Schroeder, I. Mora, and J.J. Alferes. Vivid agents arguing about distributed extended logic programs. In Proceedings of EPIA97. LNAI 1323, Springer-Verlag, 1997.
C. Sierra, N. Jennings, P. Noriega, and S. Parsons. A framework for argumentation-based negotiation. In Proc. of ATAL, pages 167–182. Springer-Verlag, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schroeder, M. (1999). An Efficient Argumentation Framework for Negotiating Autonomous Agents. In: Garijo, F.J., Boman, M. (eds) Multi-Agent System Engineering. MAAMAW 1999. Lecture Notes in Computer Science(), vol 1647. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48437-X_12
Download citation
DOI: https://doi.org/10.1007/3-540-48437-X_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66281-5
Online ISBN: 978-3-540-48437-0
eBook Packages: Springer Book Archive