1

Tema 1
Introduccin a los Sistemas
Basados en el Conocimiento
Sistemas Basados en el Conocimiento
Grado en Ingeniera Informtica
2
Referencias
Ingeniera del Conocimiento.
A. Gmez, N. Juristo, C. Montes, J. Pazos.
Editorial Centro de estudios Ramn Areces. 1997.
Ingeniera del Conocimiento. Aspectos Metodolgicos.
A. Alonso, B. Guijarro, A. Lozano, J. T. Palma, M. J. Tabeada.
Pearson Prentice Hall. 2004
Sistemas expertos representacin e inferencia problemas resueltos.
A. Fernndez. Dykinson (URJC). 2010
Sistemas expertos: principios y programacin (3 ed.).
J. Giarratano, G. Riley, G. Editorial. Thompson Ed. 2001.
Introduction to expert systems.
P. Jackson. Editorial Addison-Wesley. 1999.
Introduction to Knowledge Systems.
Stefik, M. Morgan Kaufmann. 1995
Intelligent systems for engineering.
Sriram, Ram D. Springer. 1997

3
Origen de la IC
Objetivo IA: sistemas que pensaran y resolvieran
problemas como humanos
Tcnicas generales para la resolucin de problemas
STRIPS, GPS,
70s
Mtodos generales y tcnicas de bsqueda son
insuficientes para ciertos problemas
Potencial depende ms del conocimiento que del
mecanismo inferencia
Adquirir conocimiento de expertos
Primeros Sistemas Basados en el Conocimiento
No estructurados, sin metodologa
Fracaso comercial
Surge Ingeniera del Conocimiento
4
El Nivel del Conocimiento
[Newel, 1982]
Niveles de abstraccin en sistemas
computacionales: fsico, lgico, simblico
Problema en la construccin de SBC era la
diferenciacin entre:
Conocimiento: p. e. extrado de un experto
Representacin: codificacin del conocimiento en un
lenguaje determinado
Newel propone un nivel de abstraccin por encima
del nivel simblico para diferenciar entre
conocimiento y su representacin
5
SS.BB.CC.
Sistemas Tradicionales
Conocimiento incluido en las estructuras de control
Sistemas Basados en el Conocimiento
Conocimiento representado de forma explcita,
separado del control
Sistemas Expertos
SBC donde el conocimiento es experto
Se suelen tratar los trminos SBC y SE como
sinnimos
6
Ingeniera del Conocimiento
SISTEMAS
EXPERTOS
SISTEMAS
BASADOS EN EL
CONOCIMIENTO
INTELIGENCIA
ARTIFICIAL
INGENIERA DEL CONOCIMIENTO
7
Caractersticas de los SS.BB.CC
Conocimiento especfico de un dominio (habitualmente de
un experto humano)
Dominios y problemas complejos
Adquisicin de conocimiento costosa y extensa
Generacin de explicaciones
Mtodos heursticos y/o aproximados
Simulan el razonamiento humano
Representacin declarativa del conocimiento
Separacin de conocimiento y mecanismo de inferencia
Reutilizacin por separado
8
Prog. Declarativa vs Algortmica
Programacin algortmica
Se especifica el algoritmo
No suele coincidir con la forma de razonar humana
Programacin declarativa
Representa explcitamente el conocimiento
Ms prxima al razonamiento humano
Ejemplo (Mltiplo)
0 es mltiplo de cualquier nmero.
A es mltiplo de B si A es mayor o igual que B y A-B es
mltiplo de B
9
Ejemplo
Algortmico
Mientras (A>=B) hacer
A!A-B
fin mientras.
Si (A=0) entonces
devolver cierto
en otro caso
devolver falso
fin si.
Declarativo
Mltiplo(0,A)
Mltiplo(A,B) si A>=B y mltiplo(A-B,B)
10
Programacin Declarativa
Ventajas
Abstraccin del conocimiento
Facilidad de comprensin
Flexibilidad
Posibilidad de trabajar con conocimiento
No algortmico
Aproximado
Incompleto
Desventajas
Eficiencia en memoria
Eficiencia en tiempo
11
Estructura de un SBC
BASE DE
CONOCIMIENTO
BASE DE
HECHOS
MOTOR DE
INFERENCIA
SUBSISTEMA
DE USUARIO
SUBSISTEMA DE
EXPLICACIN
SUBSISTEMA DE
ADQUISICIN DE
CONOCIMIENTO
INTERFAZ
USUARIO
INGENIERO DEL
CONOCIMIENTO
12
SS.BB.CC.
Ventajas
Reutilizacin del conocimiento
Resolucin de problemas complejos
Tratamiento de la incertidumbre
Solucin a problemas incompletos
Explicacin del razonamiento
Replicacin de conocimiento (expertos)
Fcil de modificar el conocimiento
Desventajas
Dificultad de adquisicin de conocimiento
Conocimiento limitado a un dominio
Falta de creatividad y sentido comn
Dificultad de aprendizaje y adaptacin

13
Ingeniera del Conocimiento
Conjunto de tcnicas para disear y construir
SS.BB.CC.
Equivale a la Ingeniera del Software en los
sistemas tradicionales
Diferentes metodologas
CommonKADS
Protg
IDEAL

14
Ingeniero del Conocimiento
Disea y construye SBC
Evaluar aplicaciones potenciales
Extraer conocimiento del dominio
Elegir herramienta de representacin adecuada
Construir sistema (prototipos)
15
Fases habituales
1. Estudio de viabilidad
2. Adquisicin del conocimiento
3. Conceptualizacin (anlisis)
4. Formalizacin (diseo)
5. Implementacin
6. Evaluacin
16
Estudio de viabilidad
Posibilidad
Existencia de verdaderos expertos
Expertos disponibles e interesados
Expertos capaces de estructurar y explicar sus mtodos
Acuerdo entre expertos
No excesivo uso de sentido comn
Existencia de casos de prueba
17
Estudio de viabilidad
Justificacin
Escasez de expertos
Necesidad del mismo conocimiento en varios lugares
Prdida de experiencia humana
Entornos peligrosos u hostiles
Alta rentabilidad prevista
No hay otras soluciones
Adecuacin
Procesamiento ms simblico que numrico
Conocimiento basado ms en heursticas que algoritmos
Ni demasiado fcil ni demasiado difcil
Conocimiento no exacto o incompleto
18
Adquisicin de conocimiento
Fuentes de conocimiento
Documentacin
Libros, manuales, revistas especializadas, actas congresos, ...
Expertos humanos
Simuladores
Es la fase ms compleja (cuello de botella)
Conocimiento tcito (no consciente)
Comunicacin: lenguaje, vocabulario, ordenador
Representaciones del conocimiento: no suficiente
expresividad
Proceso
1. Primeras reuniones
2. Extraccin de conocimientos (documentacin)
3. Educcin de conocimientos (del experto)
19
Adquisicin de conocimiento
1. Primeras reuniones
Determinar requisitos funcionales
Introducir al IC en el dominio
2. Extraccin de conocimientos (documentacin)
Estudio de documentacin
Anlisis estructural de textos
3. Educcin de conocimientos (expertos)
Ciclo
Preparacin de la sesin (informacin a tratar, profundidad,
tcnica, preguntas)
Sesin (repaso, objetivos, educcin, resumen)
Transcripcin
Anlisis de la sesin
Evaluacin (objetivos conseguidos?)
20
Adquisicin de conocimiento
3. Educcin de conocimientos (cont.)
Tcnicas de educcin
Entrevistas: abiertas, estructuradas
Observacin directa de tareas habituales
Incidentes crticos
Clasificacin de conceptos
Cuestionarios
Anlisis de protocolos
Emparrillado
Brainstorming
Tcnica nominal de grupo
Mtodo Delphi
21
Conceptualizacin
Crear modelo conceptual (no computable)
independiente del formalismo de representacin
Entendimiento del dominio del problema y su
terminologa
Representacin estructurada de los conocimientos
adquiridos en la fase de Adquisicin
Herramientas
Diagrama de relaciones
Tabla concepto-atributo-valor
rboles de decisin, ...
Ontologas
Conjunto de trminos y relaciones entre ellos
Permiten reutilizacin

22
Formalizacin
Se comienza a modelar el problema desde el punto
de vista del sistema
Crear modelos formales (semicomputables)
Consiste en
Representar el conocimiento mediante algn formalismo
Organizarlos en bases de conocimientos
Determinar los mtodos de inferencia
Formalismos
Bsicos: lgica, redes semnticas, reglas, marcos,
restricciones, ...
Incertidumbre: MYCIN, Prospector, Dempster&Shafer,
redes bayesianas, lgica borrosa, ...
No monotona
...
23
Formalizacin
Factores para elegir un formalismo
Generalidad de la representacin
Eficiencia computacional
Completitud y consistencia
Naturalidad
Se suele priorizar la reutilizacin
Propiedades de formalismo ptimo
Adecuacin representacional: tipos de conocimiento
Adecuacin inferencial: crear nuevo conocimiento
Eficiencia de adquisicin: incorporar conocimiento
(manteniendo consistencia)
Eficiencia inferencial: incorporar conoc. inferencial
24
Implementacin
Crear un modelo computable
Seleccionar una herramienta de desarrollo que
proporcione
Formalismos de representacin para codificar las bases de
conocimientos
Mecanismos de inferencia
Caractersticas de un entorno de desarrollo de SSBBCC
Edicin, validacin y actualizacin de conocimiento
Seleccin/edicin de estrategias de control
Facilidad de uso (expertos)
Prototipado rpido
Interfaz de usuario
25
Evaluacin
Es distinta a la de IS
Los SSBBCC no son completamente objetivos
Manejo de incertidumbre
Difcil de verificar en laboratorio
Los expertos son necesarios para evaluar la correccin
Aspectos
1. Correccin (verificacin)
Sintaxis y estructura adecuada (no redundante, completo, consistente)
Se realiza en modelos conceptuales, formales y computables
2. Validez
Semntica adecuada ! experto
Se realiza en modelos conceptuales, formales y computables
3. Usabilidad
4. Utilidad