Intelligent Systems Technologies for Ops

Smith, Ernest E.; Korsmeyer, David J.

doi:10.2514/6.2012-1294820

Cited by 1 publication

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…O itSIMPLE é uma ferramenta mais recente 3 , que seguindo uma abordagem Orientada a Objetos serviu de apoio para que os designers pudessem obter um modelo detalhado do domínio (VAQUERO et al, 2007). A sua maior contribuição foi a introdução do uso da linguagem de modelagem unificada UML para representação de requisitos, usando os diagramas de casos KORSMEYER, 2012); o FlowOpt, que modela processos sobre uma abordagem workflow, simplificando a modelagem e orientando os usuários para a criação de modelos corretos (BART'K et al, 2011); o JABBAH combina a modelagem usando a linguagem BPMN com uma abordagem workflow também (GONZÁLEZ; FERNÁNDEZ; CASTILLO, 2009); e por ultimo o VIZ , que usa uma linguagem gráfica e não-standard simples que permite a descrição de domínios de planejamento (VODRÁZKA; CHRPA, 2010). Todos os ambientes citados permitem a tradução dos modelos do domínio para a linguagem standard PDDL.…”

Section: Engenharia Do Conhecimento Em Planejamento Automáticounclassified

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

Silva¹

View full text Add to dashboard Cite

Recent works in Planning and Scheduling, lead to a great expectations about how to apply achieved results in real systems. In this scenario, methods, tools and concepts from Knowledge and Requirements Engineering seem to be a key issue for characterizing, understanding and specifying the domain of planning problems. In this case a special attention should be given to the initial stages of the process, where knowledge about the domain is incomplete and there are a few tools to support or partially automate the process, and there is a lack of formal methods for modeling and analysis of requirements in the existing tools. This work proposes the ReKPlan (Requirement Engineering Using KAOS for Planning Problems) which uses KAOS, a goal-oriented method, for modeling requirements. However, the use of KAOS (or another goal-oriented method) don't seem the most appropriate for formal verification of the dynamic behavior of planning systems. The purpose of this work is to combine the use of KAOS with Petri Nets formalism (Rdp)-GHENeSys approach specifically-for modeling and analyzing requirements in the design of planning system. Finally is proposed a model driven engineering mechanism over a design for guiding, until the generation of PDDL instructions as input for planners to solve problems.

show abstract

Section: Engenharia Do Conhecimento Em Planejamento Automáticounclassified

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

Silva¹

View full text Add to dashboard Cite

show abstract

Intelligent Systems Technologies for Ops

Cited by 1 publication

References 7 publications

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

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

Contact Info

Product

Resources

About