Modelos de Conocimiento Basados en Ontologías para la ...

Modelos de Conocimiento Basados en Ontologías para la ... Modelos de Conocimiento Basados en Ontologías para la ...

buleria.unileon.es
from buleria.unileon.es More from this publisher
08.05.2013 Views

Capítulo 4. Esquema de representación propuesto (como el número de coeficientes menos uno), que sirve para poder calcularlo directamente pero no si lo que se persigue es transmitir la noción y la definición de ese concepto. El haber desarrollado la conceptualización de esta forma se justifica por el hecho de que, de no haber sido así, el esfuerzo realizado para conceptualizar completamente este dominio de las matemáticas habría sido, al menos, comparable al del resto de la ontología. El desarrollo de un mayor número de ontologías, una de más alto nivel, y otras centradas en dominios concretos y acotados, junto con la reutilización de las mismas, puede solventar este factor que hace manifestarse al problema de la interacción. Para que esto ocurra deberán desarrollarse una gran cantidad de ontologías, lo que conlleva contar con equipos multidisciplinares formados por expertos en los dominios correspondientes e ingenieros del conocimiento, así como utilizar un formalismo que sea fácilmente integrable y automatizable para conseguir la reutilización. En el campo de las matemáticas, por ejemplo, pueden y deben realizarse ontologías que no estén orientadas a ningún tipo de aplicación. Se dice que las matemáticas son el lenguaje de la ciencia y como tal sería representado el dominio: como una serie de términos del lenguaje que, posteriormente, fuesen utilizados en otros dominios como es el caso del control automático. Por último, mencionar que, si bien OWL ofrece un lenguaje basado en teoría lógica de modelos y por tanto la integración sería posible, su expresividad hoy en día no es suficiente para representar la mayoría de las estructuras de conocimiento relevantes necesarias. El uso de mecanismos de representación del conocimiento como las reglas de producción dificultan la reutilización de las ontologías. El segundo aspecto que influye en el problema de la interacción aparece también en la ontología desarrollada. Los términos de control (entidades, características) se modelaron como instancias, entre otras razones, para poder ser utilizados en posteriores procesos de adquisición del conocimiento. En concreto, estas instancias son utilizadas para definir otros conceptos y son también la base para la conceptualización del conocimiento dinámico. En ambos casos se estaba pensando en la implementación de la estructura de tareas involucrada en los procesos de diseño de controladores. Pese a que existen estudios dedicados a evitar esta vertiente del problema de la interacción, las investigaciones acerca de la representación y procesamiento de las estructuras dinámicas de las ontologías están mucho menos desarrolladas que las correspondientes a las estructuras estáticas 103 (Chandrasekaran et. al., 1999). 103 Esto es debido, en gran parte, a la aplicación del conocimiento factual de dominio en las investigaciones acerca de la comprensión del lenguaje y también a las aplicaciones directas en la Web Semántica. 152

Capítulo 4. Esquema de representación propuesto Por otro lado, aun cuando la ontología pueda considerarse completa, pueden existir diferentes conceptualizaciones que sean igual de correctas desde el punto de vista de ser un modelo válido del conocimiento pero que tengan estructuras de conocimiento muy diferentes 104 . Una posibilidad para solventar este problema es ofrecer mecanismos de mapeo de conceptos que permitan comparar y traducir conceptos y estructuras equivalentes entre ontologías (Noy, 2004), otra sería que surjan conceptualizaciones que puedan ser consideradas estándar y adoptadas por un amplio grupo de usuarios. 4.6.2 Sobre aspectos de conceptualización del dominio de la ingeniería de control 4.6.2.1 La naturaleza del conocimiento de control En primer lugar, sobre la propia naturaleza del conocimiento en ingeniería de control, puede decirse que la particularidad más relevante radica en el uso de un lenguaje propio con el que se transmite dicho conocimiento. Lo que se expresa en este lenguaje son los términos de la denominada "aproximación sistémica", hecho que caracteriza a la ingeniería de control frente a otras ingenierías y que también condiciona la forma de conceptualizar los conceptos frente a otras conceptualizaciones existentes acerca de dominios de la ingeniería que tienen en cuenta los dispositivos, su conexión, su comportamiento y/ó su función. En el caso de la ingeniería de control no se hace referencia directa al sistema físico, sino a un modelo matemático del mismo. Y es más, lo que se usa en el lenguaje de control son nombres que se le dan en este dominio a determinados componentes estructurales de esos modelos matemáticos y, por tanto, a nivel de la ontología, nombres que se le dan a elementos que ya existirán en la conceptualización del dominio matemático. Esta estrategia sirve, en último término, para simplificar las expresiones con las que se transmite el conocimiento en esta disciplina tecnológica. Sin embargo, esto no es una cuestión sólo de ahorro de expresiones, sino que la disciplina necesita este lenguaje para poder existir, desarrollarse y ser comunicada. Uno de los aspectos clave de la conceptualización ha sido cómo reflejar este hecho en la ontología. La solución final, como se ha visto, fue la utilización de instancias para representar a las denominadas “entidades” de control. Estas entidades son los nombres que reciben los elementos estructurales de los modelos matemáticos de los sistemas (por ejemplo, los polos son las raíces del denominador de modelo en función de transferencia). 104 De hecho la discrepancia entre conceptualizaciones puede aparecer en varios aspectos aún cuando se utilicen lenguajes muy formales como OWL. Ver (Uschold, 2003). 153

Capítulo 4. Esquema <strong>de</strong> repres<strong>en</strong>tación propuesto<br />

Por otro <strong>la</strong>do, aun cuando <strong>la</strong> ontología pueda consi<strong>de</strong>rarse completa, pue<strong>de</strong>n<br />

existir difer<strong>en</strong>tes conceptualizaciones que sean igual <strong>de</strong> correctas <strong>de</strong>s<strong>de</strong> el punto<br />

<strong>de</strong> vista <strong>de</strong> ser un mo<strong>de</strong>lo válido <strong>de</strong>l conocimi<strong>en</strong>to pero que t<strong>en</strong>gan estructuras <strong>de</strong><br />

conocimi<strong>en</strong>to muy difer<strong>en</strong>tes 104 . Una posibilidad <strong>para</strong> solv<strong>en</strong>tar este problema es<br />

ofrecer mecanismos <strong>de</strong> mapeo <strong>de</strong> conceptos que permitan com<strong>para</strong>r y traducir<br />

conceptos y estructuras equival<strong>en</strong>tes <strong>en</strong>tre ontologías (Noy, 2004), otra sería que<br />

surjan conceptualizaciones que puedan ser consi<strong>de</strong>radas estándar y adoptadas por<br />

un amplio grupo <strong>de</strong> usuarios.<br />

4.6.2 Sobre aspectos <strong>de</strong> conceptualización <strong>de</strong>l dominio <strong>de</strong> <strong>la</strong><br />

ing<strong>en</strong>iería <strong>de</strong> control<br />

4.6.2.1 La naturaleza <strong>de</strong>l conocimi<strong>en</strong>to <strong>de</strong> control<br />

En primer lugar, sobre <strong>la</strong> propia naturaleza <strong>de</strong>l conocimi<strong>en</strong>to <strong>en</strong> ing<strong>en</strong>iería <strong>de</strong><br />

control, pue<strong>de</strong> <strong>de</strong>cirse que <strong>la</strong> particu<strong>la</strong>ridad más relevante radica <strong>en</strong> el uso <strong>de</strong> un<br />

l<strong>en</strong>guaje propio con el que se transmite dicho conocimi<strong>en</strong>to. Lo que se expresa <strong>en</strong><br />

este l<strong>en</strong>guaje son los términos <strong>de</strong> <strong>la</strong> <strong>de</strong>nominada "aproximación sistémica", hecho<br />

que caracteriza a <strong>la</strong> ing<strong>en</strong>iería <strong>de</strong> control fr<strong>en</strong>te a otras ing<strong>en</strong>ierías y que también<br />

condiciona <strong>la</strong> forma <strong>de</strong> conceptualizar los conceptos fr<strong>en</strong>te a otras<br />

conceptualizaciones exist<strong>en</strong>tes acerca <strong>de</strong> dominios <strong>de</strong> <strong>la</strong> ing<strong>en</strong>iería que ti<strong>en</strong><strong>en</strong> <strong>en</strong><br />

cu<strong>en</strong>ta los dispositivos, su conexión, su comportami<strong>en</strong>to y/ó su función.<br />

En el caso <strong>de</strong> <strong>la</strong> ing<strong>en</strong>iería <strong>de</strong> control no se hace refer<strong>en</strong>cia directa al sistema<br />

físico, sino a un mo<strong>de</strong>lo matemático <strong>de</strong>l mismo. Y es más, lo que se usa <strong>en</strong> el<br />

l<strong>en</strong>guaje <strong>de</strong> control son nombres que se le dan <strong>en</strong> este dominio a <strong>de</strong>terminados<br />

compon<strong>en</strong>tes estructurales <strong>de</strong> esos mo<strong>de</strong>los matemáticos y, por tanto, a nivel <strong>de</strong> <strong>la</strong><br />

ontología, nombres que se le dan a elem<strong>en</strong>tos que ya existirán <strong>en</strong> <strong>la</strong><br />

conceptualización <strong>de</strong>l dominio matemático. Esta estrategia sirve, <strong>en</strong> último<br />

término, <strong>para</strong> simplificar <strong>la</strong>s expresiones con <strong>la</strong>s que se transmite el conocimi<strong>en</strong>to<br />

<strong>en</strong> esta disciplina tecnológica. Sin embargo, esto no es una cuestión sólo <strong>de</strong> ahorro<br />

<strong>de</strong> expresiones, sino que <strong>la</strong> disciplina necesita este l<strong>en</strong>guaje <strong>para</strong> po<strong>de</strong>r existir,<br />

<strong>de</strong>sarrol<strong>la</strong>rse y ser comunicada.<br />

Uno <strong>de</strong> los aspectos c<strong>la</strong>ve <strong>de</strong> <strong>la</strong> conceptualización ha sido cómo reflejar este<br />

hecho <strong>en</strong> <strong>la</strong> ontología. La solución final, como se ha visto, fue <strong>la</strong> utilización <strong>de</strong><br />

instancias <strong>para</strong> repres<strong>en</strong>tar a <strong>la</strong>s <strong>de</strong>nominadas “<strong>en</strong>tida<strong>de</strong>s” <strong>de</strong> control. Estas<br />

<strong>en</strong>tida<strong>de</strong>s son los nombres que recib<strong>en</strong> los elem<strong>en</strong>tos estructurales <strong>de</strong> los mo<strong>de</strong>los<br />

matemáticos <strong>de</strong> los sistemas (por ejemplo, los polos son <strong>la</strong>s raíces <strong>de</strong>l<br />

<strong>de</strong>nominador <strong>de</strong> mo<strong>de</strong>lo <strong>en</strong> función <strong>de</strong> transfer<strong>en</strong>cia).<br />

104<br />

De hecho <strong>la</strong> discrepancia <strong>en</strong>tre conceptualizaciones pue<strong>de</strong> aparecer <strong>en</strong> varios aspectos aún cuando se utilic<strong>en</strong> l<strong>en</strong>guajes<br />

muy formales como OWL. Ver (Uschold, 2003).<br />

153

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!