Algoritmos para planificação baseada em strips

Detalhes bibliográficos
Autor(a) principal: Silva, Fabiano
Data de Publicação: 2000
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: https://hdl.handle.net/1884/110
Resumo: Orientador: Marcos Alexandre Castilho
id UFPR_10c86bdc1b7769a42cbb813c8d12ab44
oai_identifier_str oai:acervodigital.ufpr.br:1884/110
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaCastilho, Marcos Alexandre, 1965-Silva, Fabiano2024-02-02T20:03:10Z2024-02-02T20:03:10Z2000https://hdl.handle.net/1884/110Orientador: Marcos Alexandre CastilhoDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências ExatasResumo: Este trabalho apresenta uma nova abordagem para a classe de problemas de planificação em inteligência artificial baseados na representação proposicional STRIPS, reconhecidamente um problema de complexidade PSPACE-Completo. Com o objetivo de contextualizar o cenário onde nosso trabalho se insere, apresentamos uma revisão do estado da arte na área, abordando os mais recentes algoritmos para o problema. Propomos uma tradução do problema de planificação para um problema de alcançabilidade de sub-marcação em uma rede de Petri. Mostramos como resolver este ultimo usando programação inteira, e como obter a solução para o problema de planificação original. O algoritmo resultante desta abordagem, o Petriplan, é comparado com alguns planificadores atuais através de um conjunto de experimentos realizados nos moldes da competição de planificadores do AIPS de 1998.Abstract: This work presents a new approach to the artificial intelligence planning problem based on STRIPS representation, known to be PSPACE-Complete. We describe some recent algorithms to the planning problem related to this work, and compare some of these to our algorithm, the Petriplan. Our approach defines the planning problem as a sub-marking reachability problem in a Petri net, which is solved by the use of standard integer programming methods. The solution to planning problem is then obtained by the solution of the IP problem.101 f. : il., tabs. ; 30 cm.application/pdfDisponível em formato digitalAlgorítmos de computadorCiência da ComputaçãoAlgoritmos para planificação baseada em stripsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALtexto.pdfapplication/pdf489917https://acervodigital.ufpr.br/bitstream/1884/110/1/texto.pdfda74fe4c358f73e2bfcfffb85d830d76MD51open access1884/1102024-02-02 17:03:10.793open accessoai:acervodigital.ufpr.br:1884/110Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082024-02-02T20:03:10Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Algoritmos para planificação baseada em strips
title Algoritmos para planificação baseada em strips
spellingShingle Algoritmos para planificação baseada em strips
Silva, Fabiano
Algorítmos de computador
Ciência da Computação
title_short Algoritmos para planificação baseada em strips
title_full Algoritmos para planificação baseada em strips
title_fullStr Algoritmos para planificação baseada em strips
title_full_unstemmed Algoritmos para planificação baseada em strips
title_sort Algoritmos para planificação baseada em strips
author Silva, Fabiano
author_facet Silva, Fabiano
author_role author
dc.contributor.other.pt_BR.fl_str_mv Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.advisor1.fl_str_mv Castilho, Marcos Alexandre, 1965-
dc.contributor.author.fl_str_mv Silva, Fabiano
contributor_str_mv Castilho, Marcos Alexandre, 1965-
dc.subject.por.fl_str_mv Algorítmos de computador
Ciência da Computação
topic Algorítmos de computador
Ciência da Computação
description Orientador: Marcos Alexandre Castilho
publishDate 2000
dc.date.issued.fl_str_mv 2000
dc.date.accessioned.fl_str_mv 2024-02-02T20:03:10Z
dc.date.available.fl_str_mv 2024-02-02T20:03:10Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1884/110
url https://hdl.handle.net/1884/110
dc.language.iso.fl_str_mv por
language por
dc.relation.pt_BR.fl_str_mv Disponível em formato digital
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 101 f. : il., tabs. ; 30 cm.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPR
instname:Universidade Federal do Paraná (UFPR)
instacron:UFPR
instname_str Universidade Federal do Paraná (UFPR)
instacron_str UFPR
institution UFPR
reponame_str Repositório Institucional da UFPR
collection Repositório Institucional da UFPR
bitstream.url.fl_str_mv https://acervodigital.ufpr.br/bitstream/1884/110/1/texto.pdf
bitstream.checksum.fl_str_mv da74fe4c358f73e2bfcfffb85d830d76
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv
_version_ 1801860749702725632

Registros relacionados