Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Silva, Fabiano, 1972- | - |
Autor(es): dc.contributor | Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática | - |
Autor(es): dc.creator | Töws, Guilherme Stutz | - |
Data de aceite: dc.date.accessioned | 2025-09-01T13:34:08Z | - |
Data de disponibilização: dc.date.available | 2025-09-01T13:34:08Z | - |
Data de envio: dc.date.issued | 2024-10-21 | - |
Data de envio: dc.date.issued | 2024-10-21 | - |
Data de envio: dc.date.issued | 2008 | - |
Fonte completa do material: dc.identifier | https://hdl.handle.net/1884/16263 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/16263 | - |
Descrição: dc.description | Orientador: Fabiano Silva | - |
Descrição: dc.description | Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 2008 | - |
Descrição: dc.description | Inclui bibliografia | - |
Descrição: dc.description | Resumo: 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. | - |
Descrição: dc.description | 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. | - |
Formato: dc.format | viii, 88f. : il., grafs. | - |
Formato: dc.format | application/pdf | - |
Formato: dc.format | application/pdf | - |
Relação: dc.relation | Disponível em formato digital | - |
Palavras-chave: dc.subject | Algorítmos | - |
Palavras-chave: dc.subject | Redes de petri | - |
Palavras-chave: dc.subject | Inteligência artificial | - |
Palavras-chave: dc.subject | Ciência da Computação | - |
Título: dc.title | Petrigraph : um algoritmo para planejamento por desdobramento de redes de Petri | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Institucional - Rede Paraná Acervo |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: