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

Authors:
Vladimir Di Iorio;Roberto S. Bigonha;Mariza A. S. Bigonha;Alcione Oliveira;Eliseu Miguel
Affiliations:
Departamento de Informática, Universidade Federal de Viçosa, Viçosa, Brazil;Departamento de Ciência da Computação, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil;Departamento de Ciência da Computação, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil;Departamento de Informática, Universidade Federal de Viçosa, Viçosa, Brazil;Departamento de Informática, Universidade Federal de Viçosa, Viçosa, Brazil
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 10
Cited 0

An introduction to programming in Prolog

An introduction to programming in Prolog
Exploring Prolog: adventures, objects, animals, and taxes

PC AI
Artificial intelligence: a modern approach

Artificial intelligence: a modern approach
Evolving algebras 1993: Lipari guide

Specification and validation methods
The bakery algorithm: yet another specification and verification

Specification and validation methods
Building applications using only demonstration

IUI '98 Proceedings of the 3rd international conference on Intelligent user interfaces
GameBots: a flexible test bed for multiagent team research

Communications of the ACM - Internet abuse in the workplace and Game engines in scientific research
Bots: The Origin of the New Species

Bots: The Origin of the New Species
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions

CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
Abstract State Machines: A Method for High-Level System Design and Analysis

Abstract State Machines: A Method for High-Level System Design and Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.