Representacin del

conocimiento
M.I. Jaime Alfonso Reyes Corts

Ingeniera del conocimiento

o Ingeniera del conocimiento:
Representacin del conocimiento. El
conocimiento representa la piedra
angular de la potencia de un SE
o Motivacin
n El Shell del SE est diseado para un cierto
tipo de representacin del conocimiento,
como reglas o lgica
n La manera en que el experto representa el
conocimiento afecta el desarrollo, eficiencia,
velocidad y mantenimiento del sistema

Ingeniera del conocimiento

o
o

Epistemologa: Estudio del conocimiento, se ocupa de su

naturaleza, su estructura y orgenes
Teoras Filosficas (Conocimiento)
n
n
n
n
n

a priori o verdadero, que ya est y es irrefutable, no depende de los

sentidos
a posteriori Deriva de los sentidos, puede refutarse ya que se basa en
evidencia que a veces no se sabe si es verdadera o no, i.e. puede
cambiar sus caractersticas al presentarse nuevo conocimiento
Tcito. Existe pero es difcil de explicar. Normalmente se usa sin tener
conciencia de l
Procedural. Se refiere a la forma en que sabemos hacer algo. Llevar a
cabo una serie de pasos para resolver un problema
o

Algoritmos + estructuras de datos = programas

o
o

Dar informacin sobre hechos

Conocimientos + inferencias = SE

Declarativo Alude a la capacidad de que algo puede ser falso o

verdadero. Se expresa en forma de frases declarativas.

Jerarqua del conocimiento

Metaconocimiento
Conocimiento
Informacin
Datos
Ruido

Jerarqua del conocimiento

oMetaconocimiento: Conocimiento acerca
del conocimiento y la experiencia
oConocimiento: Informacin especializada
que nos es til
oInformacin: Datos procesados que
resultan de inters
oDatos: Elementos de inters potencial
oRuido: Elementos de poco inters y que
ocultan datos

Representacin del conocimiento

o El campo de la representacin del
conocimiento se refiere a los
mecanismos para representar y
manipular la informacin que se
obtiene del experto.
o Los esquemas de representacin
resultantes deberan permitir una
bsqueda o una operacin eficiente
de los mecanismos de inferencia.

Representacin del conocimiento

o Existen 2 tipos:
n Formal:
o Reglas de produccin
o Lgica de predlcados

n No formal:
o
o
o
o

Redes semnticas
Frames
Scripts
Dependencia conceptual

Reglas de produccin
o La mayora de las disciplinas incluyen cantidades de
conocimiento factual (basado en hechos) y procedural
o Las reglas de produccin son la forma ms popular de
representacin del conocimiento dentro del paradigma
declarativo
o Proporcionan flexibilidad al combinar representaciones
declarativas y procedurales para utilizarlas en forma
unificada
o El conocimiento representado de esta forma resulta muy
cercano al operador humano y se puede entender
fcilmente. De hecho, es mucho ms inmediato que el
conocimiento expresado mediante la Lgica de
Predicados

Reglas de produccin
o Cada regla es una parcela de conocimiento o unidad de
informacin de una base de conocimiento
o Su configuracin permite construir sistemas en los que
suele resultar sencillo incorporar nueva informacin o
modificar la ya existente, creando o cambiando las
reglas individualmente.

Reglas de produccin
o Hechos: partes del conocimiento que dicen (indican)
algo acerca de un elemento del dominio.
n

Representan un estado del ser esttico asociado con el objeto; no

dicen nada acerca de las actividades dinmicas asociadas con el
objeto

Reglas de produccin: partes del conocimiento que describen alguna

accin dinmica relativa al dominio de los elementos. es una
afirmacin lgica que relaciona dos o ms objetos e incluye dos partes,
la premisa y la conclusin. Cada una de estas partes consiste en una
expresin lgica con una o ms afirmaciones objeto-valor conectadas
mediante los operadores lgicos y, o, o no.
n
n

Si antecedentes o condiciones -> Condiciones que se deben de

cumplir para aplicar la regla
Entonces acciones a tomar, consecuentes, resultados Acciones
que ocurren despus de aplicar la regla

o Formalmente se definen en trminos de

la notacin BNF (Backus-Naum Form)
< oracin >::=< sujeto >< verbo >< complemento >
< sujeto >::=< artculo >< sustantivo >
< artculo >::= < art. determinado >|< art. indeterminado >|< art.neutro >
< art. determinado >::= l | la | los | las
< art. indeterminado >::= un | una | unas | unos | uno
< art. neutro >::= lo
< verbo >::= juega | re | arroja | tira
< complemento >::=< objeto directo >< objetoindirecto >

o Tpicamente una base de

conocimientos est formada de un
gran conjunto de reglas
o Lgicamente las reglas pueden ser
agrupadas en diferentes bases de
reglas
o Una red de conocimiento representa
el diagrama esquemtico de la base
de conocimientos

Estrategias de inferencia

Estrategias de inferencia
o Encaminamiento (de reglas) hacia
delante

n Obtiene nuevos hechos a partir de la

evaluacin de reglas.
n Comienza insertando unos hechos iniciales
en la BH.
n Se exploran las reglas de la BC y se aaden
nuevos hechos a la BH.
n Termina cuando no se cumple ninguna
regla.
n El objetivo es deducir todo el conocimiento
posible.

Estrategias de inferencia
n Esta estrategia puede utilizarse cuando las
premisas de ciertas reglas coinciden con las
conclusiones de otras. Cuando se encadenan
las reglas, los hechos pueden utilizarse para
dar lugar a nuevos hechos. Esto se repite
sucesivamente hasta que no pueden
obtenerse ms conclusiones.
n El tiempo que consume este proceso hasta
su terminacin depende, por una parte, de
los hechos conocidos, y, por otra, de las
reglas que se activan.

Estrategias de inferencia

Estrategias de inferencia
o Encaminamiento (de reglas) hacia
atrs
n Deducir el conocimiento necesario para
demostrar un hecho.
n Comienza fijando un hecho o meta a
demostrar.
n Se busca la regla que contiene dicho
hecho como consecuente y se demuestran
los hechos del antecedente de la regla.
n El objetivo es demostrar una meta.

Reglas de produccin
(limitaciones)
o Algunos conceptos no son fciles de expresar en forma
de reglas
o El razonamiento hacia atrs no parece ser adecuado
para estructurar grandes cantidades de conocimiento
o La sintaxis de las reglas asume slo conjunciones de
pruebas proposicionales
o La informacin se introduce slo al responder preguntas
o Las suposiciones sobre las cuales se basa el manejo de
los factores de certeza son muy restrictivas

Reglas de produccin
(limitaciones)
o Algunos conceptos no son fciles de expresar en forma
de reglas
o El razonamiento hacia atrs no parece ser adecuado
para estructurar grandes cantidades de conocimiento
o La sintaxis de las reglas asume slo conjunciones de
pruebas proposicionales
o La informacin se introduce slo al responder preguntas
o Las suposiciones sobre las cuales se basa el manejo de
los factores de certeza son muy restrictivas

Lgica de predicados
o Lgica de predicados o Lgica de predicados de
primer orden
o El trmino formal se refiere a que la lgica se relaciona
con la forma de las frases lgicas (estructura) ms que
con su significado
o Tiene que ver ms con la sintaxis ms que con la
semntica de las frases
o En la Lgica de Predicados las frmulas son manipuladas
basndose solamente en su estructura.
o La Lgica de Predicados permite enunciar algo sobre los
objetos, es decir, definir atributos y relaciones entre
elementos
o Permite distinguir las propiedades y relaciones de los
objetos acerca de los que se asevera o afirma algo

Lgica de predicados
o La Lgica de Predicados proporciona mecanismos para la
representacin de hechos y el razonamiento se basa en
la manipulacin sintctica de frmulas lgicas
o Se utilizan reglas de inferencia predefinidas para obtener
aseveraciones o deducciones de hechos
o Consiste de los siguientes elementos
n Alfabeto smbolos a partir de los que se construyen
los enunciados. Constan de constantes, variables,
funciones, operadores lgicos, cuantificadores y
delimitadores - ( ) , -

Lgica de predicados
o Constantes: El elemento ms simple en la lgica
de predicados, se usa para representar un
elemento especfico del dominio. Puede ser
cualquier objeto de inters (fsico o abstracto). Se
usan maysculas. Ej. AZUL es un color, MAX es un
perro, CONSERVADOR es un pensamiento poltico
o Variables: Se emplea para representar un
conjunto de elementos del dominio sin especificar
algn elemento en concreto. Para un smbolo de
variable se emplea un conjunto de minsculas. Ej.
Perro, Color. Opinin
o Funciones: Se emplean funciones para identificar
tambin elementos del dominio. Describe un
elemento identificndolo como el resultado nico
de la aplicacin de una transformacin entre otros
elementos del dominio. Se usan letras minsculas
y los argumentos pueden ser cualquier trmino
vlido. Ej. padre(JUAN), madre(padre(JUAN)),
asesino(x)

Lgica de predicados
o Predicados: Se emplean para representar
relaciones dentro del dominio e indican que un
elemento se relaciona en alguna otra forma
especfica. Tiene un valor de verdadero si los
elementos dados estn relacionados de modo
especfico y de falso si no lo estn. Se emplean
para conformar frmulas atmicas (tomos) Ej.
HOMBRE(TITO), MASALTO(TITO, PEPE),
MASALTO(TITO, padre(TITO))
o Operadores lgicos: conjuncin, disyuncin,
negacin, implicacin y equivalencia ,, ~, ,
o Cuantificadores: Existencial y universal x, x

Lgica de predicados
n Lenguaje formal: Conjunto de todas las
frmulas que se pueden construir
legalmente a partir del alfabeto de
smbolos (el conjunto de todos los
enunciados que podran hacerse dados
los smbolos expuestos
o Una frmula legalmente construida en el
lenguaje se llama frmula bien definida
(FBD). Se define inductivamente como
1. Una frmula atmica es una FBD

Lgica de predicados
2. Las siguientes son FBD: (~F), (F^G),
(FvG), (F->G) donde F y G son FBD
3. Las siguientes son FBD (xF ), (xF )
o Donde F es una FBD y x una variable

n Evaluacin se da a manera de tablas de

verdad

Ingeniera del conocimiento cuando

se emplea lgica formal
n Realizar los siguientes pasos
o Desarrollar una comprensin del conocimiento
o Formular el conocimiento como enunciados en
espaol
o Separar los enunciados en sus partes
constitutivas
o Escoger los smbolos para representar los
elementos y relaciones en cada componente
o Construir la FBD empleando los smbolos
anteriores
o Ej. 1. Juan es estudiante de Ing. en Comp. 2.
Juan no es piloto. 3. Juan no es futbolista
o Ej. Si usted no hace ejercicio aumentar de
peso

Ingeniera del conocimiento cuando

se emplea lgica formal
n Procesos de inferencia
o Modus ponens
n La presencia de humo implica la presencia de
fuego, entonces podemos inferir la presencia
de fuego mediante la regla ( P1 ( P1 P2)) P2
n Cuando un avin se queda sin combustible, los
motores se detienen. Si los motores de un
avin se detienen, se requiere de un aterrizaje
forzoso. En un momento dado el avin del
Capitn Juan Snchez se queda sin combustible
n SC Avin sin combustible
n MD Los motores del avin se detienen
n AF El capitn debe efectuar un aterrizaje
forzoso
( SC MD) ( MD AF ) SC
( SC ( SC MD)) MD) y ( MD ( MD AF )) AF

Desventajas
o La principal desventaja de este
esquema es que no se puede
considerar el significado o contenido
semntico de una frmula.

Representacin no formal del

conocimiento
o Redes semnticas
o Frames (Marcos)
o Dependencia conceptual
o Scripts (guiones)