4.1.1. Cosificación
Si la conceptuación original contiene relaciones de orden superior (propiedades de
relaciones o relaciones entre relaciones) se puede transformar mediante la cosificación
(reification) de relaciones, que consiste en considerar a ciertas relaciones como objetos
de U e introducir nuevas funciones para expresar lo mismo que las relaciones originales.
Veámoslo con un ejemplo en el mundo de los bloques. Supongamos que añadimos a
nuestra conceptuación las propiedades Rojo, Verde, Azul y Blanco aplicables a los
bloques, así como propiedades de estas propiedades, por ejemplo, «el azul es un color
oscuro»
, «el blanco es un color claro»
, «el rojo es un color agresivo»
, etc. Para eludir el uso de la lógica de segundo orden, conceptuamos los colores como
objetos, e introducimos una función parcial, Color, que aplica los bloques en los colores
correspondientes, de modo que:
- U = {a,b,c,d...rojo,verde,azul,blanco...}
- R = {Oscuro,Claro}
- F = {Color}, tal que Color = {a
blanco,b
rojo...}
La función Color es parcial porque sólo puede aplicarse a los miembros del antiguo
U, no a los nuevos.
Quizás parezca extraño que el mismo concepto, el color, pueda conceptuarse
indistintamente como una propiedad de los objetos o como un objeto. Reflexionar sobre
esto nos llevaría a un viejo debate filosófico: el de si los objetos existen realmente
(realismo) o sólo en la mente (nominalismo). Se dice que la inteligencia artificial es
«ontológicamente promiscua»
(Hobbs, 1985) [45] porque no se compromete con ninguna de las posturas: la
justificación de una conceptuación se basa únicamente en su utilidad.
DIT-ETSIT-UPM