Sistemas Basados en el Conocimiento

Viejo adagio: Si no ha sido an resuelto, es un

problema de IA

SISTEMAS BASADOS EN EL
CONOCIMIENTO
SISTEMAS EXPERTOS

E.P. de Ingeniera en Informtica y Sistemas

17/05/2017 2

Sistemas basados en el conocimiento

Los SBC (tambin conocidos como sistemas

expertos) son programas para interrogar o
extender una base de conocimiento (BC):
Capacitad de resolucin similar a las de los
humanos y utilizacin de las mismas fuentes de
conocimiento.
Dominios especficos.
Ontologa de propsito general para organizar y
unir varios dominios de conocimiento
especficos.
17/05/2017 4

Caractersticas de BC y SBC Caractersticas de los SBC

Incorporacin de la experticia humana en un cierto Resuelven un tipo especfico de tareas:

dominio.
Elevada interactividad.
Interfaz agradable para el usuario.
Compatibilidad con informacin no numrica.
Tratamiento de informacin inexacta.
Capacidad de autoexplicacin y autojustificacin.
requieren una especializacin para realizarlas
con competencia (experticia).
Llevan a cabo tareas cognitivas.
Pueden tomar decisiones aunque el
conocimiento sea incierto, impreciso o
incompleto.
 Tareas cognitivas en las BC y los SBC
Adquisicin del conocimiento
Representacin del conocimiento
Razonamiento e inferencia
Resolucin de problemas y bsqueda
Interaccin con el usuario
Aprendizaje
Explicacin
17/05/2017 9
Caractersticas de los problemas
resolubles con SBC
Necesidad de que la complejidad del problema
justifique el desarrollo del SBC.
Necesidad de una resolucin experta.
Problema bien dimensionado y definido.
No necesidad de razonamiento de sentido comn.
Problema no fcilmente resoluble con mtodos
tradicionales.
Existencia de expertos cooperativos (para el
desarrollo).
SBC: definicin
Sistemas que resuelven problemas:
muy especializados (dominio restringido)
complejos
basndose en una representacin formal del
conocimiento
Problemas para cuya resolucin se confa
habitualmente en expertos humanos
Por qu surgieron los sistemas
expertos y los SBC?
Necesidades econmicas
Disponer de expertos humanos altamente cualificados es
caro y no siempre posible.
Uso como herramientas baratas de aprendizaje para
otros expertos / no expertos
Preservacin del conocimiento de los expertos.
Necesidades de eficiencia computacional
Los mtodos generales de resolucin de problemas son
muy ineficientes (mtodos dbiles).
SBC para tareas de anlisis
Orientados a diagnosis
Diagnosis mdica, diagnosis de averas
Orientados a clasificacin
Identificacin de perfiles de clientes
Identificacin de especies animales
Orientados a supervisin/control
Supervisin de procesos en tiempo real
Orientados a prediccin
Prediccin meteorolgica, de bolsa, de quinielas
 SBC para tareas de sntesis Ventajas ms comunes de los SBC

Orientados a planificacin
Planificacin de trayectorias de robots Muy eficaces en tareas de anlisis:
Orientados a diseo diagnosis, clasificacin, interpretacin
Diseo de planos de edificios, pisos
Con capacidad de autoexplicacin
Orientados a configuracin
Con facilidad de comunicacin con el usuario
Configuracin de redes de ordenadores
Configuracin de equipos informticos Fcilmente extensibles
Orientados a construccin de especificaciones Con capacidad de razonamiento aproximado
Construccin de especificaciones software

Inconvenientes ms comunes de los Historia de los sistemas expertos y de

SBC los SBC

Problemtica de la adquisicin del Los ms antiguos 1965

conocimiento.
Fragilidad/sensibilidad.
Dificultad con el control del razonamiento.
Problemtica de la validacin de las reglas.
Bajo coeficiente de reutilizacin de las reglas.
Incapacidad de aprender.
DENDRAL (1965-1970)
Interpretacin de espectrografa de masa y resonancia
magntica de molculas orgnicas
META-DENDRAL (1970)
Construccin de regles heursticas a partir de datos
MACSYMA (1971-1977) @ MIT
Manipulacin de frmulas algebraicas

Historia de los sistemas expertos y de Historia de los sistemas expertos y de

los SBC los SBC
MYCIN (1972-1976) PROSPECTOR (1977)
Diagnosis de enfermedades infecciosas en la sangre Prospecciones mineras
400 reglas Otro mtodo de razonamiento con incertidumbre
Razonamiento con incertidumbre R1/XCON (1980) @ DEC
HEARSAY-II (1975) @ Carnegie-Mellon Sistema de configuracin de entornos
Interpretacin del LN (hear + say) computacionales en Digital Equipment Corporation
1000 palabras 200 000 reglas
EMYCIN (1980) INTERNIST (1982)
Generaliza el sistema de control de MYCIN Diagnosis en medicina interna
Primer entorno de SE (shell) 1 000 000 reglas
 Historia de los sistemas expertos y de Historia de los sistemas expertos y de
los SBC los SBC
CENTAUR (1983) Guerra del Golfo Prsico (1990-1991)
Diagnosis de infecciones pulmonares Cargamento de aviones de transporte
Programacin y coordinacin de la operacin Tormenta del
MOLE (1986) Desierto
Entorno de SE para clasificacin Proyecto Pilot's Associate (copiloto electrnico)
TEST (1987) Proyecto Battle Management System (sistema experto militar)
Localizador de averas (Troubleshooting Expert System Ingeniera gentica (90s)
Tool) Manipulacin de BCs gigantescas para hacer mapas del ADN
humano (bioinformtica)
Diagnosis / clasificacin
Deep Blue (1997) @ IBM
VT (1988) IBM RS/6000 SP de 32 nodos con computacin altamente
Diseo de sistemas elevadores (Vertical Transportation) paralela gana a Gary Kasparov.

Historia de los sistemas expertos y de los SBC Componentes de SBC

Remote Agent (1999) Base de

Hechos conocimiento
Control primario de una nave espacial (Deep Space 1) por primera Interfaz
usuario usuario
vez Reglas
Aplicaciones de sistemas expertos (00s)
Software de ordenacin de tareas para crear automticamente Explicacin
mejores planificaciones de proyecto
Programa de reconocimiento continuo del discurso que transforman
exactamente el habla en texto Intrprete
Plan
Software para gestionar la informacin, que encuentren slo los
documentos necesitados en cada momento entre millones de
documentos y automticamente los resuman
pizarra Agenda Planificador
Sistemas de reconocimiento facial
Lavadoras que se ajustan automticamente a diferentes
condiciones de lavado
Solucion Mantenimiento
Sistemas automticos de evaluacin de hipotecas consistencia

Explicacin componentes Explicacin componentes

Interfaz de usuario: El usuario interacta con el SE en un Mantenimiento de la consistencia: Mantiene una

lenguaje propio del tipo de problema. representacin consistente de la solucin mediante:
Pizarra: almacena hiptesis y decisiones intermedios Revisin de la probabilidad de una solucin cuando
que manipula el SE.
se introducen nuevos hechos.
Plan: Plan general de solucin del problema.
Sistemas de mantenimiento de la verdad cuando las
Agenda : Reglas relevantes para la situacin en curso. soluciones son deducciones lgicas
Solucin: Hiptesis candidatas y decisiones generadas
hasta el momento. El modulo de explicacin: Explica el porqu de las
acciones del sistema
Planificador: Determina cual es la accin pendiente que
se ejecutar a continuacin. El intrprete: Ejecuta la Reglas y hechos: Registran reglas, hecho e
regla escogida. informacin del dominio
17/05/2017 23 17/05/2017 24
 Componente de Explicacin
Un SE debe contar con una componente de
explicacin
La respuesta puede ser potencialmente daina?
Es una forma comprensible de chequear
comportamiento.
Tutores.
17/05/2017
Programas convencionales y los SE
Programas: Sentencias sobre datos que se realizan en un orden
predeterminado.
Solucin nica
Para el usuario el programa es una caja negra
Programas = Estructuras de Datos + Algoritmos
SBC: Se distingue el conocimiento del dominio de la estrategia de
control
Esto permite la incorporacin de ms conocimiento sin
manipular la estructura global del sistema
Se pueden obtener varias soluciones
El programa puede explicar como llega a su solucin.
SBC = Conocimiento + Control
17/05/2017
Una componente de SE debe idealmente:
Poder responder a preguntas como las siguiente:
Cmo se tom o no cierta decisin? Cuando, cmo y porqu se
utiliza una informacin determinada? Qu decisin se tomo ante
el un sub problema?
Ser fcil de usar.
Dar respuestas comprensibles y completas.
25 17/05/2017 26
Desarrollo de un SBC
Se pueden clasificar las aplicaciones de SE sobre la
base de caractersticas de las tareas o del dominio?
Se pueden identificar mtodos de resolucin de
problemas bien diferenciados que sean tiles para
ciertas clases de aplicaciones de SE?
Podemos identificar estilos de representacin e
inferencia ms adecuados para un mtodo de
resolucin de problemas dado?
27