Orientador: Manuel de Jesus Mendes

Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica

Resumo: Este trabalho descreve o desenvolvimento e implementação de um Ambiente Integrado de Apoio à Tomada de Decisão. O mesmo destina-se à análise de sistemas a eventos discretos, oferecendo ferramentas para a realização de modelagem, simulações, previsões de comportamento e inferências lógicas,...

Resumo: Este trabalho descreve o desenvolvimento e implementação de um Ambiente Integrado de Apoio à Tomada de Decisão. O mesmo destina-se à análise de sistemas a eventos discretos, oferecendo ferramentas para a realização de modelagem, simulações, previsões de comportamento e inferências lógicas, de maneira integrada e cooperativa. Apresenta, como principal característica, a integração funcional e operacional de um Simulador a Eventos Discretos com um Processador de Conhecimento, tornando possível a utilização integrada de conhecimento estático, proveniente do Processador de Conhecimento, e de conhecimento dinâmico, proveniente do Simulador. A utilização integrada destes tipos de conhecimento fez-se possível devido ao desenvolvimento de um Modelo Abstrato de Informação, contribuição central deste trabalho. Destacam-se, como principais características deste modelo, o ser: configurável pelo usuário, determinando a forma de apresentação da informação; incremental, facilitando a inclusão de novas informações; flexível, permitindo seu uso para diferentes propósitos; hierárquico, permitindo a composição da informação em vários níveis. A utilização integrada destes tipos de conhecimento fez-se possível devido ao desenvolvimento de um Modelo Abstrato de Informação, contribuição central deste trabalho. Destacam-se, como principais características deste modelo, o ser: configurável pelo usuário, determinando a forma de apresentação da informação; incremental, facilitando a inclusão de novas informações; flexível, permitindo seu uso para diferentes propósitos; hierárquico, permitindo a composição da informação em vários níveis. A abordagem utilizada no desenvolvimento do modelo difere, em parte, da metodologia tradicional de modelagem orientada a objetos, visto combinar uma forma flexível de representação do conhecimento, composta por frames, regras e procedimentos, com as vantagens de uma programação simbólica e declarativa, mediante o uso da linguagem Prolog. Devido a isto, a representação da informação pode ser expressa tanto de maneira informal declarativa, quase coloquial, como de maneira formal, através da Lógica Temporal de Tempo Real Generalizada. Uma metodologia para a transformação da representação formal do conhecimento em declarativa também foi desenvolvida. Uma lógica de simulação foi especialmente desenvolvida, para usufruir das facilidades advindas do modelo de informação e da integração da manipulação do conhecimento, oferecida pelo Processador de Conhecimento. A arquitetura do ambiente é modular, baseada em elementos funcionais projetados segundo o paradigma de objetos, permitindo uma adequação ao uso em configuração distribuída e multiusuário, podendo operar como um Servidor de Apoio à Tomada de Decisão. A utilização do ambiente é amigável ao usuário, dispondo de sistemas tutores especialistas para a aquisição e análise de conhecimento que, por facilitar e orientar o usuário em sua operação, permitem seu uso diretamente pelos profissionais responsáveis pela tomada de decisão

Abstract: This work describes the developing and implementation of an Integrated Decision-Making Support Environment for Discrete-Event System analysis. The decision-making support is provided by a set of integrated and cooperative tools for modeling, simulation, inference, and system behavior...

Abstract: This work describes the developing and implementation of an Integrated Decision-Making Support Environment for Discrete-Event System analysis. The decision-making support is provided by a set of integrated and cooperative tools for modeling, simulation, inference, and system behavior forecast. Its main feature is to provide functional and operational integration for both a Discrete-Event Simulator and a Knowledge Processor, allowing the integration of dynamic knowledge, coming from simulations, wi th static knowledge coming from inferences of Knowledge Processor. The integrated use of these two knowledge classes was only possible with the development of an Abstract Information Model, the central contribution of this work. The main characteristics of this model are: user configurability, determining the information features; incrementability, allowing simple new information inclusion; flexibility, using the same model for severa I purposes; hierarchic, using several levels for information description. The approach herein proposed, for information model development, differs from tradi tional object-oriented methodologies because it combines symbolic and declarative programming capabilities, from Prolog, with flexible schemes of knowledge representation, combining frames, rules, and procedures structures. Thus, information can be presented both in an informal declarative (quasi-coloquial) way, and in a formal way, using Generalized Real Time Temporal Logic. A methodology for translating one representation to another has been developed. Also, a special dedicated Simulation Logic has been developed for using the Abstract Information Model by Simulator, without previous manipulation. The environment architecture is modular, based on functional elements designed by using object paradigm. This allOWS to adapt the environment to multiuser, Server. distributed configuration, working as a Decision-Making Support The environment is also user-friendly, with tutoring expert-systems helping knowledge acquisition and analysis. So, the environment can be used by technical or managerial personel, with little or no assistance