Petrigraph : um algoritmo para planejamento por desdobramento de redes de Petri

Detalhes bibliográficos
Ano de defesa: 2008
Autor(a) principal: Töws, Guilherme Stutz
Orientador(a): Silva, Fabiano, 1972-
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Algorítmos
Redes de petri
Inteligência artificial
Ciência da Computação
Link de acesso: https://hdl.handle.net/1884/16263
Resumo: Orientador: Fabiano Silva
id UFPR_91106c1cddf1eb35972c1923c9bc4555
oai_identifier_str oai:acervodigital.ufpr.br:1884/16263
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaSilva, Fabiano, 1972-Töws, Guilherme Stutz2024-10-22T14:34:07Z2024-10-22T14:34:07Z2008https://hdl.handle.net/1884/16263Orientador: Fabiano SilvaDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 2008Inclui bibliografiaResumo: E proposto um algoritmo, chamado Pctrigraph, que é uma extensão do algoritmo Pctrify de Hiekmott ct al [1]. O algoritmo Petrify apresenta uma solução ao problema de planejamento baseado na conversão do problema em uma rede de Petri e análise de alcançabilidade sobre esta rede por meio da técnica de desdobramento. O Pctrigraph inova em utilizar informações da representação do problema na linguagem PDDL para otimizar o processo de criação da rede de Petri através da criação de variáveis multivaloradas, que é uma técnica utilizada para reduzir o espaço de estados de problemas derivados do PDDL, e grafos de transição de domínio, que proporcionam a conexão entre variáveis multivaloradas e redes de Petri seguras. Após a revisão dos conceitos fundamentais de redes de Petri e planejamento, descrevese o funcionamento do Pctrigraph, como ele se compara com o Pctrify, e como o algoritmo foi implementado. São mostrados resultados de testes feitos com o algoritmo Pctrigraph, comparando-o ao Pctrify e ao SatPlan em sete domínios extraídos de competições de planejamento. E demonstrado que, sob certas condições, este método resulta num processo de desdobramento mais rápido e um planejador mais rápido que o algoritmo Pctrify original.Abstract: This work improves the Petrify technique, which presented a solution to the planning problem based on the Petri net network analysis technique for reachability analysis. Information from the PDDL encoding is used in order to optimize the process of acquiring a Petri net from a planning problem. This approach leads to a reduction in the size of the generated net. The method employs the creation of multi-valued variables, which are a technique used to reduce unnecessary state space for PDDL-derived problems, and domain transition graphs, which provide the bridging between planning problem and Petri net. It is demonstrated that, under certain conditions, this method results in a faster unfolding process and a faster planner than the original Petrify algorithm.viii, 88f. : il., grafs.application/pdfDisponível em formato digitalAlgorítmosRedes de petriInteligência artificialCiência da ComputaçãoPetrigraph : um algoritmo para planejamento por desdobramento de redes de Petriinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALR - D - GUILHERME STUTZ TOWS.pdfapplication/pdf48661335https://acervodigital.ufpr.br/bitstream/1884/16263/1/R%20-%20D%20-%20GUILHERME%20STUTZ%20TOWS.pdf3ddee39bf3c98c24cadd30a0b438fb4bMD51open access1884/162632024-10-22 11:34:07.519open accessoai:acervodigital.ufpr.br:1884/16263Repositório InstitucionalPUBhttp://acervodigital.ufpr.br/oai/requestinformacaodigital@ufpr.bropendoar:3082024-10-22T14:34:07Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Petrigraph : um algoritmo para planejamento por desdobramento de redes de Petri
title Petrigraph : um algoritmo para planejamento por desdobramento de redes de Petri
spellingShingle Petrigraph : um algoritmo para planejamento por desdobramento de redes de Petri
Töws, Guilherme Stutz
Algorítmos
Redes de petri
Inteligência artificial
Ciência da Computação
title_short Petrigraph : um algoritmo para planejamento por desdobramento de redes de Petri
title_full Petrigraph : um algoritmo para planejamento por desdobramento de redes de Petri
title_fullStr Petrigraph : um algoritmo para planejamento por desdobramento de redes de Petri
title_full_unstemmed Petrigraph : um algoritmo para planejamento por desdobramento de redes de Petri
title_sort Petrigraph : um algoritmo para planejamento por desdobramento de redes de Petri
author Töws, Guilherme Stutz
author_facet Töws, Guilherme Stutz
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 Silva, Fabiano, 1972-
dc.contributor.author.fl_str_mv Töws, Guilherme Stutz
contributor_str_mv Silva, Fabiano, 1972-
dc.subject.por.fl_str_mv Algorítmos
Redes de petri
Inteligência artificial
Ciência da Computação
topic Algorítmos
Redes de petri
Inteligência artificial
Ciência da Computação
description Orientador: Fabiano Silva
publishDate 2008
dc.date.issued.fl_str_mv 2008
dc.date.accessioned.fl_str_mv 2024-10-22T14:34:07Z
dc.date.available.fl_str_mv 2024-10-22T14:34:07Z
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/16263
url https://hdl.handle.net/1884/16263
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 viii, 88f. : il., grafs.
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/16263/1/R%20-%20D%20-%20GUILHERME%20STUTZ%20TOWS.pdf
bitstream.checksum.fl_str_mv 3ddee39bf3c98c24cadd30a0b438fb4b
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 informacaodigital@ufpr.br
_version_ 1847526339753541632

Registros relacionados