Tese

Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri (2016)

• Authors:
  • Martinez Silva, Javier
  • Silva, José Reinaldo (Orientador)
• Autor USP: SILVA, JAVIER MARTÍNEZ - EP
• Unidade: EP
• Sigla do Departamento: PMR
• Subjects: ENGENHARIA DE REQUISITOS; REDES DE PETRI
• Agências de fomento:
  • Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
• Language: Português
• Abstract: Trabalhos recentes na área de Planejamento e Escalonamento têm gerado uma grande expectativa em relação à aplicação dos resultados em sistemas reais. Neste cenário, métodos, ferramentas e conceitos provenientes das Engenharia do Conhecimento e da Engenharia de Requisitos se tornam fundamentais para caracterizar melhor, entender e especificar os domínios de planejamento. Nesse caso uma especial importância deve ser dada às etapas iniciais do processo, onde o conhecimento sobre o domínio é incompleto e onde existem poucas ferramentas, seja para o suporte ou automação parcial do processo, e as ferramentas já existentes carecem de métodos formais para a modelagem e análise dos requisitos. Neste trabalho propõe-se o ReKPlan (Ambiente para a Engenharia de Requisitos usando KAOS em problemas de planejamento), que usa KAOS, um método orientado a objetivos, para a modelagem de requisitos. Entretanto, o uso do KAOS (ou de qualquer outro método goaloriented) não atende à necessidade de verificar formalmente o comportamento dinâmico quando o alvo são sistemas de planejamento. A proposta deste trabalho é combinar o uso do método orientado a objetivos com o formalismo das Redes de Petri (Rdp) -especificamente a abordagem seguida pelo GHENeSys- para representar e analisar requisitos no projeto de sistemas de planejamento. Finalmente é proposto um método sobre o processo de projeto que, guiado por modelos, gera instruções PDDL servindo de entrada para os planejadores. A método foi aplicado a vários estudos de caso que o avaliam como um mecanismo promissor e eficiente na Engenharia de Requisitos resultando em uma melhor definição dos requisitos em problemas de planejamento.
• Imprenta:
  • Publisher place: São Paulo
  • Date published: 2016
• Data da defesa: 19.12.2016


---

How to cite

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

• ABNT

  MARTINEZ SILVA, Javier. Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-16032017-101727/. Acesso em: 18 set. 2024.

• APA

  Martinez Silva, J. (2016). Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-16032017-101727/

• NLM

  Martinez Silva J. Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri [Internet]. 2016 ;[citado 2024 set. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-16032017-101727/

• Vancouver

  Martinez Silva J. Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri [Internet]. 2016 ;[citado 2024 set. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-16032017-101727/

Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI: