Inteligencia Artificial 2 Curso 20022003

Tema 4: Redes semanticas y

marcos
Jose A. Alonso Jimenez
Francisco J. Martn Mateos
Jose L. Ruiz Reina
Dpto. de Ciencias de la Computacion e Inteligencia Articial
Universidad de Sevilla
IA2 200203 C
c
I
a
Redes semanticas y marcos 4.1
Modelos cognitivo
x
Modelo de procesador cognitivo
u
Referencia: Fernandez00 Cap. 9.1
IA2 200203 C
c
I
a
Redes semanticas y marcos 4.2
Modelos cognitivo
x
Experimento de Collins y Quillian (1961)
u
Referencia: Fernandez00 Cap. 9.1
IA2 200203 C
c
I
a
Redes semanticas y marcos 4.3
Modelos cognitivo
x
Ejemplo de red semantica
u
Referencia: Fernandez00 Cap. 9.1
IA2 200203 C
c
I
a
Redes semanticas y marcos 4.4
R
e
d
e
s
s
e
m
a
n
t
i
c
a
s
x
E
j
e
m
p
l
o
d
e
r
e
d
s
e
m
a
n
t
i
c
a
j
u
a
n
1
9
e
d
a
d
p
a
b
l
o
e
d
a
d
4
4
c
i
u
d
a
d
m
a
i
r
e
n
a
e
d
a
d
p
e
d
r
o
4
7
2
4
c
a
s
a
d
o
l
u
i
s
c
a
s
a
d
o
e
s
_
u
n
e
s
_
u
n
a
l
u
m
n
o
e
s
t
a
d
o
s
o
l
t
e
r
o
p
r
o
f
e
s
o
r
e
s
_
u
n
e
s
_
u
n
e
s
t
a
d
o
e
d
a
d
e
s
t
a
d
o
e
s
_
u
n
e
s
_
u
n
p
e
r
s
o
n
a
c
i
u
d
a
d
s
e
v
i
l
l
a
e
s
_
u
n
i
n
i
c
i
o
I
A
2
2
0
0
2

0
3
C
c
I
a
R
e
d
e
s
s
e
m
a
n
t
i
c
a
s
y
m
a
r
c
o
s
4
.
5
Redes semanticas
x
Representacion
% Relaciones entre clases:
es_un(persona,inicio).
es_un(alumno,persona).
es_un(profesor,persona).
% Relaciones entre instancias y clases:
inst(juan,alumno).
inst(luis,alumno).
inst(pablo,profesor).
inst(pedro,profesor).
% Propiedades de clases:
prop(persona,ciudad,sevilla).
prop(alumno,estado,soltero).
prop(profesor,estado,casado).
% Propiedades de instancias:
prop(juan,edad,19).
prop(luis,edad,24).
prop(luis,estado,casado).
prop(pablo,edad,44).
prop(pablo,ciudad,mairena).
prop(pedro,edad,47).
IA2 200203 C
c
I
a
Redes semanticas y marcos 4.6
Redes semanticas
x
Razonamiento
u
Sesion
?- propiedades_rs(luis,P).
P = [ciudad:sevilla, edad:24, estado:casado]
u
Denicion
propiedades_rs(Inst,Props) :-
props(Inst,P_Especificas),
inst(Inst,Clase),
herencia_rs(Clase,P_Especificas,Props).
props(X,Props) :-
findall(Atr:Valor,prop(X,Atr,Valor),Props).
herencia_rs(inicio,Props,Props).
herencia_rs(Clase,P_Actuales,Props) :-
props(Clase,P_Generales),
actualiza(P_Actuales,P_Generales,N_P_Actuales),
es_un(Clase,Super_clase),
herencia_rs(Super_clase,N_P_Actuales,Props).
actualiza(Props,[],Props).
actualiza(P_Actuales,[Atr:_Valor|P_Generales],Props) :-
member(Atr:_V,P_Actuales),
actualiza(P_Actuales,P_Generales,Props).
actualiza(P_Actuales,[Atr:Valor|P_Generales],
[Atr:Valor|Props]) :-
not(member(Atr:_V,P_Actuales)),
actualiza(P_Actuales,P_Generales,Props).
IA2 200203 C
c
I
a
Redes semanticas y marcos 4.7
Redes semanticas
x
Elementos de la representacion
u
Las instancias se representan por constantes
u
Las clases se representan por constantes
u
Las relaciones clasesuperclase se representan por he-
chos de la forma
es un(<clase>,<super-clase>)
u
Las relaciones instanciaclases se representan por he-
chos de la forma
inst(<instancia>,<clase>)
u
Cada propiedad se representa por un predicado bina-
rio de la forma
prop(<instancia o clase>,<propiedad>,valor>)
u
La constante inicio representa la clase inicial de la
jerarqua
u
Las propiedades de una instancia es una lista de pares
atributovalor
IA2 200203 C
c
I
a
Redes semanticas y marcos 4.8
Redes semanticas
x
Comentarios
u
Independencia del orden de las clausulas en las
propiedades especcas
u
Razonamiento sobre clases, p.e.
C uales son las subclases de persona
?- es_un(X,persona).
X = alumno ;
X = profesor ;
No
u
Especicacion declarativa de la estrategia de herencia
u
Posibilidad de implementar estrategias de herencia
m ultiple
IA2 200203 C
c
I
a
Redes semanticas y marcos 4.9
M
a
r
c
o
s
x
E
j
e
m
p
l
o
d
e
m
a
r
c
o
l
u
i
s
e
d
a
d
:

2
4
e
s
t
a
d
o
:

c
a
s
a
d
o
a
l
u
m
n
o
e
s
t
a
d
o
:

s
o
l
t
e
r
o
p
a
b
l
o
e
d
a
d
:

4
4
c
i
u
d
a
d
:

m
a
i
r
e
n
a
e
d
a
d
:

1
9
j
u
a
n
p
e
d
r
o
e
d
a
d
:

4
7
p
r
o
f
e
s
o
r
e
s
t
a
d
o
:

c
a
s
a
d
o
i
n
s
t
i
n
s
t
i
n
s
t
i
n
s
t
p
e
r
s
o
n
a
c
i
u
d
a
d
:

s
e
v
i
l
l
a
e
s
_
u
n
e
s
_
u
n
i
n
i
c
i
o
e
s
_
u
n
I
A
2
2
0
0
2

0
3
C
c
I
a
R
e
d
e
s
s
e
m
a
n
t
i
c
a
s
y
m
a
r
c
o
s
4
.
1
0
Marcos
x
Representacion
% Clases;
clase(persona,inicio,[ciudad:sevilla]).
clase(alumno,persona,[estado:soltero]).
clase(profesor,persona,[estado:casado]).
% Instancias:
instancia(juan,alumno,[edad:19]).
instancia(luis,alumno,[edad:24,estado:casado]).
instancia(pablo,profesor,[edad:44,ciudad:mairena]).
instancia(pedro,profesor,[edad:47]).
x
Razonamiento
u
Sesion
?- propiedades_marco(luis,P).
P = [ciudad:sevilla, edad:24, estado:casado]
x
Denicion
propiedades_marco(Inst,Props) :-
instancia(Inst,Clase,PropsInst),
herencia_marco(Clase,PropsInst,Props).
herencia_marco(inicio,Props,Props).
herencia_marco(Clase,P_Actuales,Props) :-
clase(Clase,Super_clase,P_Generales),
actualiza(P_Actuales,P_Generales,N_P_Actuales),
herencia_marco(Super_clase,N_P_Actuales,Props).
IA2 200203 C
c
I
a
Redes semanticas y marcos 4.11
Marcos
x
Elementos de la representacion
u
Las instancias se representan por constantes
u
Las clases se representan por constantes
u
Cada propiedad se representa por una igualdad de la
forma
<atributo>:<valor>
u
Las relaciones clasesuperclase se representan por
hechos de la forma
clase(<clase>,<sup-clase>,[<prop-1>,..,<prop-n>])
u
Las relaciones instanciaclase se representan por he-
chos de la forma
instancia(<clase>,<sup-clase>,[<prop-1>,..,<prop-n>])
u
La constante inicio representa la clase inicial de la
jerarqua
u
Las propiedades de una instancia es una lista de pares
atributovalor
IA2 200203 C
c
I
a
Redes semanticas y marcos 4.12
Marcos
x
Comentarios
u
Independencia del orden de las clausulas en las
propiedades especcas
u
Razonamiento sobre clases, p.e.
C uales son las subclases de persona
?- clase(X,persona,_).
X = alumno ;
X = profesor ;
No
u
Especicacion declarativa de la estrategia de herencia
u
Posibilidad de implementar estrategias de herencia
m ultiple
IA2 200203 C
c
I
a
Redes semanticas y marcos 4.13
Bibliografa
x
Flach, P. Simply Logical (Intelligent Reason-
ing by Example) (John Wiley, 1994)
u
Cap. 4: Representing structured knowledge.
x
Fernandez, G. Representacion del
conocimiento en sistemas inteligentes (Uni-
versidad Politecnica de Madrid, 2000)
u
Cap. 9.1 La psicologa cognoscitiva
x
Lucas, P. y Gaag, L.v.d. Principles of Expert
Systems (AddisonWesley, 1991).
u
Cap. 4: Frames and inherance.
x
Poole, D.; Mackworth, A. y Goebel, R. Com-
putational Intelligence (A Logical Approach)
(Oxford University Press, 1998)
u
Cap. 5: Representing knowledge
x
Russell, S. y Norvig, P. Inteligencia arti-
cial (Un enfoque moderno) (PrenticeHall
Hispanoamericana, 1996)
u
Cap. 10: Sistemas de razonamiento logico
IA2 200203 C
c
I
a
Redes semanticas y marcos 4.14