Space-Consistent Game Equivalence Detection in General Game Playing

Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 614)


In general game playing, agents play previously unknown games by analyzing game rules which are provided in runtime. Since taking advantage of experience from past games can efficiently enhance their intelligence, it is necessary for agents to detect equivalence between games. This paper defines game equivalence formally and concentrates on a specific scale, space-consistent game equivalence (SCGE). To detect SCGE, an approach is proposed mainly reducing the complex problem to some well-studied problems. An evaluation of the approach is performed at the end.


State Machine Conjunctive Normal Form Logical Implication Graph Isomorphism Rule Grounding 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Een, N., Sörensson, N.: MiniSat: a SAT solver with conflict-clause minimization. SAT 5 (2005)Google Scholar
  2. 2.
    Genesereth, M., Love, N., Pell, B.: General game playing: overview of the AAAI competition. AI Mag. 26(2), 62–72 (2005)Google Scholar
  3. 3.
    Karp, R.M.: Reducibility among combinatorial problems. In: Miller, R.E., Thatcher, J.W., Bohlinger, J.D. (eds.) Complexity of Computer Computations. Springer, New York (1972)Google Scholar
  4. 4.
    Kuhlmann, G., Stone, P.: Graph-based domain mapping for transfer learning in general games. In: Kok, J.N., Koronacki, J., Lopez de Mantaras, R., Matwin, S., Mladenič, D., Skowron, A. (eds.) ECML 2007. LNCS (LNAI), vol. 4701, pp. 188–200. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  5. 5.
    Love, N., Hinrichs, T., Haley, D., Schkufza, E., Genesereth, M.: General game playing: game description language specification (2008)Google Scholar
  6. 6.
    McKay, B.D., Piperno, A.: Practical graph isomorphism, II. J. Symb. Comput. 60, 94–112 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Pell, B.: Strategy generation and evaluation for meta-game playing. Ph.D. thesis, University of Cambridge (1993)Google Scholar
  8. 8.
    Schiffel, S.: Symmetry detection in general game playing. In: AAAI (2010)Google Scholar
  9. 9.
    Schiffel, S., Thielscher, M.: A multiagent semantics for the game description language. In: Filipe, J., Fred, A., Sharp, B. (eds.) ICAART 2009. CCIS, vol. 67, pp. 44–55. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  10. 10.
    Tseitin, G.S.: On the complexity of proof in prepositional calculus. Zapiski Nauchnykh Seminarov POMI 8, 234–259 (1968)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Peking UniversityBeijingChina

Personalised recommendations