REPRESENTACIN DEL

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 .
(Todo tiene un causa)
El conocimiento a
posteriori es tiene un
valor de verdad o
falsedad.
(la luz es verde)

Ing. Elinar Carrillo Riveros

Conocimiento y su
relacin con los datosinformacin

Ing. Elinar Carrillo Riveros

Conocimiento y su
relacin con los datosinformacin

Gio Wiederhol muestra las funciones complementarias del

conocimiento y datos a travs del siguiente esquema

Experienci
a

Educaci
n

Dato

Informaci
n

Conocimiento
Toma de
Decisiones

Accin
Ing. Elinar Carrillo Riveros

Conocimiento y su
relacin
con los datosDATO
informacin
Hechos

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
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
cerebro de la mquina (memoria)
memoria
Ing. Elinar Carrillo Riveros

El conocimiento pude

clasificarse

en :

Conocimiento por procedimientos : se refiere a la

forma en que sabemos hacer algo (hervir el agua en un
recipiente).
Existen formalismos que nos permiten expresarse el
conocimiento a travs de procedimientos

las reglas de produccin

No son mejores ni peores slo ms adecuados para
ciertos problemas

Ing. Elinar Carrillo Riveros

Ing. Elinar Carrillo Riveros

Conocimiento Deductivo: alude a capacidad

de saber que algo es verdad o falso (no toques con
los dedos el recipiente con agua hirviendo).
Representa:
Lgica de predicados de
primer orden
El proceso de inferencia
ms usado se llama
resolucin

Ing. Elinar Carrillo Riveros

1. Marco era un hombre.

hombre(Marco)

2. Marco era un pompeyano.

pompeyano(Marco)

3. Todos los pompeyanos eran romanos.

x : romano(x) romano(x)

4. Csar fue un gobernante.

gobernante(Csar)

5. Todos los romanos o eran leales a Csar o le odiaban.

x : romano(x) leal(x, Csar) odia(x, Csar)

6. Todo el mundo es leal a alguien.

x : y : leal(x, y)

7. La gente slo intenta asesinar a los gobernantes a los que no

es leal.
x : y : persona(x) gobernante(y) intenta_asesinar(x,y)
leal(x, y)

8. Marco intent asesinar a Csar.

intenta_asesinar(Marco, Csar).
Ing. Elinar Carrillo Riveros

Conocimiento deductivo heredable

Ing. Elinar Carrillo Riveros

10

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

Ing. Elinar Carrillo Riveros

11

Jerarqua del
Conocimiento
El conocimiento parte de una jerarqua, lo que se ilustra en
grfico siguiente:
El Ruido esta formado por elementos
con poco inters.

Metaconocimiento

Los Datos formado por elementos de

inters potencial.

Conocimiento

La informacin datos procesados que

resultan de inters.

Informacin
Datos
Ruido

Ing. Elinar Carrillo Riveros

El

conocimiento
representa
informacin muy especializada.

El Meta conocimiento, representa el

conocimiento con experiencia

12

Componentes del
Conocimiento
Denominacin:
Capacidad
de
referenciar
Denominacin
simblicamente un

objeto. (Juan)

Descripcin:
Descripcin Capacidad de describir las propiedades

objeto.( tiene 25
de 1.7 etc.)

principales que caracterizan al

aos una estatura

Organizacin:Capacidad
de organizar objetos en
Organizacin

categoras
jerarqua. (automvil es

conceptuales o clases por

de un tipo

vehculo)
Restricciones:
Restricciones

en los rangos,
estructuras
los objetos.

Capacidad de conocer los limites

de valores, relaciones y
organizacionales de

Ing. Elinar Carrillo

Riveros
Otras Relaciones:
Capacidad
de conocer las relaciones13

Tcnicas de
Representacin del
Se han concebido varias tcnicas de representacin del
Conocimiento
conocimiento, entre estas tenemos:
No formal:
Redes semnticas
Marcos o Frames
Formal:
Formal
Reglas de produccin
Lgica de predicados

Ing. Elinar Carrillo Riveros

14

Tcnica No Formal
Redes Semnticas:

Es una de las tcnicas

clsicas de representacin de conocimiento, llamado
tambin redes de proposiciones (frase v/f), representa
conocimiento declarativo , porque establece un hecho.
En trminos matemticos es una grafica rotulada y con
direcciones .
La estructura de esta red se muestra grficamente en
trminos de nodos y arcos.

Ing. Elinar Carrillo Riveros

15

REPRESENTACIN DEL
CONOCIMIENTO
Nodos:
Nodos Se les denomina objetos y representan objetos
fsicos, conceptos o situaciones .

Arcos:
Arcos Se les denomina tambin vnculos o bordes , se
utiliza para representar relaciones entre los nodos .
Existen dos tipos de vnculos ES -UN ( significa es un
caso de una clase individual con una clase padre a la
que pertenece una clase hijo) y ES PARTE DE(
significa TIENE
y se refiere a un miembro
especifico de una clase .

Ing. Elinar Carrillo Riveros

16

EJEMPLO

Ing. Elinar Carrillo Riveros

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.
Ing. Elinar Carrillo Riveros

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

Ing. Elinar Carrillo Riveros

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
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.

Ing. Elinar Carrillo Riveros

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.
Ing. Elinar Carrillo Riveros

R1. Si Juan es un estudiante

y Juan tiene 8 aos
Entonces Juan estudia en la
primaria.
R2. Si el perro es blanco y
el perro se llama Dinki
Entonces el perro es de
Juan

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.
Cualquier
persona esla
feliz
si es observada
por
Prolog
implementa
lgica
de predicados.
Beln o por Federico
Usa cuantificadores
existe y para todo
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) ]

Ing. Elinar Carrillo Riveros

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 )

Ing. Elinar Carrillo Riveros

25