Relacionamentos temporais entre redes de petri e planejamento automático

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorSilva, Fabiano, 1972--
Autor(es): dc.contributorUniversidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática-
Autor(es): dc.creatorSalvi, Jorge Luis-
Data de aceite: dc.date.accessioned2025-09-01T10:34:59Z-
Data de disponibilização: dc.date.available2025-09-01T10:34:59Z-
Data de envio: dc.date.issued2024-11-05-
Data de envio: dc.date.issued2024-11-05-
Data de envio: dc.date.issued2009-
Fonte completa do material: dc.identifierhttps://hdl.handle.net/1884/21188-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/1884/21188-
Descrição: dc.descriptionOrientador : Prof. Dr. Fabiano Silva-
Descrição: dc.descriptionDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 31/08/2009-
Descrição: dc.descriptionInclui bibliografia-
Descrição: dc.descriptionResumo: 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.-
Descrição: dc.descriptionAbstract: 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.-
Formato: dc.format95f. : il., tabs.-
Formato: dc.formatapplication/pdf-
Formato: dc.formatapplication/pdf-
Relação: dc.relationDisponível em formato digital-
Palavras-chave: dc.subjectRedes de petri-
Palavras-chave: dc.subjectInteligência artificial-
Palavras-chave: dc.subjectCiência da computação-
Título: dc.titleRelacionamentos temporais entre redes de petri e planejamento automático-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - Rede Paraná Acervo

Não existem arquivos associados a este item.