A Formal Machines as a Player of a Game

  • Paulo Vieira
  • Juan Corchado
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 373)


The Four In Line game is a known game and is played in a game board. A lot of references of this game can be found in internet. This game is a game played between two players. For play this game, against a good player, is necessary a lot of skills. We are working in a new computational system, that we call a Formal Machine, and we developed a library where we implemented this formalism. This library is in version 0.03. We are choosing to implement this game to show; that is possible to implement the new formalism as a player of that game, that the new formalism can have considerable Artificial Intelligence, how we can implement the new formalism for solve an engineering problem. In this paper we described an implementation of a Formal Machine that is a Four In Line player. For measure the Artificial of Intelligence, of the new formalism implemented, we present a statistical study whose conclusions are obtained from a collected sample of 100 different plays/players of the game. The Formal Machine implemented is a computational model whose abstract methods are implemented to make it an efficient player. This implementation of the Four In Line game is played between a human being and a Formal Machine. Thus the Formal Machine plays against an intelligent player. The game board consists in one matrix that can be chosen and setting among a range of matrices that are between a 4 x 4 matrix and a 10 x 10 matrix. Each one of the elements of this matrix is called by us square. It wins the player that completes 4 sequential and consecutive squares in horizontal, vertical or oblique way.


Formal Machines Computational systems Artificial Intelligence Inference Statistic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [LaW04]
    Wasserman, L.: All of Statistics: A concise course in statistical inference. Springer Science + Business Media Inc. (2004)Google Scholar
  2. [Eil74]
    Eilenberg, S.: Automata, languages, and machines, vol. A. Academic Press (1974)Google Scholar
  3. [Hop08]
    Hopcraft, J.E.: Introduction to Automata Theory, Languages, And Computation, 3/E. Pearson Education (2008)Google Scholar
  4. [Mac10]
    Mac Lane, S.: Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer, Berlin (2010)Google Scholar
  5. [Ma98]
    Mac Lane, S.: Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer (1998) ISBN 0-387-98403-8Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Paulo Vieira
    • 1
  • Juan Corchado
    • 2
  1. 1.Polythecnic Institute of GuardaUDI – Research Unit for Inland Development of GuardaGuardaPortugal
  2. 2.University of SalamancaSalamancaSpain

Personalised recommendations