Abstract
We present a novel approach to knowledge-based automated one-shot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical ones. The framework makes possible to formally represent typical situations in real e-marketplaces such as “if I spend more than 20000 € for a sedan then I want a navigator pack included” where both numerical (price) and non-numerical (sedan, navigator pack) issues coexist. To this aim we introduce \(\mathcal{P}(\mathcal{N})\), a propositional logic extended with concrete domains, which allows to: model relations among issues (both numerical and not numerical ones) via logical entailment, differently from well-known approaches that describe issues as uncorrelated; represent buyer’s request, seller’s supply and their respective preferences as formulas endowed with a formal semantics. By modeling preferences as formulas it is hence possible to assign a utility value also to a bundle of issues, which is obviously more realistic than the trivial sum of utilities assigned to single elements in the bundle itself. We illustrate the theoretical framework, the logical language, the one-shot negotiation protocol we adopt, and show we are able to compute Pareto-efficient outcomes, using a mediator to solve a multi-objective optimization problem.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baader, F., Hanschke, P.: A schema for integrating concrete domains into concept languages. In: Proc. of IJCAI 1991, pp. 452–457 (1991)
Binmore, K.: Fun and Games. A Text on Game Theory. D.C. Heath and Company (1992)
Bouveret, S., Lemaitre, M., Fargier, H., Lang, J.: Allocation of indivisible goods: a general model and some complexity results. In: Proc. of AAMAS 2005, pp. 1309–1310 (2005)
Chevaleyre, Y., Endriss, U., Lang, J.: Expressive power of weighted propositional formulas for cardinal preference modeling. In: Proc. of KR 2006, pp. 145–152 (2006)
Chevaleyre, Y., Endriss, U., Lang, J., Maudet, N.: Negotiating over small bundles of resources. In: Proc. of AAMAS 2005, pp. 296–302 (2005)
Dunne, P.E., Wooldridge, M., Laurence, M.: The complexity of contract negotiation. Artif. Intell. 164(1-2), 23–46 (2005)
Endriss, U., Maudet, N., Sadri, F., Toni, F.: On optimal outcomes of negotiations over resources. In: Proc. of AAMAS 2003, pp. 177–184 (2003)
Fatima, S., Wooldridge, M., Jennings, N.R.: Optimal agendas for multi-issue negotiation. In: Proc. of AAMAS 2003, pp. 129–136 (2003)
Gatti, N., Amigoni, F.: A decentralized bargaining protocol on dependent continuous multi-issue for approximate pareto optimal outcomes. In: Proc. of AAMAS 2005, pp. 1213–1214 (2005)
Gerding, E.H., van Bragt, D.D.B., La Poutre, J.A.: Scientific approaches and techniques for negotiation: a game theoretic and artificial intelligence perspective. Technical report, SEN-R0005, CWI (2000)
Hillier, F., Lieberman, G.: Introduction to Operations Research. McGraw-Hill, New York (2005)
Jennings, N.R., Faratin, P., Lomuscio, A.R., Parsons, S., Wooldridge, M.J., Sierra, C.: Automated negotiation: prospects, methods and challenges. Int. J. of Group Decision and Negotiation 10(2), 199–215 (2001)
Klein, M., Faratin, P., Sayama, H., Bar-Yam, Y.: Negotiating complex contracts. In: Proc. of AAMAS 2002, pp. 753–757 (2002)
Kraus, S.: Strategic Negotiation in Multiagent Environments. MIT Press, Cambridge (2001)
Lomuscio, A.R., Wooldridge, M., Jennings, N.R.: A classification scheme for negotiation in electronic commerce. Int Journal of Group Decision and Negotiation 12(1), 31–56 (2003)
Loveland, D.W.: Automated theorem proving: A logical basis. North-Holland, Amsterdam (1978)
MacKie-Mason, J.K., Wellman, M.P.: Automated markets and trading agents. In: Handbook of Computational Economics, North-Holland, Amsterdam (2006)
Muthoo, A.: On the strategic role of outside options in bilateral bargaining. Operations Research 43(2), 292–297 (1995)
Papadimitriou, C.H., Steiglitz, K.: Combinatorial optimization: algorithms and complexity. Prentice-Hall, Inc, Englewood Cliffs (1982)
Pomerol, J.C., Barba-Romero, S.: Multicriterion Decision Making in Management. Kluwer Series in Operation Research. Kluwer Academic Publishers, Dordrecht (2000)
Ragone, A., Di Noia, T., Di Sciascio, E., Donini, F.M.: A logic-based framework to compute pareto agreements in one-shot bilateral negotiation. In: Proc. of ECAI 2006, pp. 230–234 (2006)
Ragone, A., Di Noia, T., Di Sciascio, E., Donini, F.M.: Propositional- logic approach to one-shot multi issue bilateral negotiation. ACM SIGecom Exchanges 5(5), 11–21 (2006)
Raiffa, H.: The Art and Science of Negotiation. Harvard University Press, Cambridge (1982)
Raiffa, H., Richardson, J., Metcalfe, D.: Negotiation Analysis - The Science and Art of Collaborative Decision Making. The Belknap Press of Harvard University Press, Cambridge (2002)
Rosenschein, J.S., Zlotkin, G.: Rules of Encounter. MIT Press, Cambridge (1994)
Rubinstein, A.: Perfect equilibrium in a bargaining model. Econometrica 50, 97–109 (1982)
Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Pearson Education-Prentice Hall, London (2003)
Sandholm, T.: Contract types for satisficing task allocation: I theoretical results. In: Proceedings of the AAAI Spring Symposium (1998)
Trastour, D., Bartolini, C., Priest, C.: Semantic Web Support for the Business-to-Business E-Commerce Lifecycle. In: Proc. WWW 2002, pp. 89–98 (2002)
Wellman, M.P.: Online marketplaces. In: Practical Handbook of Internet Computing, CRC Press, Boca Raton (2004)
Wooldridge, M., Parsons, S.: Languages for negotiation. In: Proc of ECAI 2004, pp. 393–400 (2000)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ragone, A., Di Noia, T., Di Sciascio, E., Donini, F.M. (2008). Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds) Declarative Agent Languages and Technologies V. DALT 2007. Lecture Notes in Computer Science(), vol 4897. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77564-5_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-77564-5_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77563-8
Online ISBN: 978-3-540-77564-5
eBook Packages: Computer ScienceComputer Science (R0)