El objeto del suceso es un libro concreto que no está representado como tal en la
frase dada por el usuario Î el sistema crea un objeto, ejemplar de libro y le da un
nombre (l5).
Juan sí es un individuo concreto al igual que María
Este tipo de representación está orientado a contestar preguntas de distinto tipo
sobre el conocimiento que tenemos representado.
Algunas Distinciones Importantes de las redes semánticas
Redes Semánticas
Una red semántica o esquema de representación en red es una forma de
representación de conocimiento lingüístico en la que los conceptos y
sus interrelaciones se representan mediante un grafo. En caso de que
no existan ciclos, estas redes pueden ser visualizadas como árboles.
Una red semántica es una técnica de representación de IA utilizada para
información relativa a las proposiciones, fueron desarrolladas para la
IA como una forma de representar la memoria y la comprensión del
lenguaje del ser humano.
Y se quiere representar en una red semántica. Esto puede hacerse usando una única
red . El nodo M representa una mordedura concreta.
Supongamos ahora que se tiene lo siguiente: “Todos los perros han mordido a
Pedro”. En el cálculo de predicados puede expresarse así: ∀(P)[Perro(P) ⇒
Mordedura(P,Pedro)]
Para representar este hecho, necesitamos cuantificar universalmente la variable P.
Esto puede hacerse usando la red semántica particionada mostrada en la figura 2.9.
El nodo E es un elemento del conjunto de declaraciones generales DG. En este
conjunto cada elemento tiene como atributos: FORMA que indica la relación
afirmada y tantas conexiones como variables cuantificadas universalmente existan.
Las restantes variables que se encuentran en la FORMA se suponen cuantificadas
existencialmente.
Mamíferos:
subclase: Animal
tiene: cabeza
Gatos
subclase: Mamíferos
cant_patas: 4
Perros
subclase: Mamíferos
Tom
Instancia: Gatos
Utilizamos indistintamente la relación subclase y subconjunto y la relación
miembro e instancia. El sistema de frames cuenta con cuatro frames: Mamíferos,
Gatos, Perros y Tom, cada simple frame representa un objeto. En los frames se
ubican las propiedades de dichos objetos (ej. cant_patas en Gatos) que son
llamadas slots. Los slots que representan la relación de subclase o instancia
permiten establecer la herencia.
Transformación en Marcos
La transformación de una red semántica en un sistema de frames es sencilla, los
nodos se transforman en frames y los ejes en slots mientras que el nodo del otro
lado del eje es el valor del slot.
Las clasificaciones y taxonomías contienen muchas excepciones. ¿Qué pasaría si
a Tom le faltara una pata? Evidentemente, la inferencia de que Tom tiene cuatro
patas es falsa.
Se necesita de un mecanismo que permita manejar la excepción.
Se debe entonces modificar el significado de las relaciones. Una relación R de A
y B indica R(A, B) a menos que exista una A’ tal que se cumpla R(A’,B’) .
Es decir, que las relaciones toman el significado de valores por defecto u omisión.
En el caso de Tom con tres patas habría que agregar un slot en Tom indicando
cant_patas igual a tres. El frame de Tom quedaría:
Gatos
subclase: Mamíferos
*cant_patas: 4
Tom:
Instancia: Gato
cant_patas: 3
Los sistemas de frames permiten especificar tanto los valores por defecto como
sobrescribir dichos valores. El asterisco indicaría slots cuyos valores pueden ser
sobrescritos. Los frames heredan las propiedades de sus padres salvo el caso en
que exista una propiedad en conflicto con una heredada. En este caso la propiedad
del frame es la que se toma como válida.
En los ejemplos vistos hasta aquí cada frame tenía un solo padre. En este caso se
dice que existe herencia simple pero cabe la posibilidad de que un frame herede de
más de un padre en cuyo caso se dice que hay herencia múltiple. Los objetos
heredan de todos sus padres. Siguiendo con el ejemplo de Tom supongamos un
frame que represente a los animales domésticos en ese caso Tom es un Gato y
también un animal doméstico. Veamos entonces como serían la red semántica y
los frames.
Gatos
subclase: Mamíferos
*cant_patas: 4
Animal Domestico:
subclase: Animal
Tom:
Instancia: Gato
Instancia: Animal Domestico
cant_patas: 3
Conclusiones