Relaciones triadicas y significado
Xama
Consideremos el contexto de una relación triádica, donde cada uno de
los
nodos de un triple (triple instancia de esta relación) juega un rol
específico, de acuerdo a su Rol / Ubicación en el triple.
Usaremos para este ejemplo la relación entre tres personas: un Hijo,
un
Padre y una Madre. Notemos que estos tres tipos de instancia los
juegan
instancias del tipo Persona, según en que Rol / Ubicación participan
en el
triple de la relación.
Hijo = Madre::hijo(Padre)
Madre = Padre::madre(Hijo)
Padre = Hijo::padre(Madre)
Por lo cual, correspond que un hijo específico refiere a una sola
Madre y un
sólo padre. Que una Madre, de acuerdo a un Hijo suyo, refiere a un
solo
Padre. Igualmente, un Hijo y su Padre, refieren una sola Madre.
Otro ejemplo:
Teniendo en cuenta la relación entre Autor, Título y Obra, tenemos que
1. Un Título de un Autor refiere 1 Obra
2. Un Autor y una Obra refieren 1 Título
3. Una Obra y un Título refieren 1 Autor
Obra = Autor::obra(Titulo)
Título = Obra::titulo(Autor)
Autor = Titulo::autor(Obra)
En el primer ejemplo se ha visto que instancias de tipo Persona juegan
del
rol de Hijo, Padre y Madre según su ubicación en el triple. En este
caso
vemos que el tipo de una instancias de una clase varía / se promueve
de
acuerdo a como se la considera a través de su participación en una
instancia
de un tipo de relación (Contexto).
A partir de este esquema, también podríamos considerar que deben de
influír
en el tipo de un objeto / entidad ciertos valores de sus atributos.
Ej.:
Adulto = Persona ( edad > 21);
Marido = Persona ( sexo = M; estadoCivil= CASADO)
Por lo que tenemos que las variaciones en el estado de una instancia
de
alguna clase también deberían nfluír en su Rol. O sea, en el tipo de
actor
que es, jugando cierto papel, en determinado contexto e interacciónes.
Podría pensarse que un tipo / conjunto, sus instancias / valores de su
Clase
/ Nombre correspondiente es/son definido/s, el Tipo de cierto Nombre
con
Tipos/Nombres de sus partes o miembros que toman Valores específicos
para un
valor del tipo que las encierra.
Otra forma de decirlo: Para cierto Subject o cosa 'real' hay un Topic
o Name
que lo representa (como un handle). Este Subject representa una
instancia de
un Type que representa el Topic 't' que, tal vez, represente otro
Subject.
Topic -> reifies -> Subject
Subject -> reifies -> Type
Type -> reifies -> Topic
Name (type.name(Value))
Type (value.type(Name))
Value(name.value(Type))
Estados
Hay ejemplos de implicacion de estados de a ternas, o sea que en
cierto tipo
de relación se pueden ver como triples, en una relacion en la que se
implican unos con otros.
Por ejemplo:
a: Pasajero.enViaje
b: Viaje.iniciado
c: Destino.aproximándose
entonces
a IMPLICA b
b IMPLICA c
c IMPLICA a
Relaciones Relativas o Difusas
Considerando propiedades de un objeto que toman su valor de la
comparación
entre otras instancias. Por ejemplo: Joven / Viejo; Grande / Pequeño.
Hay que vonvenir que estas propiedades tienen un punto de referencia
sobre
el cual se basa y especifica su valor. Este 'eje' ó 0 (cero) en la
recta
tiene, a su izquierda, el -1 (ej.: pequeño), a su derecha el 1 (ej.:
grande), siendo el mismo el 0 ó "igual".
Esta relatividad de contexto en el cual son visibles las propiedades
lleva a
tener cierto marco "difuso" en el cual especificar su valor, de
acuerdo con
el punto de vista del espectador: Ej.:
Algo ES (punto de vista objetivo)
Algo Se ve como / Parece (según sí mismo)
Algo Es visto como / Parece (según otro espectador)
Otro ejemplo de relatividad:
arriba > aquí; abajo < aquí; abajo < arriba;
aquí.arriba (Lugar) > aqui (Lugar > aquí.abajo (Lugar).
Ejemplo con tamaños:
chico = -1;
igual = 0;
grande = 1;
(Podría llegar a definirse, desde aquí, un algebra similar a la
booleana)
04/02/2008: Sebastián Samaruga