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 datos-informacin

Ing. Elinar Carrillo Riveros

Conocimiento y su relacin con

los datos-informacin
Gio Wiederhol muestra las funciones complementarias del

conocimiento y datos a travs del siguiente esquema

Experiencia

Educacin

Conocimiento

Dato

Informacin
Toma de
Decisiones

Accin
Ing. Elinar Carrillo Riveros

Conocimiento y su relacin con

los datos-informacin
DATO
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 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)

Ing. Elinar Carrillo Riveros

CLASIFICACION DEL CONOCIMIENTO

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

Reglas de produccin

Ing. Elinar Carrillo Riveros

CLASIFICACION DEL CONOCIMIENTO

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

Lgica de predicados
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

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

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
Conocimiento
Informacin
Datos
Ruido

Ing. Elinar Carrillo Riveros

Los Datos formado por elementos de inters

potencial.
La informacin datos procesados que resultan
de inters.
El conocimiento representa informacin muy
especializada.
El

Meta conocimiento, representa

conocimiento con experiencia

el

12

Componentes del Conocimiento

Denominacin:

Capacidad de referenciar simblicamente un

objeto. (Juan)

Descripcin:

Capacidad de describir las propiedades

principales que caracterizan al objeto.( tiene 25
aos una estatura de 1.7 etc.)

Organizacin:

Capacidad de organizar objetos en categoras

conceptuales o clases por jerarqua. (automvil es
de un tipo vehculo)

Restricciones:

Capacidad de conocer los limites en los rangos,

de valores, relaciones y estructuras
organizacionales de los objetos.

Otras Relaciones: Capacidad de conocer las relaciones de objetos

con otros.
Ing. Elinar Carrillo Riveros

13

Tcnicas de Representacin del

Conocimiento
Se han concebido varias tcnicas
conocimiento, entre estas tenemos:

de

representacin

del

No formal:
Redes semnticas
Marcos o Frames
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: Se les denomina objetos y representan objetos fsicos,
conceptos o situaciones .

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

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

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