Game Description Language

Game Description Language (GDL ) is a description language that was developed as part of the General Game by Michael Genesereth Playing Project at Stanford University, California. GDL describes the condition of a game as a series of facts and the game mechanics as logical rules. GDL is used as the base language for the development of game descriptions in the scientific environment. This language can be based (ie without random ) modeled and played against each other via a suitable interface any finite, deterministic games with full knowledge.

Description

A GDL description takes the form of a series of logical propositions. These sentences shall be given at any stage of the match. When given rates, the following terms are defined:

  • Role - is used to set or add the name or the role of a player;
  • Init - refers to the initial, true game state ( the given at this time, true fact );
  • True - indicates the current, the current state ( the given at this time, true fact );
  • Does - The train, the action performed by the player in the current state of the game;
  • Next - called a true fact about the next game state;
  • Legal - refers to a legal step ( " Does" ) in the current state;
  • Goal - is used around the target value of the game in its current state to define;
  • Terminal - means the current state of the final;

GDL is an open language whose vocabulary can be expanded, but the importance of these basic concepts for all games is always consistent.

Term Description game Tic -Tac -Toe ( two players )

Role - Two players - XPlayer and Oplayer

(role XPlayer ) (role Oplayer ) Init - XPlayer begins

(init (control XPlayer ) ) (init (cell 1 1 blank ) )   ... (init (cell 3 3 blank ) ) True - XPlayer active in the current state

(true (control XPlayer ) ) (true (cell 1 1 b)) (true (cell 3 2 x)) (true (cell 3 3 ​​o)) Does - XPlayer marked cell (1, 2) while nothing makes Oplayer

( does XPlayer (mark 1 2 ) ) ( does Oplayer noop ) Next - often depends on the selected features from

(< = ( Next ( control XPlayer ) ) (true (control Oplayer ))) Legal - at least one train for each player in each ( non-terminal ) state

(< = ( Legal? Player (mark? X? Y)) (true (cell? x? y b)) (true ( control? player ))) Goal - assigns these states reviews

(< = ( Goal? Player 100 ) (line? player ) ) Terminal - Defines the terminal states

(< = Terminal (role? player ) (line? player ) ) Web Links

  • Game Description Language Description - English
  • Verification of Games in the Game Description Language - English
360086
de