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 ...
Capítulo 4. Esquema de representación propuesto se utilizan para describir el modelo en función de transferencia. En la figura 4.11 se representa esta estructura básica. Las flechas indican el tipo de conceptos que pueden ir en los slots, es decir, unen una clase con un slot, de forma que el rango de ese slot son las instancias de esa clase. TransferFunctionSystemModel 94 hasPolynomialQuotient PolynomialQuotient Polynomial hasNumerator hasDenominator hasDescendingPowersOfVariableDescription hasRootsAndGainDescription DescendingPowersOfVariablePolynomialDescription hasDescendingPowersOfVariable RootsAndCoeffPolynomialDescription hasLeadingCoefficient ComplexNumber hasRoots RealAndImaginaryPartsDescription hasRealPart hasImaginaryPart RealNumber hasNumericalValue Built-in Float in ontology hasRealAndImaginaryPartDescription hasModulusAndArgumentDescription Figura 4.11. Estructura básica de conceptos. ModulusAndArgumentDescription hasModulus hasArgument A partir de esta estructura básica se crearán los demás conceptos pertenecientes al campo del control y su lenguaje. Los slots se han utilizado para representar la información esencial de cada concepto, es decir, los atributos (propiedades) esenciales. Los demás atributos que se pueden asociar a los conceptos, como por ejemplo las características cuantitativas y cualitativas, no serán representados como slots de esos conceptos sino como una predicación 88 de los mismos almacenada en una estructura asertiva separada. Esta decisión, además de ser 88 Se usa el término “predicación” como traducción del término inglés “predication” utilizado en representación del conocimiento. Podría usarse “afirmación” como término con sentido similar. Lo que se pretende transmitir es la idea de “lo que se dice de algo” y como tal se toma el significado original que Aristóteles dio al término “predicatio” y que a menudo se utiliza también en lógica matemática como “predicación lógica”.
Capítulo 4. Esquema de representación propuesto coherente con ciertos estudios sobre la naturaleza de los atributos de los conceptos (ver párrafos siguientes), también permite mantener la conceptualización de los conceptos lo más sencilla, comprensible y reutilizable posible, así como facilitar la propia descripción de la estructura de las características, aspecto de gran importancia en este dominio. Los slots que están asociados a cada concepto son, por tanto, aquellos que sirven para describir lo que hace que ese concepto sea lo que es, aquellos que lo describen totalmente. En el dominio aquí tratado esto significa describir cómo está formado o compuesto ese concepto. Los atributos o propiedades de los conceptos que son específicos de un dominio son los que se han separado de la descripción “esencial” y se han colocado en una estructura separada. Esta aproximación a la descripción o definición de conceptos distinguiendo la esencia (o atributos esenciales) de otros atributos accesorios parte de los estudios filosóficos de Aristóteles (Smith, 2004), aunque aquí se toma con una visión más pragmática y no se persigue encontrar la "verdadera definición de las cosas". En el caso de un dominio artificial correspondiente al ámbito científico, como el que se trata, la esencia se asimilará a la descripción de composición de conceptos que definen a uno dado. Como se resalta en (Burek, 2004) "en muchos dominios, incluyendo los técnicos y científicos, las definiciones no intentan proporcionar la esencia de los conceptos. Parece que los autores de esas definiciones no intentan señalar a ninguna propiedad fundamental de los mismos. En estos casos, si se sigue estrictamente la sugerencia [de separar características esenciales de las que no lo son] muchos conceptos no tendrían definiciones en el TBox y todo el conocimiento afirmado sobre ellos estaría contenido en el ABox, donde las características no esenciales, pero que sí son definitorias estarían mezcladas con el conocimiento puramente afirmativo" 89 . En (Burek, 2005) se postula distinguir entre atributos (propiedades) esenciales y no esenciales, pero teniendo en cuenta en el caso de estas últimas aquellas que son definitorias para el concepto y las que no. La aproximación seguida en la presente conceptualización sigue una línea similar aunque, como se ha mencionado aquí, se asimilan las propiedades esenciales con las que definen la composición de los conceptos que parece el aspecto más importante en el caso de esta disciplina. Así, un polinomio tiene como descripción esencial sus coeficientes o bien sus raíces y su coeficiente principal, mientras que características que se pueden aplicar al polinomio, como el grado, no pertenecen a su esencia ya que, por ejemplo, pueden ser calculadas a partir de la información esencial. Por tanto, el 89 La separación entre conocimiento esencial y no esencial se sigue en mayor o menor medida en varios sistemas basados en lógicas descriptivas donde la TBOX o red terminológica contendría la información esencial (las propiedades necesarias y suficientes que definen a los conceptos) y la ABOX o red asertiva contendría la información no esencial sobre los conceptos. En CLASSIC, por ejemplo, se utilizan reglas para especificar predicados con propiedades no esenciales (Brachman et. al., 1991). 95
- Page 64 and 65: Capítulo 3. Representación del co
- Page 66 and 67: Capítulo 3. Representación del co
- Page 68 and 69: Capítulo 3. Representación del co
- Page 70 and 71: Capítulo 3. Representación del co
- Page 72 and 73: Capítulo 3. Representación del co
- Page 74 and 75: Capítulo 3. Representación del co
- Page 76 and 77: Capítulo 3. Representación del co
- Page 78 and 79: Capítulo 3. Representación del co
- Page 80 and 81: Capítulo 3. Representación del co
- Page 82 and 83: Capítulo 3. Representación del co
- Page 84 and 85: Capítulo 4. Esquema de representac
- Page 86 and 87: Capítulo 4. Esquema de representac
- Page 88 and 89: Capítulo 4. Esquema de representac
- Page 90 and 91: Capítulo 4. Esquema de representac
- Page 92 and 93: Capítulo 4. Esquema de representac
- Page 94 and 95: Capítulo 4. Esquema de representac
- Page 96 and 97: Capítulo 4. Esquema de representac
- Page 98 and 99: Capítulo 4. Esquema de representac
- Page 100 and 101: Capítulo 4. Esquema de representac
- Page 102 and 103: Capítulo 4. Esquema de representac
- Page 104 and 105: Capítulo 4. Esquema de representac
- Page 106 and 107: Capítulo 4. Esquema de representac
- Page 108 and 109: Capítulo 4. Esquema de representac
- Page 110 and 111: Capítulo 4. Esquema de representac
- Page 112 and 113: Capítulo 4. Esquema de representac
- Page 116 and 117: Capítulo 4. Esquema de representac
- Page 118 and 119: Capítulo 4. Esquema de representac
- Page 120 and 121: Capítulo 4. Esquema de representac
- Page 122 and 123: Capítulo 4. Esquema de representac
- Page 124 and 125: Capítulo 4. Esquema de representac
- Page 126 and 127: Capítulo 4. Esquema de representac
- Page 128 and 129: Capítulo 4. Esquema de representac
- Page 130 and 131: Capítulo 4. Esquema de representac
- Page 132 and 133: Capítulo 4. Esquema de representac
- Page 134 and 135: Capítulo 4. Esquema de representac
- Page 136 and 137: Capítulo 4. Esquema de representac
- Page 138 and 139: Capítulo 4. Esquema de representac
- Page 140 and 141: Capítulo 4. Esquema de representac
- Page 142 and 143: Capítulo 4. Esquema de representac
- Page 144 and 145: Capítulo 4. Esquema de representac
- Page 146 and 147: Capítulo 4. Esquema de representac
- Page 148 and 149: Capítulo 4. Esquema de representac
- Page 150 and 151: Capítulo 4. Esquema de representac
- Page 152 and 153: Capítulo 4. Esquema de representac
- Page 154 and 155: Capítulo 4. Esquema de representac
- Page 156 and 157: Capítulo 4. Esquema de representac
- Page 158 and 159: Capítulo 4. Esquema de representac
- Page 160 and 161: Capítulo 4. Esquema de representac
- Page 162 and 163: precondition#1 hasLogicalOperator A
Capítulo 4. Esquema <strong>de</strong> repres<strong>en</strong>tación propuesto<br />
se utilizan <strong>para</strong> <strong>de</strong>scribir el mo<strong>de</strong>lo <strong>en</strong> función <strong>de</strong> transfer<strong>en</strong>cia. En <strong>la</strong> figura 4.11<br />
se repres<strong>en</strong>ta esta estructura básica. Las flechas indican el tipo <strong>de</strong> conceptos que<br />
pue<strong>de</strong>n ir <strong>en</strong> los slots, es <strong>de</strong>cir, un<strong>en</strong> una c<strong>la</strong>se con un slot, <strong>de</strong> forma que el rango<br />
<strong>de</strong> ese slot son <strong>la</strong>s instancias <strong>de</strong> esa c<strong>la</strong>se.<br />
TransferFunctionSystemMo<strong>de</strong>l<br />
94<br />
hasPolynomialQuoti<strong>en</strong>t<br />
PolynomialQuoti<strong>en</strong>t<br />
Polynomial<br />
hasNumerator hasD<strong>en</strong>ominator<br />
hasDesc<strong>en</strong>dingPowersOfVariableDescription hasRootsAndGainDescription<br />
Desc<strong>en</strong>dingPowersOfVariablePolynomialDescription<br />
hasDesc<strong>en</strong>dingPowersOfVariable<br />
RootsAndCoeffPolynomialDescription<br />
hasLeadingCoeffici<strong>en</strong>t<br />
ComplexNumber<br />
hasRoots<br />
RealAndImaginaryPartsDescription<br />
hasRealPart hasImaginaryPart<br />
RealNumber<br />
hasNumericalValue<br />
Built-in Float in ontology<br />
hasRealAndImaginaryPartDescription hasModulusAndArgum<strong>en</strong>tDescription<br />
Figura 4.11. Estructura básica <strong>de</strong> conceptos.<br />
ModulusAndArgum<strong>en</strong>tDescription<br />
hasModulus hasArgum<strong>en</strong>t<br />
A partir <strong>de</strong> esta estructura básica se crearán los <strong>de</strong>más conceptos pert<strong>en</strong>eci<strong>en</strong>tes al<br />
campo <strong>de</strong>l control y su l<strong>en</strong>guaje. Los slots se han utilizado <strong>para</strong> repres<strong>en</strong>tar <strong>la</strong><br />
información es<strong>en</strong>cial <strong>de</strong> cada concepto, es <strong>de</strong>cir, los atributos (propieda<strong>de</strong>s)<br />
es<strong>en</strong>ciales. Los <strong>de</strong>más atributos que se pue<strong>de</strong>n asociar a los conceptos, como por<br />
ejemplo <strong>la</strong>s características cuantitativas y cualitativas, no serán repres<strong>en</strong>tados<br />
como slots <strong>de</strong> esos conceptos sino como una predicación 88 <strong>de</strong> los mismos<br />
almac<strong>en</strong>ada <strong>en</strong> una estructura asertiva se<strong>para</strong>da. Esta <strong>de</strong>cisión, a<strong>de</strong>más <strong>de</strong> ser<br />
88 Se usa el término “predicación” como traducción <strong>de</strong>l término inglés “predication” utilizado <strong>en</strong> repres<strong>en</strong>tación <strong>de</strong>l<br />
conocimi<strong>en</strong>to. Podría usarse “afirmación” como término con s<strong>en</strong>tido simi<strong>la</strong>r. Lo que se pret<strong>en</strong><strong>de</strong> transmitir es <strong>la</strong> i<strong>de</strong>a <strong>de</strong> “lo<br />
que se dice <strong>de</strong> algo” y como tal se toma el significado original que Aristóteles dio al término “predicatio” y que a m<strong>en</strong>udo<br />
se utiliza también <strong>en</strong> lógica matemática como “predicación lógica”.