Introduccin a los Sistemas

Basados en Conocimiento
Csar Enrique Rose Gmez
DEPI-ITH

Qu es dato?
Qu es informacin?
Qu es conocimiento?

Adquisicin de Datos

Adquisicin de Conocimiento
Validacin de datos

Validacin de
Reglas y Restricciones

Datos Almacenados

Reglas, Restricciones

Materializacin

Datos Deducidos

Informacin
Soporte Decisin

IA y Representacin del
Conocimiento
IA puede ser descrita como: El estudio del
comportamiento inteligente realizado a
travs de medios computacionales.
La representacin del conocimiento y el
razonamiento pueden ser vistos como el
estudio de cmo razonar (computar) con
conocimiento para decidir que hacer.
Antes de empezar a razonar con
conocimiento debemos representarlo!!!

Conocimiento
Qu es conocimiento? Tal vez
podramos/no podramos contestar esta
pregunta.
Considere oraciones tales como Juan sabe
que..
Los objetos del conocer son proposiciones,
las cuales pueden ser verdaderas o falsas.
Por ejemplo:
Juan sabe quin .
Juan sabe como .
Juan sabe que Mara .

 y otras actitudes mentales

Creencia.
Queriendo.
Sospecha.
Teniendo una opinin.
..

Representacin
Si A representa B, entonces A denota a B y es
mas fcilmente accesible que B.
Estamos interesados en un grupo de smbolos
que representen alguna proposicin.
Representacin del Conocimiento: Es el estudio
del uso de smbolos formales para
representar una coleccin de proposiciones
(que cree un agente).
Uno puede creer infinitamente muchas
proposiciones - sin embargo solo podemos
usar finitamente muchos smbolos.

Razonamiento
Razonamiento es la manipulacin formal de smbolos
representando proposiciones para producir nuevas
representaciones.
Aqu las representaciones ayudan, ya que hay
proposiciones muy abstractas y hay representaciones
muy manejables.
El razonamiento puede ser tan fcil como la aritmtica,
manipulacin de smbolos.
Por ejemplo:
Lloviendo es verdad
Lloviendo implica que calle mojada es verdad
Calle mojada es verdad

Base de Conocimiento
printC(nieve) :- !, write(Es blanca).
printC(pasto) :- !, write(Es verde).
printC(cielo) :- !, write(Es amarillo).
printC(X) :- !, write(Rie).
printC(X) :- color(X,Y), !, write(Es blanca), write(Y).
printC(X) :- write(Rie).
color(nieve,blanca).
color(cielo,amarillo).
color(X,Y) :- madeof(X,Z), color(Z,Y).
madeof(pasto,vegetacion).
color(vegetacion,verde).

Ventajas del SBC

Porqu no usar la primera versin?
Se pueden aadir nuevas tareas y hacerlas
dependientes de previo conocimiento.
Se puede extender comportamiento existente
agregando nuevas creencias.
Se puede fcilmente buscar un comportamiento
errneo y corregirlo.
Se puede explicar y justificar un
comportamiento.

Paradigmas

Paradigmas

Paradigma del Sistema Basado en

Conocimiento

En el paradigma del sistema basado en conocimiento

subyacen dos ideas bsicas:
El conocimiento es algo que puede identificarse y
representarse explcitamente. Es la hiptesis de la
representacin del conocimiento de Brian Smith (1982):
Todo proceso inteligente realizado mecnicamente est
formado por ingredientes estructurales que
a)

b)

nosotros, como observadores externos, consideramos de

manera natural que son representativos del conocimiento
exhibido por el proceso global, y

independientemente de esa contribucin semntica externa,

juegan un papel no slo formal, sino tambin causal y esencial
en la generacin del comportamiento manifestado por ese
conocimiento.

Hiptesis de Representacin de
Conocimiento (B.C. Smith)
El principio de la separacin del
conocimiento de Clancey (1992): El
conocimiento del dominio debe
representarse separadamente del
conocimiento de control
El conocimiento de control se refiere al
incluido en el motor de inferencias , de
naturaleza ms general que el especfico
contenido en la base de conocimiento. Ya
vemos que hay distintos tipos de
conocimiento.

Tipos de Conocimiento
Las definiciones que siguen no son muy
rigurosas desde el punto de vista de la
epistemologa, pero s muy tiles para la
ingeniera del conocimiento.
Declarativo y procedimental
Factual, normativo, tctico y estratgic
o
Superficial y profundo, causal y taxon
mico
Explcito y tcito

Declarativo y procedimental
El conocimiento que se aplica para resolver un
determinado tipo de problemas puede
expresarse de dos formas:
de forma declarativa: se especifican los objetos,
las propiedades y las relaciones generales, y se
deja al cuidado del agente que ha de resolver los
problemas la aplicacin de mecanismos
generales de razonamiento, o bien,
de forma procedimental: se especifica un
procedimiento para resolver los problemas.

Declarativo
superior(X,Y) :- jefe(X,Y).
superior(X,Y) :- jefe(X,Z), superior(Z,Y).

Procedimental
boolean superior(individuo X, individuo Y, conjunto C){
if (jefe(X,Y)) return true;
else {
C = sacar(C,X);
C = sacar(C,Y);
while (!vacio(C)){
Z = buscar_en(C);
if (jefe(X,Z))
if (superior(Z,Y)) return true;
C = sacar(C,Z);
}
return false;
}
}

Declarativo

Procedimental

Factual, normativo, tctico y

estratgico
Hay otro conocimiento que tambin se expresa de
manera declarativa: el que se refiere a los datos
concretos de un problema a resolver, y a las
conclusiones intermedias y finales. Es el conocimiento
factual, contenido en la base de hechos. Este
conocimiento factual incluye dos tipos que son de la
misma forma, aunque de distinto origen: el que est
basado en observaciones, o sea, datos que al
interpretarlos el sistema cobran un significado para l,
convirtindose en informacin, y en conocimiento al
integrarse, y el que procede de razonamientos, que
podemos llamar inferencial, y que puede ser o no ser
verificable por observacin o experimentacin.

Factual, normativo, tctico y

estratgico
La arquitectura de un sistema basado
en conocimiento presupone que el
conocimiento general del dominio se
expresa de manera declarativa. Este
conocimiento, que podemos llamar
normativo, es el que se materializa
en la base de conocimientos.

Factual, normativo, tctico y

estratgico
El estratgico (o de control), que se refiere a la
manipulacin del conocimiento factual y normativo. Si el
normativo est en forma de reglas, se refiere a la
estrategia de bsqueda que decide en cada momento
qu regla se aplica. Pero, independientemente de la
estrategia, al aplicar la regla se est usando un cuarto
tipo de conocimiento: el que dice que si se satisface el
antecedente la regla permite afirmar que se satisface el
consecuente, es decir, lo que en la lgica clsica se llama
un razonamiento modus ponens. Este conocimiento es
de tipo tctico.

Superficial y profundo, causal y

taxonmico
Se llama conocimiento superficial (shallow) al que se
aplica a situaciones muy especficas y acotadas. La
forma tpica de expresin del conocimiento superficial
son reglas sencillas, como las del ejemplo de un cajero
experto . No parecera razonable llamar experto a un
cajero cuyo conocimiento se limitase a estas reglas, ni
siquiera si amplisemos su base de conocimientos con
muchas ms reglas para tratar otras situaciones. El
verdadero experto tiene otro tipo de conocimiento que le
permite resolver situaciones nuevas o imprevistas: un
conocimiento sobre la organizacin del banco, normas,
procedimientos, etc.

Superficial y profundo, causal y

taxonmico
El conocimiento profundo (deep) incluye leyes
generales, principios, modelos, etc. Dos tipos
particulares de conocimiento profundo con amplia
tradicin cientfica son el causal, que identifica en un
dominio concreto fenmenos cuya aparicin tiene como
efecto directo o indirecto la aparicin de otros, y el
taxonmico, que agrupa los elementos del universo en
una jerarqua de clases y subclases entre las cuales
existe una relacin de herencia.

Explcito y tcito
En una organizacin se distingue entre el conocimiento
explcito, que puede capturarse y expresarse en frmulas,
documentos, plantillas, procedimientos, o cualquier otro
medio de expresin, y el conocimiento tcito, que reside
en las mentes de las personas y es inaccesible incluso a su
consciencia, y que slo se manifiesta por sus resultados.
En la ingeniera del conocimiento: si el conocimiento no
puede expresarse explcitamente es imposible construir
con l una base de conocimiento. (Sin embargo, s puede
tener sentido en otros trabajos de inteligencia artificial: el
agente autista con redes neuronales puede mediante
aprendizaje, adquirir un conocimiento que es de tipo
tcito).

Ingeniera del Conocimiento

Diseo y construccin de sistemas basados en
conocimiento, pero tambin para resaltar una cierta
heterodoxia con respecto a la ingeniera del software.
El trmino experto debe entenderse que designa a
aqul que tiene el conocimiento necesario para resolver
problemas en un determinado campo o dominio de
conocimiento.
El proceso de adquisicin del conocimiento, cuyo
objetivo es llegar a expresar de manera explcita en algn
lenguaje de representacin los conocimientos que el
experto utiliza para resolver problemas, result ser el ms
difcil de todo el desarrollo de los sistemas basados en
conocimiento.

Niveles de conocimiento
Los sistemas son agentes racionales.
El medio es el conocimiento.
Los componentes son objetivos, acciones y cuerpos:
un agente est compuesto por un conjunto de objetivos,
un conjunto de acciones, un cuerpo fsico con el que
interacta con el entorno y un cuerpo de conocimientos
que contiene todo lo que el agente conoce en un
momento dado.

Niveles de conocimiento
La ley de comportamiento es el principio de
racionalidad: si un agente tiene el conocimiento de
que una de sus acciones le conduce a uno de sus
objetivos, seleccionar esa accin , que se
complementa con dos principios auxiliares: si dos
acciones conducen al mismo objetivo, el agente
selecciona ambas y si un conjunto de acciones
conduce a un objetivo y otro conjunto a otro objetivo, el
agente selecciona la interseccin de los dos conjuntos de
acciones .
No hay leyes de composicin para construir un sistema
en el nivel de conocimiento: un agente tiene siempre los
componentes mencionados.

Representacin e interpretacin
La representacin es lo que permite implementar los
modelos del nivel de conocimiento mediante estructuras
en el nivel simblico. Una representacin es un sistema
de smbolos que codifica un cuerpo de conocimientos.
Los smbolos se refieren al conocimiento, son acerca de
l.
En trminos matemticos, se puede definir una funcin
semntica que asigna a las construcciones simblicas
elementos de conocimiento: la funcin de
interpretacin, o, simplemente, interpretacin.

Representacin e interpretacin