| Resumo: | A Representação do Conhecimento é um dos conceitos centrais na Inteligência Artificial. Existe cada vez mais a consciência de que o conhecimento e a sua forma de representação têm um enorme impacto nas capacidades e desempenho dos sistemas inteligentes. Neste trabalho é definida uma Metodologia para a Representação de Conhecimento sobre Sistemas de Controlo, aplicando esta investigação ao tipo de sistema dinâmico dos sistemas de tanques, baseado no Sistema de Três Tanques. São utilizadas duas linguagens de representação do conhecimento na Metodologia desenvolvida, sendo elas os Grafos Conceptuais (representação das componentes estática e dinâmica) e a Programação em Lógica (Prolog) com Resolução de Restrições sobre Domínios Finitos (representação e inferência/cálculo). Com as linguagens Prolog e Java, são implementadas aplicações que possibilitam simulações simples, interface gráfica de representação e simulação, resolução de problemas de Projecto e Diagnóstico em Sistemas de Controlo e geração de representações do conhecimento dinâmico declarativo. /*** Abstract - Knowledge Representation is one of the central concepts in Artificial Intelligence. There exists increasingly more the conscience that knowledge and the way it is represented have a tremendous impact on the capabilities and performance of intelligent systems. In this work it is defined a Methodology to Knowledge Representation applied to Control Systems, applying this research to the tanks systems type of dynamic system, based on the Three-tank System. Two knowledge representation languages are used in the developed Methodology, which are Conceptual Graphs (static and dynamic component representation) and Logic Programming (Prolog) with Constraint Solving over Finite Domains (representation and inference/calculation). Using Prolog and Java languages, there are implemented applications that make possible simple simulations, representation and simulation graphical interface, Project and Diagnose in Control Systems problems solution and generation of declarative dynamic knowledge representations.
|
|---|