Inteligencia Artificial

Introduccin a los sistemas

basados en el conocimiento
 Sistemas basados en el
conocimiento (SBCs)
Los SBCs (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 2
conocimiento especficos.
Caractersticas de BCs y SBCs
Separacin entre el conocimiento y los
elementos de control (meta-conocimiento)
Incorporacin de la experticia humana en un
cierto dominio
Elevada interactividad
Interfaz agradable para el usuario (en LN)
Compatibilidad con informacin no numrica
Tratamiento de informacin inexacta
Capacidad de autoexplicacin y
autojustificacin 3
 Tareas cognitivas en las BCs y
los SBCs
Adquisicin del conocimiento
Representacin del conocimiento
Razonamiento e inferencia
Resolucin de problemas y bsqueda
Interaccin con el usuario en LN
Aprendizaje
Explicacin

4
 SBCs: 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

5
 Caractersticas de los SBCs
Resuelven un tipo especfico de tareas:
requieren una especializacin para
realizarlas con competencia (experticia).
Llevan a cabo tareas cognitivas.
Pueden tomar decisiones aunque el
conocimiento sea incierto, impreciso o
incompleto.

6
Por qu surgieron los sistemas
expertos y los SBCs?
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).
7
 Caractersticas de los
problemas resolubles con SBCs
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) 8
 SBCs 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
9
 SBCs para tareas de sntesis
Orientados a planificacin
Planificacin de trayectorias de robots
Orientados a diseo
Diseo de planos de edificios, pisos
Orientados a configuracin
Configuracin de redes de ordenadores
Configuracin de equipos informticos
Orientados a construccin de especificaciones
Construccin de especificaciones software
10
 Ventajas ms comunes de los
SBCs
Muy eficaces en tareas de anlisis:
diagnosis, clasificacin, interpretacin
Con capacidad de autoexplicacin
Con facilidad de comunicacin con el
usuario
Fcilmente extensibles
Con capacidad de razonamiento
aproximado
11
 Inconvenientes ms comunes
de los SBCs
Problemtica de la adquisicin del
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 12
 Historia de los sistemas
expertos y de los SBCs
Los ms antiguos 1965
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
13
 Historia de los sistemas
expertos y de los SBCs
MYCIN (1972-1976)
Diagnosis de enfermedades infecciosas en la
sangre
400 reglas
Razonamiento con incertidumbre
HEARSAY-II (1975) @ Carnegie-Mellon
Interpretacin del LN (hear + say)
1000 palabras
EMYCIN (1980)
Generaliza el sistema de control de MYCIN
14
Primer entorno de SE (shell)
 Historia de los sistemas
expertos y de los SBCs
PROSPECTOR (1977)
Prospecciones mineras
Otro mtodo de razonamiento con incertidumbre
R1/XCON (1980) @ DEC
Sistema de configuracin de entornos
computacionales en Digital Equipment Corporation
200.000 reglas
INTERNIST (1982)
Diagnosis en medicina interna
1.000.000 reglas
15
 Historia de los sistemas
expertos y de los SBCs
CENTAUR (1983)
Diagnosis de infecciones pulmonares
MOLE (1986)
Entorno de SE para clasificacin
TEST (1987)
Localizador de averas (Troubleshooting Expert
System Tool)
Diagnosis / clasificacin
VT (1988)
Diseo de sistemas elevadores (Vertical 16
Transportation)
 Historia de los sistemas
expertos y de los SBCs
Guerra del Golfo Prsico (1990-1991)
Cargamento de aviones de transporte
Programacin y coordinacin de la operacin Tormenta del
Desierto
Proyecto Pilot's Associate (copiloto electrnico)
Proyecto Battle Management System (sistema experto
militar)
Ingeniera gentica (90s)
Manipulacin de BCs gigantescas para hacer mapas del
ADN humano (bioinformtica)
Deep Blue (1997) @ IBM
IBM RS/6000 SP de 32 nodos con computacin altamente
paralela gana a Gary Kasparov. 17
 Historia de los sistemas
expertos y de los SBCs
Remote Agent (1999)
Control primario de una nave espacial (Deep Space 1) por
primera vez
Aplicaciones de sistemas expertos (00s)
Software de ordenacin de tareas para crear automticamente
mejores planificaciones de proyecto
Programa de reconocimiento continuo del discurso que
transforman exactamente el habla en texto
Software para gestionar la informacin, que encuentren slo los
documentos necesitados en cada momento entre millones de
documentos y automticamente los resuman
Sistemas de reconocimiento facial
Lavadoras que se ajustan automticamente a diferentes
condiciones de lavado 18

Sistemas automticos de evaluacin de hipotecas

 Para profundizar

Hector J. Levesque y Gerhard Lakemeyer

The Logic of Knowledge Bases
MIT Press (2001)

19