Etermino

Inteligencia Artificial 2

Curso 2002–2003

Tema 4: Redes sem´nticas y a marcos

Jos´ A. Alonso Jim´nez e e Francisco J. Mart´ Mateos ın Jos´ L. Ruiz Reina e

Dpto. de Ciencias de la Computaci´n e Inteligencia Artificial o

Universidad de Sevilla

IA2 2002–03

Cc Ia

Redes sem´nticas y marcos a

4.1

Modelos cognitivo
x

Modelo de procesador cognitivo

u

Referencia:Fern´ndez–00 Cap. 9.1 a

IA2 2002–03

Cc Ia

Redes sem´nticas y marcos a

4.2

Modelos cognitivo
x

Experimento de Collins y Quillian (1961)

u

Referencia: Fern´ndez–00 Cap. 9.1 a

IA2 2002–03

Cc Ia

Redes sem´nticas y marcos a

4.3

Modelos cognitivo
x

Ejemplo de red sem´ntica a

u

Referencia: Fern´ndez–00 Cap. 9.1 a

IA2 2002–03

Cc Ia

Redessem´nticas y marcos a

4.4

Redes sem´nticas a

x

Ejemplo de red sem´ntica a
inicio es_un persona sevilla es_un profesor es_un luis edad 24 casado 44 estado edad es_un pablo ciudad mairena edad 47 estado casado es_un pedro es_un ciudad

soltero

estado

alumno

es_un

juan

edad

19

IA2 2002–03

Cc Ia

Redes sem´nticas y marcos a

4.5

Redes sem´nticas a
xRepresentaci´n o
% 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 2002–03

Cc Ia

Redes sem´nticas y marcos a

4.6

Redes sem´nticas a
x

Razonamiento
u

Sesi´n o

?- propiedades_rs(luis,P). P = [ciudad:sevilla, edad:24, estado:casado]
u

Definici´n o

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 2002–03

Cc Ia

Redes sem´nticas y marcos a

4.7

Redes sem´nticas a
x

Elementos de la representaci´n o
u u u

Las instancias se representan por constantes Las clases serepresentan por constantes Las relaciones clase–superclase se representan por hechos de la forma es un(,) Las relaciones instancia–clases se representan por hechos de la forma inst(,) Cada propiedad se representa por un predicado binario de la forma prop(,,valor>) La constante inicio representa la clase inicial de la jerarqu´ ıa Las propiedades de una instancia es una lista de pares atributo–valor

uu

u

u

IA2 2002–03

Cc Ia

Redes sem´nticas y marcos a

4.8

Redes sem´nticas a
x

Comentarios
u

Independencia del orden de las cl´usulas en las a propiedades espec´ ıficas Razonamiento sobre clases, p.e. “¿C´ ales son las subclases de persona” u

u

?- es_un(X,persona). X = alumno ; X = profesor ; No
u u

Especificaci´n declarativa de la estrategia de herencia oPosibilidad de implementar estrategias de herencia m´ ltiple u

IA2 2002–03

Cc Ia

Redes sem´nticas y marcos a

4.9

Marcos

x

Ejemplo de marco
inicio es_un persona ciudad: sevilla es_un es_un profesor estado: casado inst luis edad: 24 estado: casado pablo edad: 44 ciudad: mairena inst inst pedro edad: 47

alumno

estado: soltero

inst

juan

edad: 19

IA2 2002–03

Cc...