Abstract
In this paper, we present a framework for agent negotiation based on abductive logic programming. The framework is based on an existing architecture for logic-based agents, and extends it by accommodating dialogues for negotiation. As an application of negotiating agents, we propose a resource-exchanging problem. The innovative contribution of this work is in the definition of an operational model, including an agent cycle and dialogue cycle, and in the results that apply in the general case of abductive agents and in the specific case of a class of agent systems.
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
Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. Handbook of Logic in AI and Logic Programming 5 (1998) 235–324
Kowalski, R.A., Sadri, F.: From logic programming to multi-agent systems. Annals of Mathematics and AI (1999)
Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming (1997)
Sadri, F., Toni, F.: Abduction with negation as failure for active and reactive rules. In Proc. AI*IA’99. LNAI 1792, Springer-Verlag (2000) 49–60
Sadri, F., Toni, F., Torroni, P.: Dialogues for negotiation: agent varieties and dialogue sequences. In: Intelligent Agents VIII. LNAI 2333, Springer-Verlag (2002)
Sadri, F., Toni, F., Torroni, P.: Logic agents, dialogues and negotiation: an abductive approach. In: Proc. AISB’01 Convention, York, UK. (2001)
Torroni, P., Toni, F.: Extending a logic based one-to-one negotiation framework to one-to-many negotiation. In: ESAW II. LNAI 2203, Springer-Verlag (2001)
Hindriks, K., de Boer, F., van der Hoek, W., Meyer, J.: Semantics of communicating agents based on deduction and abduction. In: Proc. CABS. (1999)
Kraus, S., Sycara, K., Evenchik, A.: Reaching agreements through argumentation; a logical model and implementation. Artificial Intelligence 104 (1998) 1–69
Amgoud, L., Parsons, S., Maudet, N.: Arguments, dialogue and negotiation. In: Proc. 14th ECAI, Berlin, Germany, IOS Press (2000)
Parsons, S., Sierra, C., Jennings, N.R.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8 (1998) 261–292
Roli, A., Torroni, P.: Logics, local search and resource allocation (short paper). In: Proc. STAIRS, Lyon, France. (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sadri, F., Toni, F., Torroni, P. (2002). An Abductive Logic Programming Architecture for Negotiating Agents. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds) Logics in Artificial Intelligence. JELIA 2002. Lecture Notes in Computer Science(), vol 2424. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45757-7_35
Download citation
DOI: https://doi.org/10.1007/3-540-45757-7_35
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44190-8
Online ISBN: 978-3-540-45757-2
eBook Packages: Springer Book Archive