GDL as a unifying domain description language for declarative automated negotiation

Abstract

Recently, it has been proposed that Game Description Language (GDL) could be used to define negotiation domains. This would open up an entirely new, declarative, approach to Automated Negotiations in which a single algorithm could negotiate over any domain, as long as that domain is expressible in GDL. However, until now, the feasibility of this approach has only been demonstrated on a few toy-world problems. Therefore, in this paper we show that GDL is a truly unifying language that can also be used to define more general and more complex negotiation domains. We demonstrate this by showing that some of the most commonly used test-beds in the Automated Negotiations literature, namely Genius and Colored Trails, can be described in GDL. More specifically, we formally prove that the set of possible agreements of any negotiation domain from Genius (either linear or non-linear) can be modeled as a set of strategies over a deterministic extensive-form game. Furthermore, we show that this game can be effectively described in GDL and we show experimentally that, given only this GDL description, we can explore the agreement space efficiently using entirely generic domain-independent algorithms. In addition, we show that the same holds for negotiation domains in the Colored Trails framework. This means that one could indeed implement a single negotiating agent that is capable of negotiating over a broad class of negotiation domains, including Genius and Colored Trails.

This is a preview of subscription content, access via your institution.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18

Notes

  1. 1.

    http://sanchoggp.blogspot.co.uk/2014/05/what-is-sancho.html.

  2. 2.

    https://bitbucket.org/rxe/galvanise_v2.

  3. 3.

    We assume that when the agents make an agreement this is considered strictly binding, so they are forced to obey it. The question how the agreements can be enforced is beyond the scope of our work. We simply assume there is some external mechanism that forces the agents to obey their agreements.

  4. 4.

    In the case the negotiator is bounded rational we should say that it would never accept any proposal it expects to yield utility less than its reservation value.

  5. 5.

    In the literature the utility functions are usually defined as weighted sums. However, we can omit the weights without loss of generality, because they can be absorbed into the \(d_{i,j}\).

  6. 6.

    Note that strictly speaking it is not necessary to include T in this tuple, because T is already implied in the definition of the graph \(\langle V, E\rangle\). However, we prefer to include it, for clarity.

  7. 7.

    Note that we use the notation m(vw) as a shorthand for m((vw)).

  8. 8.

    One might be tempted to use the term subgame instead of restriction, but the term subgame already has a different meaning in Game Theory. In [33] we used the concept of a strategy, instead of a restriction. Although strategies and restrictions are defined differently, they represent essentially the same thing.

  9. 9.

    This is not exactly the same as a noop-move that is commonly used in GDL to model turn-taking games. A noop-move represents the case that the player does not move because it is not their turn, while the waive move means that it is that player’s turn, but the player chooses to do nothing.

  10. 10.

    https://github.com/ggp-org/ggp-base.

  11. 11.

    http://anac2012.ecs.soton.ac.uk/.

  12. 12.

    Of course, there may exist more sophisticated Genetic Algorithms that are able to avoid this problem, but to the best of our knowledge no one has ever tried to apply those to automated negotiations.

References

  1. 1.

    Axelrod, R., & Hamilton, W. D. (1981). The evolution of cooperation. Science, 211(4489), 1390–1396.

    MathSciNet  Article  Google Scholar 

  2. 2.

    Aydoğan, R., Marsa-Maestre, I., Klein, M., & Jonker, C. M. (2018). A machine learning approach for mechanism selection in complex negotiations. Journal of Systems Science and Systems Engineering, 27(2), 134–155.

    Article  Google Scholar 

  3. 3.

    Baarslag, T., Hindriks, K., Hendrikx, M., Dirkzwager, A., & Jonker, C. (2014). Decoupling negotiating agents to explore the space of negotiation strategies. In I. Marsa-Maestre, M. A. Lopez-Carmona, T. Ito, M. Zhang, Q. Bai, & K. Fujita (Eds.), Novel Insights in Agent-based Complex Automated Negotiation (pp. 61–83). Tokyo: Springer.

    Google Scholar 

  4. 4.

    Baarslag, T., Hindriks, K., Jonker, C. M., Kraus, S., & Lin, R. (2010). The first automated negotiating agents competition (ANAC 2010). Series of studies in computational intelligence. In T. Ito, M. Zhang, V. Robu, S. Fatima, & T. Matsuo (Eds.), New trends in agent-based complex automated negotiations. Berlin: Springer.

    Google Scholar 

  5. 5.

    Cazenave, T., & Saffidine, A. (2010). Score bounded monte-carlo tree search. In Computers and Games, volume 6515 of Lecture Notes in Computer Science (pp. 93–104). Springer.

  6. 6.

    Chen, S., & Weiss, G. (2013). An efficient automated negotiation strategy for complex environments. Engineering Applications of AI, 26(10), 2613–2623.

    Google Scholar 

  7. 7.

    Chitizadeh, A., & Thielscher, M. (2018). General language evolution in general game playing. In T. Mitrovic, B. Xue, & X. Li (Eds.), AI 2018: Advances in Artificial Intelligence (pp. 51–64). Cham: Springer.

    Google Scholar 

  8. 8.

    de Jonge, D., Trescak, T., Sierra, C., Simoff, S., & de Mántaras, R. L. (2019). Using game description language for mediated dispute resolution. AI & SOCIETY, 34(4), 767–784.

    Article  Google Scholar 

  9. 9.

    de la Hoz, E., Marsá-Maestre, I., Giménez-Guzmán, J. M., Orden, D., & Klein, M. (2017). Multi-agent nonlinear negotiation for wi-fi channel assignment. In Larson, K., Winikoff, M., Das, S., & Durfee, E. H. editors, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017 (pp. 1035–1043). ACM.

  10. 10.

    de Weerd, H., Verbrugge, R., & Verheij, B. (2013). Higher-order theory of mind in negotiations under incomplete information. In Boella, G., Elkind, E., Savarimuthu, B. T. R., Dignum, F., & Purvis, M. K. editors, PRIMA 2013: Principles and Practice of Multi-Agent Systems—16th International Conference, Dunedin, New Zealand, December 1–6, 2013. Proceedings, volume 8291 of Lecture Notes in Computer Science, (pp. 101–116). Springer.

  11. 11.

    Fabregues, A. (2012). Facing the Challenge of Automated Negotiations with Humans. PhD thesis, Universitat Autònoma de Barcelona.

  12. 12.

    Fabregues, A., & Sierra, C. (2011). Dipgame: A challenging negotiation testbed. Engineering Applications of Artificial Intelligence.

  13. 13.

    Faratin, P., Sierra, C., & Jennings, N. R. (1998). Negotiation decision functions for autonomous agents. Robotics and Autonomous Systems, 24(3–4), 159–182. (Multi-Agent Rationality.).

    Article  Google Scholar 

  14. 14.

    Faratin, P., Sierra, C., & Jennings, N. R. (2000). Using similarity criteria to make negotiation trade-offs. In International Conference on Multi-Agent Systems, ICMAS’00 (pp. 119–126).

  15. 15.

    Ferreira, A., Cardoso, H. L., & Reis, L. P. (2015). Dipblue: A diplomacy agent with strategic and trust reasoning. In 7th International Conference on Agents and Artificial Intelligence (ICAART 2015) (pp. 398–405).

  16. 16.

    Ficici, S. G., & Pfeffer, A. (2008). Modeling how humans reason about others with partial information. In Padgham, L., Parkes, D. C., Müller, J. P., & Parsons, S. editors, 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12–16, 2008, Volume 1 (pp. 315–322). IFAAMAS.

  17. 17.

    Finnsson, H. (2012). Simulation-Based General Game Playing. PhD thesis, School of Computer Science, Reykjavik University.

  18. 18.

    Font, J. M., Mahlmann, T., Manrique, D., & Togelius, J. (2013). A card game description language. In European Conference on the Applications of Evolutionary Computation, (pp. 254–263). Springer.

  19. 19.

    Fujita, K., Aydoğan, R., Baarslag, T., Ito, T., & Jonker, C. M. (2014). The fifth automated negotiating agents competition (ANAC 2014). In Recent Advances in Agent-based Complex Automated Negotiation, volume 638 of Studies in Computational Intelligence, (pp. 211–224). Springer.

  20. 20.

    Gal, Y., Grosz, B., Kraus, S., Pfeffer, A., & Shieber, S. (2010). Agent decision-making in open-mixed networks. Artificial Intelligence.

  21. 21.

    Gelly, S., & Silver, D. (2007). Combining online and offline knowledge in uct. In Proceedings of the 24th international conference on Machine learning, (pp. 273–280). ACM.

  22. 22.

    Genesereth, M., Love, N., & Pell, B. (2005). General game playing: Overview of the AAAI competition. AI Magazine, 26(2), 62–72.

    Google Scholar 

  23. 23.

    Grosz, B. J., Kraus, S., Talman, S., Stossel, B., & Havlin, M. (2004). The influence of social dependencies on decision-making: Initial investigations with a new game. In 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19–23 August 2004, New York, NY, USA, (pp. 782–789). IEEE Computer Society.

  24. 24.

    Ilany, L., & Gal, Y. (2016). Algorithm selection in bilateral negotiation. Autonomous Agents and Multi-Agent Systems, 30(4), 697–723.

    Article  Google Scholar 

  25. 25.

    Ito, T., Klein, M., & Hattori, H. (2008). A multi-issue negotiation protocol among agents with nonlinear utility functions. Multiagent Grid System, 4, 67–83.

    Article  Google Scholar 

  26. 26.

    Jiang, G., Zhang, D., Perrussel, L., & Zhang, H. (2016). Epistemic gdl: A logic for representing and reasoning about imperfect information games. IJCAI, 16, 1138–1144.

    Google Scholar 

  27. 27.

    de Jonge, D., Baarslag, T., Aydoğan, R., Jonker, C., Fujita, K., & Ito, T. (2019). The challenge of negotiation in the game of diplomacy. In M. Lujak (Ed.), Agreement Technologies 2018, Revised Selected Papers (pp. 100–114). Cham: Springer.

    Google Scholar 

  28. 28.

    de Jonge, D., & Sierra, C. (2015). NB3: a multilateral negotiation algorithm for large, non-linear agreement spaces with limited time. Autonomous Agents and Multi-Agent Systems, 29(5), 896–942.

    Article  Google Scholar 

  29. 29.

    de Jonge, D., & Sierra, C. (2016). GANGSTER: An automated negotiator applying genetic algorithms. In Fukuta, N., Ito, T., Zhang, M., Fujita, K., & Robu, V. editors, Recent Advances in Agent-based Complex Automated Negotiation, Studies in Computational Intelligence, (pp. 225–234). Springer.

  30. 30.

    de Jonge, D., & Sierra, C. (2017). D-Brane: A diplomacy playing agent for automated negotiations research. Applied Intelligence, 47(1), 158–177.

    Article  Google Scholar 

  31. 31.

    de Jonge, D., & Zhang, D. (2016). Using gdl to represent domain knowledge for automated negotiations. In Nardine Osman & Carles Sierra (Eds.), Autonomous Agents and Multiagent Systems: AAMAS 2016 Workshops (pp. 134–153)., Visionary Papers, Singapore, Singapore, May 9–10, 2016, Revised Selected Papers Cham: Springer International Publishing.

  32. 32.

    de Jonge, D., & Zhang, D. (2017). Automated negotiations for general game playing. In Larson, K., Winikoff, M., Das, S., Durfee, E. editors, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, (pp. 371–379). ACM.

  33. 33.

    de Jonge, D., & Zhang, D. (2020). Strategic negotiations for extensive-form games. Autonomous Agents and Multi-Agent Systems, 34(1).

  34. 34.

    Knuth, D. E., & Moore, R. W. (1975). An analysis of alpha-beta pruning. Artificial Intelligence, 6(4), 293–326.

    MathSciNet  Article  Google Scholar 

  35. 35.

    Kocsis, L., & Szepesvári, C. (2006) Bandit based monte-carlo planning. In Proceedings of the 17th European Conference on Machine Learning, ECML’06, (pp. 282–293), Berlin, Heidelberg, Springer-Verlag.

  36. 36.

    Kraus, S., Lehman, D., & Ephrati, E. (1989). An automated diplomacy player. In D. Levy & D. Beal (Eds.), Heuristic programming in artificial intelligence: The 1st computer Olympia (pp. 134–153). Chichester: Ellis Horwood Limited.

    Google Scholar 

  37. 37.

    Kraus, S., & Lehmann, D. (1995). Designing and building a negotiating automated agent. Computational Intelligence, 11, 132–171.

    Article  Google Scholar 

  38. 38.

    Lin, R., Kraus, S., Baarslag, T., Tykhonov, D., Hindriks, K., & Jonker, C. M. (2014). Genius: An integrated environment for supporting the design of generic automated negotiators. Computational Intelligence, 30(1), 48–70.

    MathSciNet  Article  Google Scholar 

  39. 39.

    Love, N., Genesereth, M., & Hinrichs, T. (2006). General game playing: Game description language specification. Technical Report LG-2006-01, Stanford University, Stanford, CA, http://logic.stanford.edu/reports/LG-2006-01.pdf.

  40. 40.

    Lv, Y., Zhu, J., & Jiang, Y. (2020). Using egdl to represent domain knowledge for imperfect information automated negotiations. Journal of Ambient Intelligence and Humanized Computing.

  41. 41.

    Marinheiro, J., & Cardoso, H. L. (2018). Towards general cooperative game playing. In N. T. Nguyen, R. Kowalczyk, J. van den Herik, A. P. Rocha, & J. Filipe (Eds.), Transactions on computational collective intelligence XXVIII (pp. 164–192). Cham: Springer.

    Google Scholar 

  42. 42.

    Marsa-Maestre, I., Lopez-Carmona, M. A., Velasco, J. R., & de la H., E. (2009). Effective bidding and deal identification for negotiations in highly nonlinear scenarios. In Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems—Volume 2, AAMAS ’09, (pp. 1057–1064), Richland, SC, International Foundation for Autonomous Agents and Multiagent Systems.

  43. 43.

    Marsa-Maestre, I., Lopez-Carmona, M. A., Velasco, J. R., Ito, T., Klein, M., & Fujita, K. (2009). Balancing utility and deal probability for auction-based negotiations in highly nonlinear utility spaces. In Proceedings of the 21st International Jont Conference on Artifical Intelligence, IJCAI’09, (pp. 214–219), San Francisco, CA, USA, Morgan Kaufmann Publishers Inc.

  44. 44.

    Mell, J., Lucas, G. M., & Gratch, J. (2015). An effective conversation tactic for creating value over repeated negotiations. In AAMAS, (pp. 1567–1576). ACM.

  45. 45.

    Nash, J. F. (1950). The bargaining problem. Econometrica, 18, 155–162.

    MathSciNet  Article  Google Scholar 

  46. 46.

    Niemelä, I. (1999). Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25(3–4), 241–273.

    MathSciNet  Article  Google Scholar 

  47. 47.

    Niimi, M. & Ito, T. (2014). Agentm. In Naoki F., Takayuki I., Minjie Z., Katsuhide F., and Valentin R., editors, Recent Advances in Agent-based Complex Automated Negotiation [revised and extended papers from the 7th International Workshop on Agent-based Complex Automated Negotiation, ACAN 2014, Paris, France, May 2014]., volume 638 of Studies in Computational Intelligence, (pp. 235–240). Springer.

  48. 48.

    Osborne, M. J., & Rubinstein, A. (1990). Bargaining and markets. Cambridge: Academic Press.

    Google Scholar 

  49. 49.

    Osborne, M. J., & Rubinstein, A. (1994). A course in game theory. Cambridge: MIT Press.

    Google Scholar 

  50. 50.

    Peled, N., Kraus, S., et al. (2015). A study of computational and human strategies in revelation games. Autonomous Agents and Multi-Agent Systems, 29(1), 73–97.

    Article  Google Scholar 

  51. 51.

    Rosenschein, J. S., & Zlotkin, G. (1994). Rules of encounter. Cambridge, USA: The MIT Press.

    Google Scholar 

  52. 52.

    Rosenthal, R. (1981). Games of perfect information, predatory pricing and the chain-store paradox. Journal of Economic Theory, 25(1), 92–100.

    MathSciNet  Article  Google Scholar 

  53. 53.

    Sánchez-Anguix, V., Aydogan, R., Julián, V., & Jonker, C. M. (2014). Intra-team strategies for teams negotiating against competitor, matchers, and conceders. In Novel Insights in Agent-based Complex Automated Negotiation, volume 535 of Studies in Computational Intelligence, (pp. 3–22). Springer.

  54. 54.

    Sang, T., & Chen, J.-H. (2008). Beyond minimax: Nonzero-sum game tree search with knowledge oriented players. In Metareasoning: Thinking about Thinking, Papers from the AAAI Workshop, Technical Report WS-08-07. AAAI Press, Menlo Park, California.

  55. 55.

    Schaul, T. (2013). A video game description language for model-based or interactive learning. In 2013 IEEE Conference on Computational Inteligence in Games (CIG), (pp. 1–8). IEEE.

  56. 56.

    Schiffel, S., & Thielscher, M. (2007). M.: Fluxplayer: A successful general game player. In In: Proceedings of the AAAI National Conference on Artificial Intelligence, (pp. 1191–1196). AAAI Press.

  57. 57.

    Schiffel, S., & Thielscher, M. (2009). A multiagent semantics for the game description language. In International Conference on Agents and Artificial Intelligence, (pp. 44–55). Springer.

  58. 58.

    Schkufza, E., Love, N., & Genesereth, M. (2008). Propositional automata and cell automata: Representational frameworks for discrete dynamic systems. In W. Wobcke & M. Zhang (Eds.), AI 2008: Advances in artificial intelligence (pp. 56–66). Berlin: Springer.

    Google Scholar 

  59. 59.

    Serrano, R. (2008). bargaining. In Steven N. D., & Lawrence E. B. (Eds.), The New Palgrave Dictionary of Economics. Basingstoke: Palgrave Macmillan.

  60. 60.

    Shubik, M. (1971). The dollar auction game: A paradox in noncooperative behavior and escalation. The Journal of Conflict Resolution, 15(1), 109–111.

    Article  Google Scholar 

  61. 61.

    Silver, D., Huang, A., Maddison, C. J., Guez, A., Sifre, L., van den Driessche, G., et al. (2016). Mastering the game of go with deep neural networks and tree search. Nature, 529(7587), 484–489.

    Article  Google Scholar 

  62. 62.

    Thielscher, M. (2010). A general game description language for incomplete information games. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11–15, 2010.

  63. 63.

    Thielscher, M. (2011). The general game playing description language is universal. In Twenty-Second International Joint Conference on Artificial Intelligence.

  64. 64.

    Thielscher, M. (2017). Gdl-iii: A description language for epistemic general game playing. In The IJCAI-16 Workshop on General Game Playing (p. 31).

  65. 65.

    Thomas, R. S. (2003). Real-time decision making for adversarial environments using a plan-based heuristi.

  66. 66.

    von Neumann, J. (1959). On the theory of games of strategy. In A. W. Tucker & R. D. Luce (Eds.), Contributions to the theory of games (pp. 13–42). Princeton: Princeton University Press.

    Google Scholar 

  67. 67.

    Voynarovskaya, N., Gorbunov, R., Barakova, E., Ahn, R., & Rauterberg, M. (2010). Nonverbal behavior observation: Collaborative gaming method for prediction of conflicts during long-term missions. In International Conference on Entertainment Computing, (pp. 103–114). Springer.

  68. 68.

    Williams, C. R., Robu, V., Gerding, E. H., & Jennings, N. R. (2011). Using gaussian processes to optimise concession in complex negotiations against unknown opponents. In IJCAI, (pp. 432–438). IJCAI/AAAI.

  69. 69.

    Xenou, K., Chalkiadakis, G., & Afantenos, S. D. (2018). Deep reinforcement learning in strategic board game environments. In Marija Slavkovik, editor, Multi-Agent Systems—16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers, volume 11450 of Lecture Notes in Computer Science (pp. 233–248). Springer.

  70. 70.

    Zhang, D., & Thielscher, M. (2015). A logic for reasoning about game strategies. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15), (pp. 1671–1677).

Download references

Acknowledgements

This work was funded by the E.U. Horizon 2020 Research and Innovation Programme, Grant Agreement No. 769142, Project LOGISTAR.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Dave de Jonge.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Supplementary Information

Below is the link to the electronic supplementary material.

Supplementary file1 (PDF 56 kb)

Supplementary file2 (PDF 65 kb)

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

de Jonge, D., Zhang, D. GDL as a unifying domain description language for declarative automated negotiation. Auton Agent Multi-Agent Syst 35, 13 (2021). https://doi.org/10.1007/s10458-020-09491-6

Download citation

Keywords

  • Automated negotiations
  • Game description language
  • Non-zero-sum games
  • Extensive-form games
  • General game playing
  • Monte Carlo tree search