Skip to main content
SpringerLink
Log in

From General Game Descriptions to a Market Specification Language for General Trading Agents

  • Conference paper
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets (AMEC 2009, TADA 2009)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 59))

Abstract

The idea behind General Game Playing is to build systems that, instead of being programmed for one specific task, are intelligent and flexible enough to negotiate an unknown environment solely on the basis of the rules which govern it. In this paper, we argue that this principle has the great potential to bring to a new level artificially intelligent systems in other application areas as well. Our specific interest lies in General Trading Agents, which are able to understand the rules of unknown markets and then to actively participate in them without human intervention. To this end, we extend the general Game Description Language into a language that allows to formally describe arbitrary markets in such a way that these specifications can be automatically processed by a computer. We present both syntax and a transition-based semantics for this Market Specification Language and illustrate its expressive power by presenting axiomatizations of several well-known auction types.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    Google Scholar 

  2. Love, N., Hinrichs, T., Haley, D., Schkufza, E., Genesereth, M.: General Game Playing: Game Description Language Specification. Technical Report LG-2006-01, Stanford Logic Group, Computer Science Department, Stanford University, 353 Serra Mall, Stanford, CA 94305 (2006), http://games.stanford.edu

  3. Kuhlmann, G., Dresner, K., Stone, P.: Automatic heuristic construction in a complete general game player. In: Proceedings of the AAAI National Conference on Artificial Intelligence, Boston, July 2006, pp. 1457–1462. AAAI Press, Menlo Park (2006)

    Google Scholar 

  4. Clune, J.: Heuristic evaluation functions for general game playing. In: Proceedings of the AAAI National Conference on Artificial Intelligence, Vancouver, July 2007, pp. 1134–1139. AAAI Press, Menlo Park (2007)

    Google Scholar 

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

    Google Scholar 

  6. Björnsson, Y., Finnsson, H.: CADIAPLAYER: A simulation-based general game player. IEEE Transactions on Computational Intelligence and AI in Games 1(1), 4–15 (2009)

    Article  Google Scholar 

  7. Friedman, D.: The double auction market institution: A survey. The Double Auction Market: Institutions, Theories, and Evidence, 3–25 (1993)

    Google Scholar 

  8. FIPA00031: Fipa english auction interaction protocol specification. Technical report, Foundation for Intelligent Physical Agents (2001)

    Google Scholar 

  9. Madhavan, A.: Trading mechanisms in securities markets. The Journal of Finance XLVII(2), 607–641 (1992)

    Article  Google Scholar 

  10. Wurman, P.R., Walsh, W.E., Wellman, M.P.: Flexible double auctions for electronic commerce: theory and implementation. Decision Support Systems 24(1), 17–27 (1998)

    Article  Google Scholar 

  11. Schiffel, S., Thielscher, M.: A multiagent semantics for the game description language. In: Filipe, J., Fred, A., Sharp, B. (eds.) Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART), Porto, pp. 44–55. Springer, Heidelberg (2009)

    Google Scholar 

  12. Lloyd, J.: Foundations of Logic Programming, extended edn. Series Symbolic Computation. Springer, Heidelberg (1987)

    Google Scholar 

  13. Apt, K., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 89–148. Morgan Kaufmann, San Francisco (1987)

    Google Scholar 

  14. van Gelder, A.: The alternating fixpoint of logic programs with negation. In: Proceedings of the 8th Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD, pp. 1–10 (1989)

    Google Scholar 

  15. Lloyd, J., Topor, R.: A basis for deductive database systems II. Journal of Logic Programming 3(1), 55–67 (1986)

    Article  MATH  MathSciNet  Google Scholar 

  16. Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293–322. Plenum Press, New York (1978)

    Google Scholar 

  17. Amihud, Y., Mendelson, H.: Trading mechanisms and stock returns: An empirical investigation. Journal of Finance 42(3), 533–553 (1987)

    Article  Google Scholar 

  18. Niu, J., Cai, K., Gerding, E., McBurney, P., Parsons, S.: Characterizing effective auction mechanisms: Insights from the 2007 TAC Mechanism Design Competition. In: Padgham, P., Müller, P. (eds.) Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems, pp. 1079–1086 (2008)

    Google Scholar 

  19. Wellman, M.P., Greenwald, A., Stone, P.: Autonomous Bidding Agents: Strategies and Lessons from the Trading Agent Competition. MIT Press, Cambridge (2007)

    Google Scholar 

  20. Esteva, M., de la Cruz, D., Sierra, C.: Islander: en electronic institutions editor. In: Cristiano Castelfranchi, W.L.J. (ed.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, vol. 3, pp. 1045–1052. ACM Press, New York (2002)

    Chapter  Google Scholar 

  21. Fasli, M., Michalakopoulos, M.: e-game: A platform for developing auction-based market simulations. Decision Support Systems 44(2), 469–481 (2008)

    Article  Google Scholar 

  22. Wurman, P.R., Wellman, M.P., Walsh, W.E.: A parameterization of the auction design space. Games and Economic Behavior 35(1/2), 304–338 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  23. Koller, D., Pfeffer, A.: Representations and solutions for game-theoretic problems. Artificial Intelligence 94, 167–215 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  24. Kraus, S., Sycara, K., Evenchik, A.: Reaching agreements through argumentation: a logical model and implementation. Artificial Intelligence 104, 1–69 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  25. Zhang, D.: Reasoning about bargaining situations. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07), pp. 154–159 (2007)

    Google Scholar 

  26. Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003), pp. 679–684. Morgan Kaufmann Publishers, San Francisco (2003)

    Google Scholar 

  27. Labrou, Y., Finin, T.: Semantics and conversations for an agent communication language. In: Readings in agents, pp. 235–242. Morgan Kaufmann Publishers Inc., San Francisco (1998)

    Google Scholar 

  28. Mcginnis, J., Miller, T.: Amongst first-class protocols. In: Engineering Societies in the Agents World VIII, pp. 208–223. Springer, Heidelberg (2008)

    Google Scholar 

  29. Boutilier, C., Hoos, H.H.: Bidding languages for combinatorial auctions. In: Proceedings of the 17th international joint conference on Artificial intelligence (IJCAI’01), pp. 1211–1217. Morgan Kaufmann Publishers Inc., San Francisco (2001)

    Google Scholar 

  30. Cerquides, J., Endriss, U., Giovannucci, A., Rodríguez-Aguilar, J.A.: Bidding languages and winner determination for mixed multi-unit combinatorial auctions. In: Proceedings of the 20th international joint conference on Artifical intelligence (IJCAI’07), pp. 1221–1226. Morgan Kaufmann Publishers Inc., San Francisco (2007)

    Google Scholar 

  31. Uckelman, J., Endriss, U.: Winner determination in combinatorial auctions with logic-based bidding languages. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS ’08), pp. 1617–1620 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The University of New South Wales, Australia

    Michael Thielscher

  2. University of Western Sydney, Australia

    Dongmo Zhang

Authors
  1. Michael Thielscher
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dongmo Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Ashkelon Academic College, 78461, Ashkelon, Israel

    Esther David

  2. Highfield, University of Southampton, SO17 1BJ, Southampton, UK

    Enrico Gerding

  3. Department of Computer Science, Bar Ilan University, 52900, Ramat-Gan, Israel

    David Sarne

  4. IBM Haifa Research Lab, Haifa University Campus, 31905, Haifa, Mount Carmel, Israel

    Onn Shehory

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Thielscher, M., Zhang, D. (2010). From General Game Descriptions to a Market Specification Language for General Trading Agents. In: David, E., Gerding, E., Sarne, D., Shehory, O. (eds) Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets. AMEC TADA 2009 2009. Lecture Notes in Business Information Processing, vol 59. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15117-0_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15117-0_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15116-3

  • Online ISBN: 978-3-642-15117-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation