What's the Name of the Game? Formal Specification of Artificial Intelligence Games | Zendy

Vladimir Di Iorio | Zendy; Roberto S. Bigonha | Zendy; Mariza A. S. Bigonha | Zendy; Alcione de Paiva Oliveira | Zendy; Eliseu C. Miguel | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

What's the Name of the Game? Formal Specification of Artificial Intelligence Games

Author(s) -

Vladimir Di Iorio,

Roberto S. Bigonha,

Mariza A. S. Bigonha,

Alcione de Paiva Oliveira,

Eliseu C. Miguel

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.03.008

Subject(s) - computer science , competitor analysis , artificial intelligence , compiler , task (project management) , programming language , order (exchange) , management , finance , economics

Artificial intelligence games are a very interesting tool for teaching Artificial Intelligence techniques. Competitors write programs for agents, which are supposed to complete a given task or fight against other agents. In order to achieve the best performance, programs may have to use advanced Artificial Intelligence methods. In this paper, we present a framework to build artificial intelligence games, using Abstract State Machines (ASM) for the specification of the rules of the games. Choosing ASM, we expect that the competitors will be able to understand clearly the semantics of the rules. The framework includes a compiler for an ASM-based language, allows complete control of the order of execution of agents and easy integration with graphical libraries

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research