What’s the name of the game? Formal Specification of Artificial Intelligence Games
| dc.contributor.author | Iorio, Vladimir Di | |
| dc.contributor.author | Bigonha, Roberto S. | |
| dc.contributor.author | Bigonha, Mariza A. S. | |
| dc.contributor.author | Oliveira, Alcione | |
| dc.contributor.author | Miguel, Eliseu | |
| dc.date.accessioned | 2018-11-19T17:05:04Z | |
| dc.date.available | 2018-11-19T17:05:04Z | |
| dc.date.issued | 2015-05-12 | |
| dc.description.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. | en |
| dc.format | pt-BR | |
| dc.identifier.issn | 15710661 | |
| dc.identifier.uri | https://doi.org/10.1016/j.entcs.2005.03.008 | |
| dc.identifier.uri | http://www.locus.ufv.br/handle/123456789/22571 | |
| dc.language.iso | eng | pt-BR |
| dc.publisher | Electronic Notes in Theoretical Computer Science | pt-BR |
| dc.relation.ispartofseries | Volume 130, Pages 129- 150, May 2005 | pt-BR |
| dc.rights | Open Access | pt-BR |
| dc.subject | Artificial intelligence | pt-BR |
| dc.subject | Computer games | pt-BR |
| dc.subject | Abstract state machines | pt-BR |
| dc.title | What’s the name of the game? Formal Specification of Artificial Intelligence Games | en |
| dc.type | Artigo | pt-BR |