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 | Salvi, Jorge Luis | - |
Data de aceite: dc.date.accessioned | 2025-09-01T10:34:59Z | - |
Data de disponibilização: dc.date.available | 2025-09-01T10:34:59Z | - |
Data de envio: dc.date.issued | 2024-11-05 | - |
Data de envio: dc.date.issued | 2024-11-05 | - |
Data de envio: dc.date.issued | 2009 | - |
Fonte completa do material: dc.identifier | https://hdl.handle.net/1884/21188 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/21188 | - |
Descrição: dc.description | Orientador : Prof. Dr. 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, 31/08/2009 | - |
Descrição: dc.description | Inclui bibliografia | - |
Descrição: dc.description | Resumo: 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.description | 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. | - |
Formato: dc.format | 95f. : il., tabs. | - |
Formato: dc.format | application/pdf | - |
Formato: dc.format | application/pdf | - |
Relação: dc.relation | Disponível em formato digital | - |
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 | Relacionamentos temporais entre redes de petri e planejamento automático | - |
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: