Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Representación Del Conocimiento Parte1
Representación Del Conocimiento Parte1
CONOCIMIENTO
Significado del Conocimiento
La Epistemologa es el estudio del conocimiento, estudia su
naturaleza, su estructura y sus orgenes. Podemos Identificar tipos.
El conocimiento a priori, es
independiente .
Educacin
Conocimiento
Dato
Informacin
Toma de
Decisiones
Accin
Ing. Elinar Carrillo Riveros
Caractersticas
Atributos
INFORMACION
Datos
Significativos
Procesados
CONOCIMIENTO
Informacin adquirida
Experiencia
Educacin
Ing. Elinar Carrillo Riveros
COMO SE REPRESENTA EL
CONOCIMIENTO
Se puede representar explcitamente el
conocimiento que un experto utiliza para resolver
problemas, para su almacenamiento y empleo en
un sistema software de forma verstil y eficiente
Cmo representar el conocimiento almacenado en
el cerebro de la mquina (memoria)
Reglas de produccin
Lgica de predicados
1. Marco era un hombre.
hombre(Marco)
10
Importancia de conocimiento en SE
El conocimiento es de vital importancia en los sistemas expertos por
que basan su rendimiento en la cantidad y calidad del
conocimiento de un dominio especfico y no tanto en las tcnicas
de solucin de problemas.
Analoga con la expresin de clsica de Wirth
Algoritmo + estructura de Datos = Programa
Para sistemas expertos
Conocimiento + Inferencia = Sistemas Expertos
11
Metaconocimiento
Conocimiento
Informacin
Datos
Ruido
el
12
Descripcin:
Organizacin:
Restricciones:
con otros.
Ing. Elinar Carrillo Riveros
13
de
representacin
del
No formal:
Redes semnticas
Marcos o Frames
Formal:
Reglas de produccin
Lgica de predicados
14
Tcnica No Formal
Redes Semnticas:
15
REPRESENTACIN DEL
CONOCIMIENTO
Nodos: Se les denomina objetos y representan objetos fsicos,
conceptos o situaciones .
16
EJEMPLO
17
Tcnica No Formal
Marco (Frame):Forma de representar un red semntica
textualmente pero adems puede incluir representacin de
conocimiento procedimental.
Cada nodo corresponde a un objeto o a una clase se convierte en un
marco, que consta de una primera lnea con el nombre del marco y
una sucesin de lneas, llamada ranura(slost).
Un marco es anlogo a la estructura de un registro en un lenguaje
de alto nivel. Bsicamente un marco es un conjunto de ranuras y
rellenos que definen un objeto estereotpico.
18
Ejemplo
MARCO_AVESTRUZ
Descripcin: caracterizacin bsica de un avestruz
Autor : Prof. Ornito
Fecha : 31/12/2000
Tipo_de : ave
Patas : largas
Vuela : (excl) no_puede
Detalles : if (necesario) {buscar en
19
Tcnicas Formales
REGLAS DE PRODUCCION
Las reglas de produccin se aplican a
la base de hechos(hechos inciales,
intermedios y finales ). Son pares
ordenados (A,B), segn el tipo de
sistema se denominan:
antecedente y
consecuente
condicin y accin o
premisa y conclusin.
Su formalizacin lgica es la de
sentencias condicionales A B
Ing. Elinar Carrillo Riveros
20
Tcnicas Formales
REGLAS DE PRODUCCION
Las reglas de produccin son reglas de
tipo Si .. Entones.
Su caracterstica es que genera un
espacio de bsqueda.
Es mtodo de procedimental de
representacin del conocimiento.
21
Ejemplo
HECHOS
REGLAS
Juan es un estudiante
Juan tiene 8 aos
El perro es blanco
El perro se llama Dinki
A Mara le gusta el cine
Pedro prefiere la pelcula
La edad de Luis es de 25 aos
Pedro tiene un salario de ms de
25 soles.
22
Tcnicas Formales
Lgica de predicados
Esta basado en sentencias que expresan relaciones entre
objetos as tambin como cualidades y atributos de dichos
objetos (personas, objetos fsicos y conceptos).
predicado(argumento)
Tienen un valor de verdad, pero dependen de sus trminos.
Prolog implementa la lgica de predicados.
Usa cuantificadores existe y para todo
Cualquier persona es feliz si es observada por Beln o por
Federico
x (obs(federico,x) obs(belen,x)feliz(x))
es lgicamente equivalente a:
x (obs(federico,x) feliz(x))
x (obs(belen,x) feliz(x))
En PROLOG:
feliz(X) :- obs(federico,X).
feliz(X) :- obs(belen,
Ing. Elinar Carrillo Riveros
23
Ejemplo
Todos los alumnos de lgica tienen un jaguar
(X)[alumno(X,logica)-->tiene(X,jaguar) ]
Existe un alumno de lgica que tiene un jaguar
(X)[alumno(X,logica)^ tiene(X,jaguar) ]
24
Actividad
Si tenemos el siguiente conocimiento
Antonio es un cientfico en computadoras que trabaja
para IBM, como supervisor. Juan y Pedro son
programadores que supervisa Antonio, y Juan tiene una
responsabilidad adicional con la documentacin
tcnica.
Represente es conocmiento cualquiera de
tcnicas(formal )
25