|
------------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ------------------------------------------------------------------------------- Título: Engenharia de Conhecimento para Planejamento Palestrante: Tiago S. Vaquero Data: sexta-feira, 16/09/2005, 11:40 h Local: Sala 144 do bloco B Resumo: A graphical interface is presented for the modeling of planning environments where an integrated tool permits the user to export the planning model to different representation languages such as PDDL or XML. The application uses an UML model to introduce a planning domain as a first step, followed by a step where a representation in Petri Nets automatically translated from UML - is used to validate its static and dynamic behavior. A preliminary version of a software tool called itSIMPLE is presented which can manage the initial modeling on UML extended model and export the model to PDDL or Petri Nets using XML as internal language. Todos são benvindos |
Fórum