Modelado y formalización basado en ontologías del conocimiento dinámico para la construcción de software en el dominio de la ingeniería de control

Laburpena

El tema abordado en esta tesis es la representación del conocimiento dinámico del dominio de la ingeniería de control en las aplicaciones informáticas. En concreto se presenta y estudia el uso de las técnicas de modelado del conocimiento dinámico provenientes del campo de la inteligencia artificial como forma de hacer frente a alguna de las necesidades que presenta el software en esta disciplina. Para comprobar la validez de esta aproximación se estudia y lleva a cabo la construcción de una estructura conceptual (una ontología) que recoge el conocimiento dinámico existente en un subdominio de esa disciplina, concretamente en el problema de diseño de compensadores de adelanto/retraso con las técnicas del lugar de las raíces. La tesis incluye un estado del arte sobre el software CACE / CACSD y sobre el concepto de ontología y su evolución a partir de los sistemas expertos, dentro del campo de la representación del conocimiento y la ingeniería del conocimiento.