What’s the name of the game? Formal Specification of Artificial Intelligence Games

Detalhes bibliográficos
Autor(a) principal: Iorio, Vladimir Di
Data de Publicação: 2015
Outros Autores: Bigonha, Roberto S., Bigonha, Mariza A. S., Oliveira, Alcione, Miguel, Eliseu
Tipo de documento: Artigo
Idioma: eng
Título da fonte: LOCUS Repositório Institucional da UFV
Texto Completo: https://doi.org/10.1016/j.entcs.2005.03.008
http://www.locus.ufv.br/handle/123456789/22571
Resumo: 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.
id UFV_93df695e3ff123c66676db84530d2218
oai_identifier_str oai:locus.ufv.br:123456789/22571
network_acronym_str UFV
network_name_str LOCUS Repositório Institucional da UFV
repository_id_str 2145
spelling What’s the name of the game? Formal Specification of Artificial Intelligence GamesArtificial intelligenceComputer gamesAbstract state machinesArtificial 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.Electronic Notes in Theoretical Computer Science2018-11-19T17:05:04Z2018-11-19T17:05:04Z2015-05-12info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlepdfapplication/pdf15710661https://doi.org/10.1016/j.entcs.2005.03.008http://www.locus.ufv.br/handle/123456789/22571engVolume 130, Pages 129- 150, May 2005Iorio, Vladimir DiBigonha, Roberto S.Bigonha, Mariza A. S.Oliveira, AlcioneMiguel, Eliseuinfo:eu-repo/semantics/openAccessreponame:LOCUS Repositório Institucional da UFVinstname:Universidade Federal de Viçosa (UFV)instacron:UFV2024-07-12T08:05:14Zoai:locus.ufv.br:123456789/22571Repositório InstitucionalPUBhttps://www.locus.ufv.br/oai/requestfabiojreis@ufv.bropendoar:21452024-07-12T08:05:14LOCUS Repositório Institucional da UFV - Universidade Federal de Viçosa (UFV)false
dc.title.none.fl_str_mv What’s the name of the game? Formal Specification of Artificial Intelligence Games
title What’s the name of the game? Formal Specification of Artificial Intelligence Games
spellingShingle What’s the name of the game? Formal Specification of Artificial Intelligence Games
Iorio, Vladimir Di
Artificial intelligence
Computer games
Abstract state machines
title_short What’s the name of the game? Formal Specification of Artificial Intelligence Games
title_full What’s the name of the game? Formal Specification of Artificial Intelligence Games
title_fullStr What’s the name of the game? Formal Specification of Artificial Intelligence Games
title_full_unstemmed What’s the name of the game? Formal Specification of Artificial Intelligence Games
title_sort What’s the name of the game? Formal Specification of Artificial Intelligence Games
author Iorio, Vladimir Di
author_facet Iorio, Vladimir Di
Bigonha, Roberto S.
Bigonha, Mariza A. S.
Oliveira, Alcione
Miguel, Eliseu
author_role author
author2 Bigonha, Roberto S.
Bigonha, Mariza A. S.
Oliveira, Alcione
Miguel, Eliseu
author2_role author
author
author
author
dc.contributor.author.fl_str_mv Iorio, Vladimir Di
Bigonha, Roberto S.
Bigonha, Mariza A. S.
Oliveira, Alcione
Miguel, Eliseu
dc.subject.por.fl_str_mv Artificial intelligence
Computer games
Abstract state machines
topic Artificial intelligence
Computer games
Abstract state machines
description 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.
publishDate 2015
dc.date.none.fl_str_mv 2015-05-12
2018-11-19T17:05:04Z
2018-11-19T17:05:04Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv 15710661
https://doi.org/10.1016/j.entcs.2005.03.008
http://www.locus.ufv.br/handle/123456789/22571
identifier_str_mv 15710661
url https://doi.org/10.1016/j.entcs.2005.03.008
http://www.locus.ufv.br/handle/123456789/22571
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Volume 130, Pages 129- 150, May 2005
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv pdf
application/pdf
dc.publisher.none.fl_str_mv Electronic Notes in Theoretical Computer Science
publisher.none.fl_str_mv Electronic Notes in Theoretical Computer Science
dc.source.none.fl_str_mv reponame:LOCUS Repositório Institucional da UFV
instname:Universidade Federal de Viçosa (UFV)
instacron:UFV
instname_str Universidade Federal de Viçosa (UFV)
instacron_str UFV
institution UFV
reponame_str LOCUS Repositório Institucional da UFV
collection LOCUS Repositório Institucional da UFV
repository.name.fl_str_mv LOCUS Repositório Institucional da UFV - Universidade Federal de Viçosa (UFV)
repository.mail.fl_str_mv fabiojreis@ufv.br
_version_ 1822610688557711360

Registros relacionados