Tema Redes Frames

Tema 2: Representacin Estructurada del Conocimiento
pp. 1
TEMA 2 (cont.) (cont cont.) Parte 3

SISTEMAS DE REPRESENTACIN ESTRUCTURADOS Y SISTEMAS BASADOS EN EL CONOCIMIENTO
Inteligencia Artificial /Departamento de Sistemas Informticos y Computacin/Facultad de Informtica/ UPV
pp. 2
Sistemas de Representacin Estructurados

1.- Introduccin 2.- Redes Semnticas 2.1.- Herencia en Redes Semnticas 2.2.- Excepciones en la Herencia 3.- Redes Semnticas Extendidas Ejemplos Redes Semnticas 4.- Frames 4.1.- Jerarqua o taxonoma de frames 4.2.- Definicin de frame. 4.3.- Equivalencia frames / redes semnticas 4.4.- Herencia simple 4.5.- Extensin de la Definicin de Frame 4.6.- Herencia mltiple Ejemplo Frames
5.- SBC
5.1.- SBC. Funcionalidad. Estructura. Sistemas Expertos. 5.2.- Representacin del Conocimiento: Base de Conocimiento. 5.3.- Inferencia y Control: Motor de Inferencia.
pp. 3
1.- Introduccin
Representacin del conocimiento mediante grafos (conceptos, relaciones). Facilitan la representacin del conocimiento humano Redes semnticas Frames
2. Redes semnticas
Redes Semnticas (R. Quillian, 1968) representacin en procesamiento de lenguaje natural formalismo muy limitado para dominios ms complejos limitado para tratar con formas de inferencia sofisticada precursor de las frames
pp. 4
2. Redes semnticas
Una red semntica se representa como un grafo dirigido etiquetado (en algunos casos se exige que dicho grafo sea aciclico), constituido por: nodos: representan conceptos (un objeto individual o una clase de objetos) arcos: representan relaciones binarias entre los conceptos. Ejemplo: "El corazn es parte del sistema cardiovascular" "Las arterias son parte del sistema cardiovascular" "Las arterias grandes son arterias" "La aorta es una arteria"
sistema cardiovascular parte-de parte-de
arteria
corazn
subclase-de arteria grande
relacin de inclusin de conjuntos (subclase)
instancia-de aorta
relacin instancia (miembro)
pp. 5
Redes semnticas- (2)

Ejemplo: "Las arterias pequeas son arterias" "La arteria branquial izquierda es una arteria grande"
sistema cardiovascular parte-de parte-de
arteria subclase-de subclase-de arteria grande instancia-de instancia-de arteria branquial izquierda arteria pequea
corazn
ambigedad de la relacin es-un para distinguir entre las relaciones subclase e instancia (miembro). relacin subclase (subclase-de) relacin instancia (instancia-de)
aorta
pp. 6
2.1.- Herencia en Redes Semnticas

La Herencia es el mecanismo de razonamiento utilizado en redes semnticas Herencia: un concepto (nodo) hereda las propiedades de los conceptos "ms altos en la jerarqua" a travs de las relaciones subclase-de e instancia-de. Ejemplo: Un vaso sanguneo es parte del sistema cardiovascular Las arterias son vasos sanguneos "Las arterias contienen sangre rica en oxigeno" "Las arterias tienen pared muscular" "La arteria pulmonar izquierda es una arteria grande" A partir de la red semntica podemos deducir: Las arterias grandes son ricas en oxigeno / Las arterias grandes tienen pared muscular / "La aorta contiene sangre rica en oxigeno" / "La aorta tiene pared muscular"
sistema cardiovascular parte-de parte-de corazn
vasos sanguineos
subclase-de pared sangre
muscular
arteria
rica oxigeno
subclase-de arteria grande instancia-de instancia-de aorta
subclase-de
arteria pequea instancia-de
arteria branquial izquierda
arteria pulmonar izquierda
pp. 7
2.2.- Excepciones en la Herencia

a) No heredar propiedades que producen inconsistencias.
"La arteria pulmonar izquierda contiene sangre pobre en oxigeno" La arteria pulmonar izquierda tiene pared muscular y es rica en oxigeno La propiedad las arterias transportan sangre rica en oxigeno no debe ser heredada (excepcin) por la arteria pulmonar izquierda. Una posible solucin es: - almacenar la propiedad como informacin explcita en cada concepto en el que se cumple la propiedad, eliminando la propiedad general.
100
vasos sanguineos
existen
pared
subclase-de sangre
muscular
arteria
rica oxigeno
subclase-de
arteria pulmonar izquierda sangre pobre oxigeno
b) No heredar propiedades que consideramos relevantes para una clase, pero no para sus especializaciones.
Existen 100 arterias
pp. 8
2.2.- Excepciones en la Herencia

a) No heredar propiedades que producen inconsistencias.
"La arteria pulmonar izquierda contiene sangre pobre en oxigeno" La arteria pulmonar izquierda tiene pared muscular y es rica en oxigeno La propiedad las arterias transportan sangre rica en oxigeno no debe ser heredada (excepcin) por la arteria pulmonar izquierda. Una posible solucin es: - almacenar la propiedad como informacin explcita en cada concepto en el que se cumple la propiedad, eliminando la propiedad general.
100
vasos sanguineos
existen
pared
subclase-de sangre
muscular
arteria
rica oxigeno
subclase-de
arteria pulmonar izquierda sangre pobre oxigeno
b) No heredar propiedades que consideramos relevantes para una clase, pero no para sus especializaciones.
Existen 100 arterias
pp. 9
3.- Redes Semnticas Extendidas

Las Redes Semnticas Extendidas (A. Deliyanni y R. A. Kowalski): formalismo de representacin alternativo a la forma clausal de la lgica con la restriccin de solo poder utilizar smbolos de predicado binarios. Debido a la equivalencia sintctica entre redes semnticas extendidas y la forma clausal de la lgica, las reglas de inferencia definidas para la forma clausal de la lgica pueden ser aplicadas para manipular arcos y nodos de una red semntica extendida. Un predicado binario puede ser traducido en una red en la que: los nodos representan trminos el arco representa la relacin (predicado)
arteria pared muscular
pared (arteria, muscular) La restriccin a smbolos de predicado binarios no es crtica, ya que cualquier tomo que contenga un smbolo de predicado n-ario puede ser reemplazado por una conjuncin de tomos que contengan solo smbolos de predicado binarios. Si n > 2 se requieren n +1 nuevos predicados. Si n = 1, solo se requiere un nuevo predicado.
pp. 10
Redes Semnticas Extendidas - (2)

Ejemplo: PresinSangre(x, y, z) = la presin sangunea de x varia entre y mmHg y z mmHg
El predicado
PresinSangre (arteria, 40, 80)

puede ser reemplazado por la conjuncin de predicados binarios:
instancia-de(presin1, presinsangre) sujeto(presin1, arteria) Lmiteinferior(presin1, 40) Lmitesuperior(presin1, 80)

Red semntica equivalente:
presinsangre 40
instancia-de
Lmiteinferior Sujeto arteria
presin1
Lmitesuperior 80
pp. 11
Redes Semnticas Extendidas - (3)

Ejemplo: Traduccin predicado unario a binario Supongamos el siguiente predicado unario: Arteria(x) = x es una arteria y las clusulas Arteria(aorta) y Arteria(arteria-grande) Estas clusulas pueden ser reemplazadas por las clusulas instancia-de(aorta, arteria) subclase-de(arteria-grande, arteria)
arteria subclase-de instancia-de
arteria grande
aorta
pp. 12
Ejemplos Redes Semnticas

Las personas son mamferos Una persona tiene nariz Pepe es una persona Pepe estudia Documentacin
pp. 13
Ejemplos Redes Semnticas (1)

Juan le dio un libro a Mara:
pp. 14
Ejemplos Redes Semnticas (2)

EJERCICIO: Representar mediante redes semnticas la siguiente informacin: Una persona tiene dos brazos y dos piernas. Las personas pueden ser hombres y mujeres. Un jugador de baloncesto es un hombre. Michael Jordan es un jugador de baloncesto y juega de escolta. Shaquille ONeil es un jugador de baloncesto y juega de pivot. La media de puntos de un escolta es 20. La media de puntos de Michael Jordan es 20. La media de puntos de un pivot es 20. El peso de un jugador de baloncesto es 120 kilos Michael Jordan pertenece al equipo de los Bulls. Shaquille ONeil pertenece al equipo de los Lakers.
pp. 15
4.- Frames
Frames (Minsky, 1975) se basan en el concepto de considerar la resolucin de problemas humana como el proceso de rellenar huecos de descripciones parcialmente realizadas (O. Selz) la idea subyacente en un sistema basado en frames es que el conocimiento concerniente a individuos o clases de individuos, incluyendo las relaciones entre los mismos, es almacenada en una entidad compleja de representacin llamada frame (unidad,objeto,concepto) un conjunto de frames que representa el conocimiento de un dominio de inters es organizada jerrquicamente en lo que es llamado una taxonoma (asociada a un mtodo de razonamiento automtico llamado herencia).
pp. 16
4.- Frames
El conocimiento relevante de un concepto (objeto individual o clase de objetos) es representado mediante entidad compleja de representacin llamada frame, constituida por un conjunto de propiedades (atributos) Las frame proporcionan un formalismo para agrupar explcitamente todo el conocimiento concerniente a las propiedades de objetos individuales o clases de objetos. tipos de frames: frames clase, o frames genricas, que representan conocimiento de clases de objetos. frames instancia, representan conocimiento de objetos individuales.
FRAME VASOS-SANGUNEOS forma contenido pared dimetro situacin
pp. 17
4.- Frames
El conocimiento relevante de un concepto (objeto individual o clase de objetos) es representado mediante entidad compleja de representacin llamada frame, constituida por un conjunto de propiedades (atributos) Las frame proporcionan un formalismo para agrupar explcitamente todo el conocimiento concerniente a las propiedades de objetos individuales o clases de objetos. tipos de frames: frames clase, o frames genricas, que representan conocimiento de clases de objetos. frames instancia, representan conocimiento de objetos individuales.
FRAME VASOS-SANGUNEOS forma contenido pared dimetro situacin
pp. 18
4.1.- Jerarqua o taxonoma de frames

El conocimiento de un dominio de inters es organizado jerrquicamente en una jerarqua o taxonoma de frames. La taxonoma es representada mediante un grafo dirigido aciclico (generalmente un rbol) en el que solo se dan las relaciones: instancia-de subclase-de vasos donde cada nodo denota una frame. subclase-de sanguineos
raz del rbol: descripcin ms general del dominio. hojas del rbol: descripciones de conceptos ms especficos. especializaciones (instancias, subclases, subframe) descendiente de una frame en la taxonoma. no se pueden definir especializaciones de las frames instancia (excepcin metaclases). generalizaciones (superclases, superframe) antecesores de una frame en la taxonoma.
subclase-de venas
arteria subclase-de
arteria pulmonar izquierda
Las propiedades de las frame ms generales son heredadas por sus especializaciones (herencia).
pp. 19
4.2.- Definicin de frame.

FRAME clase | instancia identificador es
subclase-de | instancia-de identificador atributo atributo atributo valor | tipo valor | tipo valor | tipo
cada frame de una taxonoma tiene un nombre nico. una frame solo puede tener una superclase (herencia simple). la informacin (propiedades) especfica al concepto representado por una frame es representada mediante atributos o slots los atributos ofrecen un medio de representar las propiedades de objetos individuales o clases de objetos.
instancia arteria branquial izquierda es instancia-de diametro 0.4 brazo rica en oxigeno arteria
atributo end
valor | tipo
situacin sangre end
pp. 20
Sintaxis FRAMES
<frame> ::= <clase>::= <clase> | <instancia> clase <nombre-clase> es subclase-de <espec-super>; <atributos-clase> end <instancia>::= instancia <nombre-instancia> es instancia-de <espec-super>; <atributos-instancia> end <espec-super>::= <nombre-clase> | nil <atributos-clase>::= <declaracin> {; <declaracin}* | <vaco> <atributos-instancia>::= <par-atributo-valor> {; <par-atributo-valor>}* | <vaco> <declaracin>::= <par-atributo-tipo> | <par-atributo-valor> <par-atributo-tipo>::= <nombre-atributo> : <tipo> <par-atributo-valor>::= <nombre-atributo> = <valor> <tipo>::= entero | real | string | <conjunto> | <nombre-clase> <valor>::= <constante> | <nombre-instancia> <vaco>::= el smbolo nil denota que una frame es la raz de la taxonoma. <conjunto> denotar un conjunto enumerado de constantes elementales y/o nombres de instancias Se asume que un par atributo/tipo o atributo/valor, ocurre una nica vez en una taxonoma (posteriormente se elimina esta suposicin).
pp. 21
Ejemplos
instancia arteria-branquial-izquierda es instancia-de arteria; dimetro = 0.4; situacin = brazo; sangre = rica-oxigeno end instancia brazo es instancia-de miembro; posicin = superior end clase arteria es subclase-de vasos-sanguneos; situacin: {brazo, cabeza, pierna, tronco} end clase miembro es subclase-de nil; posicin:{superior, inferior} end
la informacin especificada en las partes atributo de las frames instancia sigue las siguientes reglas: todos los atributos que ocurren en las instancias de una frame clase deben haber sido declarados en dicha frame clase o en una de sus generalizaciones. los valores asignados a los atributos de la instancia deben ser del tipo de datos definido en alguna de sus generalizaciones.
pp. 22
Ejemplos
en la declaracin de una frame clase tambin se puede asignar valor a un atributo (estn permitidos los pares atributo valor) clase arteria es subclase-de vasos-sanguneos; situacin : {brazo, cabeza, pierna, tronco}; sangre = rica-oxigeno end instancia arteria-branquial-izquierda es instancia-de arteria; dimetro = 0.4; situacin = brazo end
se considera adecuado especificar el valor rica-oxigeno del atributo sangre en la especificacin de la clase, con lo que no es necesario especificarlo en sus subclases o instancias, ya que est propiedad ser heredada por todos los descendientes de la clase
pp. 23
4.3.- EQUIVALENCIA FRAMES / REDES SEMNTICAS

clases, instancias y valores atributos conceptos (nodos) atributos relaciones (arcos)
clase vasos-sanguineos es subclase-de nil; forma = tubular; contiene = sangre end subclase-de clase arteria es subclase-de vasos-sanguineos; pared = muscular end subclase-de
contiene vasos-sanguineos forma
sangre
subclase-de
clase vena es subclase-de vasos-sanguineos; pared = fibrosa end
tubular subclase-de
arteria pared instancia-de muscular
vena pared fibrosa
instancia-de clase aorta es instancia-de arteria; diametro = 2.5 end
aorta diametro
2,5
pp. 24
4.5.- HERENCIA SIMPLE

Herencia simple (frames con una nica superclase, taxonomas de tipo rbol). Herencia mltiple (frame con ms de una superclase, taxonomas de tipo grafo). Tipos de informacin sobre atributos en una taxonoma de frames: - informacin sobre tipo de atributo - informacin sobre valor de atributo Los enlaces instancia-de y subclase-de definen una ordenacin parcial de frames clase en la taxonoma, que puede ser utilizado para razonar sobre los valores de los atributos de la misma forma que en las redes semnticas (las especializaciones 'heredan' los valores de los atributos de las generalizaciones). El enlace subclase-de puede ser considerado como una relacin que restringe los contenidos semnticos en la taxonoma de frames (los valores de un atributo de una subclase estn restringidos por el tipo del atributo especificado en la superclase).
Herencia
heredables no heredables Valores (excepciones) Tipo Valores (excepciones)
Atributos
pp. 25
4.5.1.- HERENCIA SIMPLE DE ATRIBUTOS / VALORES

La herencia simple consiste en que una frame hereda todos los atributos de sus superclases, as como los valores de estos atributos. Consideremos lo siguiente desde un punto de vista de la lgica de predicados de primer orden: {arteria(aorta), x(arteria(x) pared(x)=muscular)} aplicando el Modus Ponens obtenemos: pared(aorta) = muscular de forma similar derivaramos: vasos-sanguneos(aorta) Esta informacin es heredada por la aorta desde un informacin general de las arterias. Este tipo de razonamiento es modelado en un mtodo de inferencia para frames llamado herencia simple. Informalmente podemos definir el procedimiento de herencia simple de la siguiente forma: Recorrer la taxonoma desde una frame especifica hasta la raz de la misma y coleccionar sucesivamente los atributos de las frames encontradas y sus valores asociados
pp. 26
4.5.2.- EXCEPCIONES EN LA HERENCIA SIMPLE

unicidad atributos en taxonoma disminuye expresividad. asumiremos atributos mono-valor. un atributo puede ocurrir en ms de una frame. clase arteria es instancia arteria-pulmonar-izquierda es subclase-de vasos-sanguneos; instancia-de arteria; sangre = rica-oxigeno sangre = pobre-oxigeno; end end
x(arteria(x) sangre(x) = rica-oxigeno) sangre(arteria-pulmonar-izquierda) = pobre-oxigeno x(arteria(x) vasos-sanguneos(x)) arteria(arteria-pulmonar-izquierda) sangre(arteria-pulmonar-izquierda) = rica-oxigeno
axiomas de igualdad inconsistencia Solucin: concepto de excepcin (propiedad general que no se cumple para algn(os) objeto(s) del dominio).
Si en la especificacin de una subclase o instancia, se especifica un valor de un atributo que ha sido especificado tambin en una generalizacin de la misma,se mantiene dicho valor y no se hereda el valor especificado en las generalizaciones (los descendientes de esta nueva frame heredaran el nuevo valor especificado como excepcin)
pp. 27
4.6.- Extensin de la Definicin de Frame

FRAME clase | instancia identificador es
subclase-de | instancia-de identificador

atributo valor valor-defecto tipo valor cardinalidad tipo atributo herencia demonio facetas
El formalismo de frames descrito no permite: saber si el valor del atributo de una instancia ha sido heredado o ha sido especificado explcitamente. calcular los valores de un atributo a partir de los valores de otros atributos. Muchos lenguajes de frames proporcionan constructores especiales del lenguaje llamados facetas, que permiten manejar las funcionalidades anteriores.
end
pp. 28
Extensin de la Definicin de Frame - (2)

Una faceta es considerada como una propiedad asociada a un atributo. faceta valor, es la ms comn y referencia el valor real del atributo. faceta valor por defecto, denota el valor inicial del atributo en caso de que no se especifique lo contrario. faceta tipo valor, especifica el tipo de datos del valor del atributo. faceta cardinalidad, especifica si se trata de un atributo uni o multi-valuado. faceta mxima cardinalidad, solo es valida para atributos multi-valuados y especifica el mximo nmero de valores asociados al atributo. facetas demonio, permiten la integracin de conocimiento declarativo y procedural. Un demonio o valor activo es un procedimiento que es invocado en un momento determinado durante la manipulacin del atributo donde ha sido especificado (si-necesario, si-aadido, si-eliminado). faceta tipo atributo, especifica si se trata de un atributo heredable o no heredable. faceta herencia, especifica el tipo de herencia del atributo.
pp. 29
Sintaxis Frames
<espec-super>::= <atributos>::= <atributo-faceta-par>::= <espec-faceta>:= <faceta>::= ( extensin del lenguajes de frames) <nombre-clase> | nil <atributo-faceta-par> |{; <atributo-faceta-par>}* | <vaco> <nombre-atributo>=(<espec-faceta> | {, <-espec-faceta>}*) <faceta> | demonio <tipo-demonio> <llamada-demonio> valor <valor>| defecto <valor> |tipo-valor : <tipo> | max-card entero| card <tipo-card | herencia <tipo-herencia> | tipo-atributo <tipo-atributo> si-necesario | si-aadido | si-eliminado entero | real | string | <conjunto> |<nombre-clase> |<rango> <constante> | <nombre-instancia> heredable | no_heredable Z|N multi |uni { <valor> | {, <valor>}* } [<constante> .. <constante>]
<tipo-demonio>::= <tipo>::= <valor>::= <vaco>::= <tipo-atributo> ::= <tipo-herencia>::= <tipo-card> ::= <conjunto> ::= <rango> ::=
pp. 30
Ejemplo
clase arteria es subclase-de vasos-sanguneos; pared = (valor muscular); sangre =(defecto rica-oxigeno, tipo-valor:{rica-oxigeno, pobre-oxigeno}); presin-sangunea = (defecto 20); flujo-sanguneo =(defecto 4); resistencia =(demonio si-necesario R(presin-sangunea,flujo-sanguneo)) end
pp. 31
Tipos de Herencia de Valores

Dependiendo de como es recorrida la taxonoma para determinar los valores del atributo considerado.
N-herencia
Raz Taxonoma Raz Taxonoma
Z-herencia
Superframe Frame Faceta Valor Demonio si-necesario Faceta por defecto
Superframe Frame Faceta Valor Demonio si-necesario Faceta por defecto
pp. 32
Herencia de Tipo de Atributos

relacin supertipo relacin subtipo una especializacin hereda el tipo de valor de su generalizacin a no ser que se especifique lo contrario. excepciones: en la especificacin de una frame se puede restringir el tipo de valor de un atributo a un subtipo del tipo de valores de su generalizacin
clase vasos-sanguneos es subclase-de nil; sangre =(tipo-valor{rica-oxigeno, pobre-oxigeno}); pared = (tipo-valor {muscular, fibrosa, mixta}) end clase arteria es subclase-de vasos-sanguneos; pared = (tipo-valor {muscular, mixta}); espesor-pared = (tipo-valor real) end
tipo de valor heterogneo <tipo> ::= entero | real | string | <conjunto> |<nombre-clase> | <tipo> {U <tipo>}*
pp. 33
4.7.- Herencia Mltiple

Vehculo Terrestre subclase-de Vehculo Tierra/Mar Vehculo Anfibio subclase-de
taxonoma representada por un grafo dirigido aciclico. <clase>::= clase <nombre-clase> es subclase-de <espec-super>{,<espec-super>}*; <atributos> end una especificacin hereda los atributos de todas sus generalizaciones (su conjunto de atributos ser la unin de los conjuntos de atributos de sus superclases). excepciones:
debidas a inconsistencias entre generalizaciones y especializaciones se resuelven mediante herencia simple. debidas a inconsistencias entre superclases de una misma especializacin, se necesitan mtodos para decidir que valores de facetas heredar de entre los de las superclases. explicitas
pp. 34
Ejemplo
a) Representar mediante un mtodo basado en frames, detallando: Clases, subclases e instancias. Slots o atributos de las frames. Distinguir miembros y propios. Clase de valores de los atributos. Valores de los atributos, para aquellos que sean conocidos.
Categora Arterias grandes Arterias pequeas Arteriolas Venas Arteriolas
Rango de presin media (mmHg) 90-100 80-90 40-80 <10 <10
pp. 35
Ejemplo - (2)
vasos sanguineos subclase-de subclase-de arteria subclase-de subclase-de arteriola arteria grande subclase-de capilares subclase-de subclase-de
venas subclase-de
venas grandes
venas pequeas
instancia-de instancia-de aorta arteria branquial
instancia-de vena branquial
arteria pulmonar
pp. 36
Ejemplo - (3)
clase vasos-sanguneos es subclase-de nil; pared = (tipo-valor {muscular, fibroso}, tipo-atributo heredable); oxigeno = (tipo-valor {rico, pobre}, tipo-atributo heredable); presin-media = (tipo-valor real, tipo-atributo heredable, demonio si-necesario media(presin-mxima, presin-mnima)); presin-mnima = (tipo-valor real, tipo-atributo heredable); presin-mxima = (tipo-valor real, tipo-atributo heredable) end clase arterias es subclase-de vasos-sanguneos; pared = (valor muscular); end
pp. 37
Ejemplo - (4)
clase capilares es subclase-de vasos-sanguneos; presin-media = (tipo-valor [0..10]) end clase arterias-grandes es subclase-de arterias; presin-media = (tipo-valor [90..100]) end clase arterias-pequeas es subclase-de arterias; oxigeno = (valor rico); presin-media = (tipo-valor [80..90]) end
pp. 38
Ejemplo - (5)
clase arteriolas es subclase-de arterias; oxigeno = (valor rico); presin-media = (tipo-valor [40..80]) end clase venas es subclase-de vasos-sanguneos; pared = (valor fibroso); oxigeno = (valor pobre); presin-media = (tipo-valor [0..10]) end
pp. 39
Ejemplo - (EXAMEN Septiembre 99)

Representa mediante una estructura de Frames la siguiente informacin acerca de la organizacin de un Congreso: -En dicho Congreso se debe poder almacenar informacin acerca de las presentaciones que se van a realizar que sern bien artculos aceptados, conferencias invitadas o posters. De cada una de estas presentaciones se desea conocer su ttulo, numero de referencia, autor/es, su lista de descriptores y si est confirmada su presentacin en el Congreso. -Se desea tambin almacenar informacin de los diferentes autores con datos como nombre, apellidos, universidad o centro donde trabajan y numero de artculos presentados. -Por otro lado se debe mantener una lista de las personas inscritas, indicando su nombre, cantidad abonada, numero de tarjeta de crdito y si es estudiante o no. En el caso de ser estudiante se deber guardar informacin acerca de la universidad donde est estudiando. -Se quiere disponer de una estructura que refleje las sesiones del Congreso por das. El Congreso dura 3 dias (Mircoles, Jueves y Viernes) y hay 3 sesiones diarias (MAANA1, MAANA2 y TARDE1) donde en cada sesin puede haber o bien 3 artculos o 1 conferencia invitada o un nmero indeterminado de posters (no puede haber mezclas de presentaciones diferentes) Cada uno de los descriptores del Congreso debe asociarse a una descripcin del mismo que explique el significado del descriptor.
pp. 40
5. SBC 5.1.- SBC: FUNCIONALIDAD. ESTRUCTURA.SISTEMAS EXPERTOS.

Un Sistema Basado en el Conocimiento (SBC) es un sistema informtico capaz de soportar la representacin explcita de conocimiento de algn dominio de competencia especfico y explotarlo a travs de mecanismos de razonamiento (tcnicas de resolucin de problemas) apropiados con el fin de proporcionar resoluciones de problemas de alto nivel.
Conocimiento del Dominio
Base de Conocimiento
problema
Mecanismo de Razonamiento
solucin
Memoria de Trabajo
SBC
pp. 41
Modo de operacin de un SBC bsico

FALLO XITO
SELECCIONAR del conjunto de conocimiento recuperado de la base de conocimiento el conocimiento a utilizar ahora
APLICAR el conocimiento seleccionado y, posiblemente, transformar el contenido actual de la memoria de trabajo
INSERTAR en la memoria de trabajo una representacin del problema a resolver
BUSCAR en la base de conocimiento conocimiento potencialmente relevante para la solucin del problema actual
NO
SE HA ENCONTRADO ALGN CONOCIMIENTO TIL
PROBLEMA RESUELTO?
NO
SI
SI
pp. 42
Qu es un Sistema Experto?
Un S.E. es un sistema informtico que incorpora una componente basada en el conocimiento, que se obtiene a partir de la habilidad de un experto humano, de forma que el sistema puede dar consejos o tomar decisiones inteligentes, y es capaza de justificar/explicar las mismas
Un S.E. razona utilizando: Conocimiento experto para resolver problemas complejos de un dominio Conocimiento que el sistema posee del problema concreto. Cmo razona?: buscando en un espacio de alternativas y con un nivel de competencia similar a los de un ser humano experto en dicho dominio. Adems debe ser capaz, bajo demanda, de justificar su propia lnea de razonamiento de forma inteligible para el usuario. Definicin: Funcional / Estructural
Problema
Experto Humano
Conocimiento, Juicio, Experiencia
Sistema Experto
Solucin
Solucin
pp. 43
Caractersticas Funcionales
Resolucin de problemas difciles. Razonamiento heurstico, no algortmico. Interaccin eficaz/cmoda usuario: grficos. Manipulacin de smbolos. Posibilidad de trabajar con datos inciertos e imprecisos. Contemplar simultneamente soluciones alternativas. Explicacin y justificacin de: Preguntas Conclusiones. Lnea de razonamiento. Aprendizaje.
pp. 44
Arquitectura Bsica de un SE
PROBLEMA
Datos
Solucin
Datos
Conocimiento Dominio
B.C.
B.T.
EXPERTO
Conocimiento Resolucin Problemas M.I.
SISTEMA EXPERTO
Organizacin del conocimiento separada: Dominio de aplicacin (BC):Reutilizable, Permanente Problema (BT): Retractable, Dinmica. Resolucin de problemas (MI) Interaccin con el usuario, aprendizaje, etc.
pp. 45
Sistemas Expertos
Sistema de Inteligencia Artificial Sistemas Basados en el Conocimiento (KBS)
Sistemas Expertos
Sistemas de IA: exhiben conducta inteligente, simulando capacidadesde la inteligencia humana. SBC: Procesan conocimiento, separando el conocimiento sobre el dominio (informacin, datos) de como manejarlo (resolucin de problemas). SE: incorporan conocimiento experto, que tiene unas caractersticas que lo diferencian del conocimiento general.
Un S.E. es un SBC (lo inverso necesariamente no es cierto).
Ventajas: Tener el conocimiento sobre el dominio separado del resto, es til para disear mecanismos para manipular conocimiento de forma eficiente. Permite especificar el conocimiento sobre el dominio, apartando los problemas referentes a los otros conocimientos (proceso).
pp. 46
Arquitectura de un Sistema Experto

I/O USUARIO Subsistema de Explicacin Interfaz Usuario Base de Conocimiento Relaciones y Hechos en el Dominio Base de Trabajo Hechos del Problema
Motor de Inferencia (Razonamiento con incertidumbre)
Subsistema Adquisicin Conocimiento
Interfaz Desarrollo
EXPERTO
Ingeniero del Conocimiento
pp. 47
MDULOS BSICOS DE UN SE
Base de Conocimiento
Conocimiento del experto sobre el dominio de aplicacin: Hechos del dominio / Relaciones de conocimiento Reutilizable y Permanente
Base de hechos (Trabajo):

Retractable / Dinmica. Representa: Datos del problema / Conclusiones intermedias Integrada de forma diferenciada en la BC No integrada en BC: Bases de Datos.
Motor de Inferencia:
Propiedades inferenciales de la representacin. Mecanismo de control del espacio de soluciones. Sistema de encadenamiento inferencial. Representacin: Dependiente del continente BC / Independiente del contenido BC Reutilizable: Un MI es un programa reutilizable sobre una estructura de BC.
pp. 48
Tcnicas / Problemticas Bsicas en los SE

Representacin del Conocimiento: Conocimiento Factual (Hechos). Conocimiento Normativo (Reglas): Conocimiento Procedural. Inferencia y Control. Control Inferencial. Encadenamiento Inferencial. Razonamiento: Inferencias Mltiples y Simultneas. Razonamiento Simblico. Solucin Heurstica / Aproximada. Posiblemente Inconsistente. Posiblemente Incompleto. Metaconocimiento.
pp. 49
Tcnicas / Problemticas Bsicas en los SE - (2)

Justificacin / Explicacin Adquisicin del Conocimiento Interfaz con el usuario. Otras Problemticas: Aprendizaje. Incertidumbre, Imprecisin. Volumen del conocimiento. Incompletitud. Razonamiento hipottico, no-montono, aproximado, temporal, etc. Dinmica del problema. Integracin en el entorno: acceso a BD, on-line, etc. Restricciones: Tiempo real, etc.
pp. 50
Evolucin de los S.E.

Pre-Inicio : GPS (Newell - 1959) Invencin (1965/1970): Dendral. Prototipos (1970/1977): Internist, Mycin, Prospector Experimentacin (1977/1981) Sistemas Esenciales (Skeletal). Entornos Simples. Comercializacin/Entornos (1981/....) Empresas Comerciales. Entornos: Art, Kee Aplicaciones reales. Nuevas restricciones / problemticas. Segunda Evolucin (1988/.....) S.E. Segunda Generacin. Otros modos de razonamiento. Arquitec. Avanz.: Blackboard, Cooperativos, etc. Requerimientos: Percepcin, Tiempo Real, ....
pp. 51
Sistema Experto vs Experto Humano

SISTEMA EXPERTO Permanente Trasladable/Ubicuidad Fcil Desarrollar/Copiar Coherente Barato Duro Disponibilidad (tiempo, lugar) HUMANO Mortal Difcil De Trasladar Costoso De Aprender Impredecible Caro Frgil Restrictivo
VENTAJAS DESVENTAJAS
No Inspirado Fijo Mecnico Miras Estrechas Entradas Simblicas
Creativo Sentido Comn Adaptativo Miras Amplias Sensorial
pp. 52
5.2.- BASE DE CONOCIMIENTO

Representacin del conocimiento sobre el Dominio y sobre el Problema de Aplicacin
Problemas de la Representacin: Adecuacin Expresiva: Qu podemos representar Adecuacin Computacional: Facilidad y eficiencia en el procesamiento de la informacin. Representacin del Conocimiento: Conocimiento Declarativo (Hechos): Variables numricas /alfanumricas. Tuplas Objeto/Atributo/Valor. Patrones. Redes Semnticas Frames fbf del calculo de predicados. Conocimiento Normativo: Reglas de produccin (Conocimiento Heurstico) IF condicin THEN conclusin DO accin Tablas de decisin. Redes de decisin. Conocimiento Procedural: Mtodos (procedimientos, funciones) Valores activos (demonios)
pp. 53
Base de Conocimiento - (2)

Otras Problemticas: Incertidumbre: Factores de posibilidad Probabilidades de Bayes Lgica Difusa Imprecisin: Lgica Difusa Incompletitud: Lgicas no-monotonas. Temporalidad: Lgicas temporales.
pp. 54
Bases de Conocimiento - (3)

"Las reglas que uno obtiene estudiando los problemas son inconsistentes, incompletas e imprecisas. Los programas heursticos se desarrollan mediante un proceso de prueba y error en el que se aade una regla cada vez que se encuentra un caso no cubierto por las antiguas. Este enfoque suele conducir a programas con comportamiento poco conocido y difcil de predecir ..... Me fo menos de tales programas que de los clsicos no estructurados.... La IA guarda con la Inteligencia la misma relacin que las flores artificiales con las flores.... No creo que podamos aprender mucho sobre la una estudiando la otra." David L. Parnas. "Software of strategic defense Systems. American Scientist,73 (sept-oct, 1985) pp. 432-440 Comentarios: Inconsistencia: Detectable? Incompletitud/Imprecisin: Inherente a ciertas aplicaciones Heurstica: Solucin algortmica irrealizable. F/FA=I/IA : Crtica a la psicologa cognitiva. No considera: separacin conocimiento/control, dominio de problemas, control del razonamiento, etc.
pp. 55
5.3.- MOTOR DE INFERENCIA

El Motor de Inferencia (MI) utiliza el conocimiento de la BC para construir (buscar) la lnea de razonamiento que conduce a la solucin del problema. Mtodo Inferencial (Sistema Basado en Reglas): Con Retract (y Modif.) Semntica Procedural Especfica Conceptos del MI: Encadenamiento Inferencial (Qu obtener?) Encadenamiento hacia adelante / hacia atrs /mixto. Control Inferencial (Cmo obtenerlo?): Anchura / Profundidad / Control Procedural del Razonamiento (Estrategias)
BASE DE CONOCIMIENTO
BASE DE REGLAS R1 R2 . . C1--->A1 C2--->A2 BASE DE HECHOS H1 H2 . . AADIR/ ELIMINAR HECHOS
ENCADENAMIENTO INFERENCIAL
PATTERN-MATCHING
SELECCION
REGLAS APLICABLES CONTROL RESOLUCION DE CONFLICTOS REGLA A APLICAR
EJECUCION MOTOR DE INFERENCIA PASOS
pp. 56
Control Inferencial
Resolucin de conflictos en el espacio de bsqueda Complejidad de premisas Peso de las reglas Combinacin: peso, complejidad Mayor frecuencia ltima utilizada Metarreglas (Cmo utilizar el conocimiento): Priorizacin de reglas Exclusin de reglas Cambio encadenamiento
pp. 57
Encadenamiento Inferencial
Hacia adelante Guiado por los Datos Sistemas Generativos Respuestas (todas) Consistentes con la B.C. Encadenamiento Hacia Atrs Guiado por los Objetivos Sistemas Clasificativos. Obtiene Respuestas a Preguntas Permiten Preguntas al Usuario. Proceso Similar al Humano. Eficacia. Aplicaciones: Sistemas con Respuesta Definida Consultivos, Clasificativos, De Interpretacin, Diagnstico, Planificacin
Aplicaciones: No Delimitacin Respuesta. Todas las Respuestas Posibles Configuracin, Control, Prediccin, Simulacin, Monitorizacin

Tema Redes Frames

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Tema Redes Frames

Caricato da

Copyright:

Formati disponibili

Tema 2: Representacin Estructurada del Conocimiento

TEMA 2 (cont.) (cont cont.) Parte 3

Inteligencia Artificial /Departamento de Sistemas Informticos y Computacin/Facultad de Informtica/ UPV

Tema 2: Representacin Estructurada del Conocimiento

Sistemas de Representacin Estructurados

Inteligencia Artificial /Departamento de Sistemas Informticos y Computacin/Facultad de Informtica/ UPV

Tema 2: Representacin Estructurada del Conocimiento

Inteligencia Artificial /Departamento de Sistemas Informticos y Computacin/Facultad de Informtica/ UPV

Tema 2: Representacin Estructurada del Conocimiento

subclase-de arteria grande

relacin de inclusin de conjuntos (subclase)

relacin instancia (miembro)

Inteligencia Artificial /Departamento de Sistemas Informticos y Computacin/Facultad de Informtica/ UPV

Tema 2: Representacin Estructurada del Conocimiento

Redes semnticas- (2)

Inteligencia Artificial /Departamento de Sistemas Informticos y Computacin/Facultad de Informtica/ UPV

Tema 2: Representacin Estructurada del Conocimiento

2.1.- Herencia en Redes Semnticas

subclase-de pared sangre

subclase-de arteria grande instancia-de instancia-de aorta

arteria pequea instancia-de

arteria branquial izquierda

arteria pulmonar izquierda

Tema 2: Representacin Estructurada del Conocimiento

2.2.- Excepciones en la Herencia

subclase-de arteria grande instancia-de instancia-de aorta

arteria pequea instancia-de

arteria branquial izquierda

arteria pulmonar izquierda sangre pobre oxigeno

Tema 2: Representacin Estructurada del Conocimiento

2.2.- Excepciones en la Herencia

subclase-de arteria grande instancia-de instancia-de aorta

arteria pequea instancia-de

arteria branquial izquierda

arteria pulmonar izquierda sangre pobre oxigeno

Tema 2: Representacin Estructurada del Conocimiento

3.- Redes Semnticas Extendidas

Tema 2: Representacin Estructurada del Conocimiento

Redes Semnticas Extendidas - (2)

PresinSangre (arteria, 40, 80)

instancia-de(presin1, presinsangre) sujeto(presin1, arteria) Lmiteinferior(presin1, 40) Lmitesuperior(presin1, 80)

Inteligencia Artificial /Departamento de Sistemas Informticos y Computacin/Facultad de Informtica/ UPV

Tema 2: Representacin Estructurada del Conocimiento

Redes Semnticas Extendidas - (3)

Inteligencia Artificial /Departamento de Sistemas Informticos y Computacin/Facultad de Informtica/ UPV

Tema 2: Representacin Estructurada del Conocimiento

Ejemplos Redes Semnticas

Inteligencia Artificial /Departamento de Sistemas Informticos y Computacin/Facultad de Informtica/ UPV

Tema 2: Representacin Estructurada del Conocimiento

Ejemplos Redes Semnticas (1)

Inteligencia Artificial /Departamento de Sistemas Informticos y Computacin/Facultad de Informtica/ UPV

Tema 2: Representacin Estructurada del Conocimiento

Ejemplos Redes Semnticas (2)

Inteligencia Artificial /Departamento de Sistemas Informticos y Computacin/Facultad de Informtica/ UPV

Tema 2: Representacin Estructurada del Conocimiento

Inteligencia Artificial /Departamento de Sistemas Informticos y Computacin/Facultad de Informtica/ UPV

Tema 2: Representacin Estructurada del Conocimiento

Inteligencia Artificial /Departamento de Sistemas Informticos y Computacin/Facultad de Informtica/ UPV

Tema 2: Representacin Estructurada del Conocimiento

Inteligencia Artificial /Departamento de Sistemas Informticos y Computacin/Facultad de Informtica/ UPV

Tema 2: Representacin Estructurada del Conocimiento

4.1.- Jerarqua o taxonoma de frames

subclase-de arteria grande instancia-de instancia-de aorta

arteria pequea instancia-de