08.05.2013 Views

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 ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

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

84<br />

• Una serie <strong>de</strong> raíces complejas y un coefici<strong>en</strong>te principal. La función <strong>de</strong><br />

transfer<strong>en</strong>cia con los polinomios así expresados se dice que está <strong>en</strong><br />

formato polo-cero.<br />

• Una serie <strong>de</strong> coefici<strong>en</strong>tes reales or<strong>de</strong>nados <strong>en</strong> or<strong>de</strong>n asc<strong>en</strong><strong>de</strong>nte o<br />

<strong>de</strong>sc<strong>en</strong><strong>de</strong>nte <strong>de</strong> pot<strong>en</strong>cias <strong>en</strong> s. La función <strong>de</strong> transfer<strong>en</strong>cia con los<br />

polinomios así expresados se dice que está <strong>en</strong> formato polinomial.<br />

La conceptualización <strong>de</strong> ambas estructuras <strong>para</strong> <strong>la</strong> <strong>de</strong>finición <strong>de</strong>l polinomio<br />

supone una redundancia <strong>en</strong> <strong>la</strong> ontología (ya que una se pue<strong>de</strong> calcu<strong>la</strong>r a partir <strong>de</strong><br />

<strong>la</strong> otra). Sin embargo el no incluir <strong>la</strong>s dos posibilida<strong>de</strong>s supondría darle más<br />

importancia a una que a otra y, lo que es más importante, t<strong>en</strong>er <strong>la</strong> imposibilidad <strong>de</strong><br />

referirse directam<strong>en</strong>te a los conceptos no repres<strong>en</strong>tados. El recurso <strong>de</strong> incluir<br />

información redundante <strong>en</strong> una base <strong>de</strong> conocimi<strong>en</strong>to no es nuevo, ya <strong>en</strong> sistema<br />

KRL (Knowledge Repres<strong>en</strong>tation Language) por ejemplo se utilizó como una<br />

forma <strong>de</strong> mejorar <strong>la</strong> efici<strong>en</strong>cia computacional (Bobrow y Winograd, 1976).<br />

Los conceptos que se necesitan <strong>para</strong> <strong>de</strong>finir cada una <strong>de</strong> <strong>la</strong>s formas <strong>de</strong> repres<strong>en</strong>tar<br />

un polinomio son: <strong>para</strong> <strong>la</strong> primera, una lista <strong>de</strong> números complejos (<strong>la</strong>s raíces se<br />

han consi<strong>de</strong>rado como números complejos que, ev<strong>en</strong>tualm<strong>en</strong>te, pue<strong>de</strong>n t<strong>en</strong>er parte<br />

imaginaria, o real, igual a cero) más un número real (el coefici<strong>en</strong>te principal); <strong>para</strong><br />

<strong>la</strong> segunda: una lista or<strong>de</strong>nada <strong>de</strong> números reales. En este segundo caso será, por<br />

tanto, necesario t<strong>en</strong>er algún sistema <strong>para</strong> expresar el concepto <strong>de</strong> or<strong>de</strong>n <strong>de</strong>ntro <strong>de</strong><br />

una lista <strong>de</strong> elem<strong>en</strong>tos.<br />

A<strong>de</strong>más <strong>de</strong> <strong>la</strong>s estructuras <strong>de</strong> repres<strong>en</strong>tación <strong>de</strong> cada una <strong>de</strong> <strong>la</strong>s formas <strong>de</strong><br />

repres<strong>en</strong>tar un polinomio <strong>de</strong>berá existir un mecanismo que permita obt<strong>en</strong>er una a<br />

partir <strong>de</strong> otra. Por otro <strong>la</strong>do, no parece conv<strong>en</strong>i<strong>en</strong>te mezc<strong>la</strong>r los slot<br />

correspondi<strong>en</strong>tes a <strong>la</strong>s dos formas <strong>de</strong> repres<strong>en</strong>tar el polinomio asociándolos<br />

directam<strong>en</strong>te al polinomio. Por estas razones se han creado conceptos que<br />

repres<strong>en</strong>tan <strong>la</strong>s difer<strong>en</strong>tes <strong>de</strong>scripciones <strong>de</strong> un polinomio. Así, por un <strong>la</strong>do, se<br />

t<strong>en</strong>drá <strong>la</strong> <strong>de</strong>scripción <strong>en</strong> raíces y coefici<strong>en</strong>te principal (t<strong>en</strong>drá como slots uno <strong>para</strong><br />

<strong>la</strong>s raíces cuyos elem<strong>en</strong>tos (fillers) serán instancias <strong>de</strong> números complejos y otro<br />

<strong>para</strong> el coefici<strong>en</strong>te principal, que será una instancia <strong>de</strong>l concepto que repres<strong>en</strong>ta al<br />

número real) y por otro <strong>la</strong> <strong>de</strong>scripción como coefici<strong>en</strong>tes or<strong>de</strong>nados según <strong>la</strong><br />

pot<strong>en</strong>cia <strong>de</strong>creci<strong>en</strong>te <strong>de</strong> <strong>la</strong> variable (que contará con un slot <strong>de</strong> cardinalidad<br />

múltiple don<strong>de</strong> se almac<strong>en</strong>arán los coefici<strong>en</strong>tes).<br />

En el segundo caso <strong>la</strong> lista <strong>de</strong> coefici<strong>en</strong>tes recogida <strong>en</strong> el slot <strong>de</strong>berá estar<br />

or<strong>de</strong>nada <strong>en</strong> pot<strong>en</strong>cias <strong>de</strong>creci<strong>en</strong>tes <strong>de</strong> <strong>la</strong> variable. El or<strong>de</strong>n <strong>en</strong> <strong>la</strong> lista <strong>de</strong><br />

instancias no se ha implem<strong>en</strong>tado como concepto sino que se usa el

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

Saved successfully!

Ooh no, something went wrong!