Unidad IV: Representacin del conocimiento

REDES SEMANTICAS Y FRAME

Redes semnticas
Forma de representacin de conocimiento en la que los conceptos y sus
interrelaciones se representan mediante un grafo
la representacin y recuperacin del conocimiento se realiza a partir de
sus relaciones
las redes semnticas intentan trasladar esa afirmacin a un formalismo
propuestas por primera vez en los 60s como forma sencilla de representar
relaciones
los objetos (elementos semnticos) son nodos en el grafo
los nodos se organizan de acuerdo a una estructura taxonmica
los vnculos dirigidos que existen entre los nodos representan relaciones
binarias
2

Redes semnticas
Caractersticas
En las redes semnticas la atencin est puesta en las categoras de los objetos y
las relaciones que existen entre stos.
Ejemplo para afirmar que los gatos son mamferos:
subconjunto
Gatos

Mamferos

que se interpreta como:

Para todo x, x es_un gato entonces x es_un mamfero

Redes semnticas
Caractersticas
Permiten representar de manera declarativa los elementos de un dominio
Se pueden establecer mecanismos de razonamiento especficos que permiten
responder a preguntas sobre la representacin
Estn relacionados dos conceptos?
Qu relaciona dos conceptos?
Cul es el concepto ms cercano que relaciona dos conceptos?

IA-Unidad IV: Representacin del conocimiento

Redes semnticas
Ejemplo:

Redes semnticas
Ejemplo:

Redes semnticas
Sintaxis y semntica:

Redes semnticas
Ventajas:
capacidad de capturar la informacin de herencia de manera modular
sencillez que facilita mucho su comprensin
eficiencia: la inferencia se efecta al seguir vnculos, en vez de recuperar
oraciones de una BC y realizar unificaciones.

Redes semnticas
Limitaciones:
se mezclan elementos que tienen diferentes niveles de abstraccin (p.e.
conceptos/instancias/valores; relaciones/propiedades)
expresividad limitada, no es posible representar una negacin
(Pluto no anda en bicicleta)
una disyuncin
(Pluto aparece tanto en el Times como en El Litoral)
ni una cuantificacin
(todos los amigos de Pluto son dibujos animados)
este tipo de construcciones son fundamentales en muchos dominios
9

Frames
Marcos, cuadros o frames: enfoque estructurado para recopilar informacin sobre
un objeto en particular y tipos de eventos, organizando estos tipos en grandes
jerarquas taxonmicas
estructura de datos introducida por Minsky en los 70s para representacin de conocimiento
redes semnticas estructuradas
contienen propiedades o atributos (slots)
hay una divisin explcita entre relacin y atributo
relaciones y atributos tienen a su vez una estructura que permite describir su semntica
los slots pueden contener valores por default, referirse a otros frames (composicin) o
contener mtodos para reconocer instancias de patrones
10

Frames
Configuracin
un frame representa un concepto
est dividido en una parte declarativa (atributos semntica y caractersticas)
y una procedimental (mtodos obtener informacin sobre atributos y
relaciones con otros frames)
un frame se describe mediante su nombre y la lista de atributos y mtodos
que posee

11

Frames
Relaciones
las relaciones permiten conectar conceptos (frames)
una relacin posee una descripcin que establece su semntica, sus
caractersticas y su funcionamiento
las relaciones son la base del mecanismo de inferencia: la herencia
de propiedades
tipos:
taxonmicas: es-un (clase/subclase), instancia-de (instancia/clase)
de usuario: el resto de las relaciones definidas por el usuario

12

Frames
Objetos y frames
clases y subclases : particionan la informacin del dominio en jerarquas
abstractas
frames: representan la informacin a travs de jerarquas de componentes
y slots (tripleta <framename,slotname,value>)

13

Frames
Inferencia y herencia
herencia es el mecanismo bsico de deduccin en los frames
permite obtener en un frame el valor o valores de un atributo o su
definicin a travs de otro frame con el que est relacionado
relaciones taxonmicas: herencia por omisin (se hereda la definicin de
los slots)
otras relaciones: se debe establecer de manera explcita (se hereda el
valor de los slots)

14

Frames
Inferencia y herencia

inclusin entre conceptos (relaciones de especializacin/generalizacin)

herencia de valores y atributos
relaciones conjuntistas (unin, interseccin, pertenencia, transitividad)
funciones y mtodos que reducen el coste de la inferencia

15

Frames
Ejemplo:

BC basada en frames

16

Frames
Ejemplo:

Cuntas piernas
tiene Opus?

BC basada en frames

17

Frames
Ejemplo:

Cuntas piernas
tiene Opus?
BC basada en frames

18

Frames
Ejemplo:

Cuntas piernas
tiene Pat?

BC basada en frames

19

Frames
Ejemplo:

Cuntas piernas
tiene Pat?
BC basada en frames

20

IA-Unidad IV: Representacin del conocimiento

Frames
Herencia con excepciones
Se modifica la traduccin semntica de un vnculo R que est dentro de una
caja de A a B (Rel(R,A,B)) para indicar que todos los miembros de A deben
tener una relacin con B a menos que exista una A para la cual Rel(R,A,B)
B es el valor por omisin de la relacin R para los miembros de A, el cual puede
resultar invalidado por alguna otra informacin

21

Frames
Limitaciones
manejo de la herencia mltiple (por varias rutas)
posibilidad de inferir conocimiento incorrecto
problemas para manejar conocimiento no taxonmico
manejo de disyunciones e implicaciones

22

Frames y lgica:

Frames

BC basada en frames

lgica de primer orden

23