Relacionamentos temporais entre redes de petri e planejamento automático

Detalhes bibliográficos
Ano de defesa: 2009
Autor(a) principal: Salvi, Jorge Luis
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:
Redes de petri
Inteligência artificial
Ciência da computação
Link de acesso: https://hdl.handle.net/1884/21188
Resumo: Orientador : Prof. Dr. Fabiano Silva
id UFPR_dfad60f634d40ca8531a0c757b574cb3
oai_identifier_str oai:acervodigital.ufpr.br:1884/21188
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-Salvi, Jorge Luis2024-11-06T13:09:23Z2024-11-06T13:09:23Z2009https://hdl.handle.net/1884/21188Orientador : Prof. Dr. Fabiano SilvaDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 31/08/2009Inclui bibliografiaResumo: Este trabalho apresenta relacionamentos entre problemas de planejamento temporal em inteligência artificial e alcançabilidade em redes de Petri com tempo, estendendo assim os trabalhos de Silva [1], Hickmott et al. [2], Petry [3] e Edelkamp e Jabbar [4], que não tratam informações temporais. Estas relações são dadas pela tradução de problemas de um formalismo para outro. Tais traduções proporcionam o uso dos métodos formais de análise das redes de Petri e também os sofisticados algoritmos de busca da área de planejamento automático para solucionar problemas que fazem uso de informações temporais. E comparado ao poder de expressividade das transições temporais e temporizadas de uma rede de Petri com uma ação durativa em PDDL, demonstrando que as duas primeiras têm poder de expressividade reduzido em relação à última. Também é apresentada uma rede de Petri temporal capaz de simular a execução de um conjunto de ações durativas descritas pela linguagem PDDL.Abstract: This work presents relationships among temporal planning problems in artificial intelligence and reachability in Petri nets with time. It extends the works of Silva [1],Hickmott et al. [2], Petry [3], and Edelkamp and Jabbar [4] to support temporal information. These relationships are given by the translation of problems from one formalismto another. Such translations permit the use of the formal analysis methods of the Petrinets as well as the fast search algorithms of automatic planning area to solve problemswith temporal information. The expressiveness power of the time and timed transitionsof a Petri net is comparated with the duractive actions in PDDL language, showing thatthe first two have reduced expressiveness power. Also, it is presented a temporal Petrinet capable to simulate the execution of a set of duractive actions described in PDDL.95f. : il., tabs.application/pdfDisponível em formato digitalRedes de petriInteligência artificialCiência da computaçãoRelacionamentos temporais entre redes de petri e planejamento automáticoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALdissertacao.pdfapplication/pdf1838978https://acervodigital.ufpr.br/bitstream/1884/21188/1/dissertacao.pdf3a2421eb69fbd68504eed58569a27823MD51open accessTEXTdissertacao.pdf.txtExtracted Texttext/plain179170https://acervodigital.ufpr.br/bitstream/1884/21188/2/dissertacao.pdf.txt8909cfc3c014d8577014d4670f9e31f6MD52open accessTHUMBNAILdissertacao.pdf.jpgGenerated Thumbnailimage/jpeg1123https://acervodigital.ufpr.br/bitstream/1884/21188/3/dissertacao.pdf.jpge4bea7292191c971c3e8bfc6a1126b88MD53open access1884/211882024-11-06 10:09:23.877open accessoai:acervodigital.ufpr.br:1884/21188Repositório InstitucionalPUBhttp://acervodigital.ufpr.br/oai/requestinformacaodigital@ufpr.bropendoar:3082024-11-06T13:09:23Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Relacionamentos temporais entre redes de petri e planejamento automático
title Relacionamentos temporais entre redes de petri e planejamento automático
spellingShingle Relacionamentos temporais entre redes de petri e planejamento automático
Salvi, Jorge Luis
Redes de petri
Inteligência artificial
Ciência da computação
title_short Relacionamentos temporais entre redes de petri e planejamento automático
title_full Relacionamentos temporais entre redes de petri e planejamento automático
title_fullStr Relacionamentos temporais entre redes de petri e planejamento automático
title_full_unstemmed Relacionamentos temporais entre redes de petri e planejamento automático
title_sort Relacionamentos temporais entre redes de petri e planejamento automático
author Salvi, Jorge Luis
author_facet Salvi, Jorge Luis
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 Salvi, Jorge Luis
contributor_str_mv Silva, Fabiano, 1972-
dc.subject.por.fl_str_mv Redes de petri
Inteligência artificial
Ciência da computação
topic Redes de petri
Inteligência artificial
Ciência da computação
description Orientador : Prof. Dr. Fabiano Silva
publishDate 2009
dc.date.issued.fl_str_mv 2009
dc.date.accessioned.fl_str_mv 2024-11-06T13:09:23Z
dc.date.available.fl_str_mv 2024-11-06T13:09:23Z
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/21188
url https://hdl.handle.net/1884/21188
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 95f. : il., tabs.
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/21188/1/dissertacao.pdf
https://acervodigital.ufpr.br/bitstream/1884/21188/2/dissertacao.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/21188/3/dissertacao.pdf.jpg
bitstream.checksum.fl_str_mv 3a2421eb69fbd68504eed58569a27823
8909cfc3c014d8577014d4670f9e31f6
e4bea7292191c971c3e8bfc6a1126b88
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
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_ 1847526037529821184

Registros relacionados