Professional Documents
Culture Documents
UNIVERSIDAD NACIONAL
SAN LUIS GONZAGA DE ICA
FACULTAD DE INGENIERA DE SISTEMAS
SISTEMAS BASADOS EN
CONOCIMIENTOS
Inteligencia Artificial y Robtica
Angulo Gasco, Jess
Camana Infanzn, Giovanni
Neira Lovera, Kathia
Toralva Balden, Deiby
Villafuerte Sotelo, Jean
Ing. Paco Marquez
Ica 2014
Contenido
Contenido........................................................................................................... 1
Tabla de Ilustraciones ......................................................................................... 3
INTRODUCCION.................................................................................................. 4
SISTEMAS BASADOS EN CONOCIMIENTOS .......................................................... 6
1.
CARACTERISTICAS ............................................................................... 10
4.
CICLO DE VIDA..................................................................................... 10
ANALISIS ................................................................................................... 10
ESPECIFICACION ........................................................................................ 10
DISEO PRELIMINAR .................................................................................. 11
PROTOTIPO INIC IAL Y EVALUCAION ............................................................ 11
DISEO FINAL ............................................................................................ 11
AJUSTE DEL DISEO ................................................................................... 11
IMPLEMENTACION....................................................................................... 11
PRUEBAS .................................................................................................... 12
INSTALAC ION, IMPLANTACION Y MANTENIMIENTO ...................................... 12
5.
ARQUITECTURA .................................................................................... 12
6.
VENTAJAS .................................................................................................. 24
DESVENTAJAS ............................................................................................ 24
9.
APLICACIONES ..................................................................................... 27
CONCLUSIONES ............................................................................................... 30
Tabla de Ilustraciones
Figure 1.Esquema de solucin de problemas de clasificacin ................................. 6
Figure 2. Ciclo de Vida de los sistemas basados en conocimientos ....................... 12
Figure 3.Arquitectura de los sistemas Basados en conocimientos ........................ 13
Figure 4. Funcionamiento de un Algoritmo Gentico ........................................... 20
Figure 5. Sistemas Basados en conocimientos vs sistemas expertos .................... 27
INTRODUCCION
La representacin del conocimiento y el razonamiento es un rea de la inteligencia
artificial cuyo objetivo fundamental es representar el conocimiento de una manera
que facilite la inferencia a partir de dicho conocimiento. Analiza cmo pensar
formalmente - cmo usar un sistema de smbolos para representar un dominio del
discurso (aquello de lo que se puede hablar), junto con funciones que permitan inferir
(realizar un razonamiento formal) sobre los objetos.
Generalmente, se usa algn tipo de lgica para proveer una semntica formal de
como las funciones de razonamiento se aplican a los smbolos del dominio del
discurso, adems de proveer operadores como cuantificadores, operadores modales,
etc. Esto, junto a una teora de interpretacin, da significado a las frases en la lgica.
Cuando diseamos una representacin del conocimiento (y un sistema de
representacin del conocimiento para interpretar frases en la lgica para poder
derivar inferencias de ellas) tenemos que hacer elecciones a lo largo de un nmero
de mbitos de diseo. La decisin ms importante que hay que tomar es la
expresividad de la representacin del conocimiento. Cuanto ms expresiva es, decir
algo es ms fcil y ms compacto. Sin embargo, cuanto ms expresivo es un
lenguaje, ms difcil es derivar inferencias automticamente de l. Un ejemplo de
una representacin del conocimiento poco expresiva es la lgica proposicional.
Los sistemas basados en conocimiento (SBC) son programas informticos que utilizan
una base de conocimientos para resolver problemas complejos. El trmino es amplio
y se utiliza para referirse a muchos tipos diferentes de sistemas. El tema comn que
une a todos los sistemas basados en el conocimiento es un intento de representar el
conocimiento de manera explcita a travs de herramientas como las ontologas y las
reglas en vez de forma implcita a travs de cdigo de la forma en que un programa
de ordenador convencional hace. Un sistema basado en el conocimiento tiene dos
tipos de sub-sistemas: una base de conocimientos y un motor de inferencia. La base
de conocimientos representa hechos sobre el mundo, a menudo en algn tipo de
subsuncin ontologa. El motor de inferencia representa afirmaciones y condiciones
lgicas sobre el mundo, por lo general representados por medio de reglas sientonces.
Los sistemas basados en conocimiento, fueron desarrollados por primera vez por
investigadores de Inteligencia Artificial. Estos sistemas basados en el conocimiento
primeros eran principalmente los sistemas expertos.
De hecho, el trmino se utiliza a menudo como sinnimo de sistemas expertos. La
diferencia est en el punto de vista adoptado para describir el sistema. Sistema
experto se refiere al tipo de tarea que el sistema est tratando de resolver, para
sustituir o ayudar a un experto humano en una tarea compleja. Sistema basado en
conocimiento se refiere a la arquitectura del sistema, que representa el conocimiento
de manera explcita en lugar de cdigo como de procedimiento.
de
incertidumbre
(si
es
que
incorporaban
algo
de
Segunda Generacin:
Los sistemas basados en conocimientos de la Segunda Generacin son capaces
de manejar tareas delimitadas ms que los de la 1era Generacin. Los tpicos
problemas que corresponden a estos sistemas fueron descritos como
problemas de clasificacin Dinmicos (PCD). A diferencia del anterior, en este
caso el medio del que se colecta datos cambia a tasa comparable al tiempo
requerido para obtener una solucin refinada, requiriendo respuesta en tiempo
real. Ejemplo de PCD incluyen anlisis de situacin, planificacin en tiempo
real y seleccin de catlogo en tiempo real. Existe Shell para manejar algunos
de estos casos, como KEE, ARF y RUM/RUM runner.
Evolucin
Los sistemas basados en conocimiento surgen como una evolucin de los
paradigmas de programacin a lo largo de la historia de la informtica. En los
primeros tiempos de la computacin, los programas, ante una peticin del
usuario, tpicamente producan una salida accediendo a datos almacenado s en
ficheros con formatos particulares de cada aplicacin.
Ms adelante surgieron las bases de datos, que abstraan la capa de
almacenamiento/persistencia de datos, eliminando esos ficheros, facilitando
as la gestin de la informacin necesaria para la aplicacin. Adems aparecen
los conceptos de la interfaz grfica del sistema operativo, facilitando la
entrada/salida.
7
2.
DEFINICION
conocimiento para
normalmente requiere
interpretacin humana.
Los sistemas basados en el conocimiento son el resultado de un largo proceso de
investigacin realizado por los cientficos en el rea de la Inteligencia Artificial,
cuando, en los aos setenta, comenzaron a comprender que la capacidad de un
programa de ordenador para resolver problemas no reside en la expresin formal ni
en los esquemas lgicos de inferencia que emplea sino en el conocimiento que posee.
As, un sistema basado en el conocimiento es un cuerpo de programas de ordenador
que intenta imitar e incluso superar en algunas situaciones a un experto humano en
un mbito concreto de su actividad. No pretende, en absoluto, reproducir el
pensamiento humano, sino simplemente la pericia de un profesional competente
(tngase en cuenta que para construir un SBC se suele contar con grandes expertos
en la materia que incorporan su conocimiento al sistema).
Se pueden describir las acciones que puede realizar un SBC de la siguiente forma:
- El SBC informa a la BC lo que percibe.
- Se le pregunta a la BC cul es la accin que debe emprender. Esta puede
estar decidida por un conjunto de reglas preestablecidas, o necesarias de un
proceso de inferencia para llegar a la decisin.
- El agente realiza la accin que haya decidido de acuerdo a ese proceso de
inferencia.
Bajar costos.
Aprender.
Evolucionar.
Adaptar.
Razonar.
Tomar decisiones.
Analizar problemas.
3.
CARACTERISTICAS
Procedimientos no algortmicos.
Manejo de incertidumbre.
0, 1 mltiples soluciones.
Procesos interactivos.
Procesamiento simblico.
4.
CICLO DE VIDA
ANALISIS
Evaluar el problema y los recursos disponibles para determinar la aplicabilidad
de una solucin basada en conocimiento. Se debe realizar un anlisis costo beneficio del SBC propuesto para saber si su desarrollo puede ser garantizado.
ESPECIFICACION
Formalizar y poner por escrito lo que fue adquirido durante la fase de anlisis.
Esto permite determinar los objetivos del proyecto, ojal, de una manera
inequvoca y establece los medios para obtener dichos objetivos.
10
DISEO PRELIMINAR
Esta etapa considera nicamente las decisiones de alto nivel necesarias para
preparar y desarrollar rpidamente el prototipo inicial. Especficamente, esta
etapa determina el paradigma de representacin del conocimiento, la
herramienta escogida para construir el prototipo, y la seleccin de los expertos.
DISEO FINAL
Comprende la seleccin de las herramientas y de los recursos necesarios para
desarrollar el sistema a ser entregado. En muchos casos puede ser aplicable y
muy til realizar una descripcin grfica de los diferentes mdulos del sistema,
empleando las herramientas CASE propias de los sistemas de software
convencionales.
IMPLEMENTACION
Comprende el proceso completo de adquisicin del conocimiento para todos
los mdulos o subsistemas. Es en esta etapa que tiene lugar el desarrollo
incremental.
11
PRUEBAS
El asegurar la calidad de un SBC es una tarea muy importante que debe ser
cuidadosamente planificada, especialmente a medida que el SBC es ms
grande y complejo, o es de aplicacin crtica. El plan de pruebas, es bastante
similar al que se prepara para un sistema convencional, basndose en la
validacin y la verificacin.
5.
ARQUITECTURA
La arquitectura de un sistema basado en conocimiento de alguna manera
refleja la estructura cognitiva y los procesos humanos. La primera parte es la
memoria de corto plazo, en la que guarda los hechos (Base de Hechos) y los
conocimientos (Base de Conocimientos) acerca del dominio en el que tiene
experiencia.
12
MOTOR DE INFERENCIA
Un motor de inferencia interpreta y evala los hechos en la base de
conocimientos para proveer una respuesta. Este debe ser independiente del
conocimiento y de los hechos.
Se puede caracterizar por:
-
Monotnica o no monotnica.
Atemporal o temporal.
Funcionamiento:
1. Lee el conocimiento de control para ver qu instrucciones de alto nivel hay
definidas.
2. Si se inicia un proceso de inferencia:
a. Mira que reglas son aplicables.
b. Si hay ms de una regla aplicable, resuelve el conflicto y selecciona
una.
c. Aplica la regla (pudiendo tener que actualizar la Base de Conocimiento,
aplicar mtodos,).
d. Vuelve al paso 2.1. hasta que no haya reglas aplicables.
BASE DE HECHOS
La base de hechos es el conjunto de informacin invariable de una a otra
resolucin. Los hechos se diferencian de los datos en el sentido que los hechos
forman parte del SBC, mientras que los datos, al poder variar de una solucin
a otra, conviene agruparlos en archivos externos al SBC.
Algunos autores no consideran a la base de hechos en forma independiente.
Los conocimientos y los hechos pueden aparecer conjuntamente en una sola
base, la de conocimientos.
ESTRUCTURAS DE DATOS
Definiciones, restricciones, tipos, valores por defecto (hechos no ordenados)
Ejemplo: un perro tiene normalmente 4 patas, puede tener pelo corto o
largo,...
14
PATRONES
Patrones que estn en la memoria de trabajo o no (hechos ordenados)
Ejemplo: (animal pato) (pato)
PROCEDIMIENTOS
-
Funciones genricas
BASE DE CONOCIEMIENTO
Constituye el acervo de conocimiento especializado del Sistema Experto,
consta de:
-
6.
consejos, sugerencias o
Caractersticas:
-
Se
comunican
con
otros
expertos
adquieren
nuevos
conocimientos.
-
16
con caractersticas
similares
al que
se
resolvi
con las
18
19
Caractersticas:
grfica de los mismos para tener una primera aproximacin. Segn los
objetivos planteados y la tarea que debe llevarse a cabo, pueden
utilizarse
algoritmos
desarrollados
en
diferentes
reas
de
la
Inteligencia Artificial.
7.
LENGUAJES
GENERADORES
DE
SISTEMAS
BASADOS
EN
CONOCIMIENTOS
Para el desarrollo de sistemas basados en el conocimiento se han venido
utilizando tanto lenguajes de programacin especficos de la inteligencia
artificial (LISP y PROLOG) como de propsito general (C, PASCAL, JAVA)
Lenguaje LIPS
Es uno de los ms utilizados desde los comienzos de la Inteligencia Artificial.
Se trata de uno de los lenguajes de alto nivel ms antiguos. Se cre en 1950
en el MIT por John McCarthy. Es un lenguaje cuya principal estructura de datos
son las listas, aun cuando se han ido incorporando otras estructuras ms
sofisticadas como pueden ser los objetos. Tiene como ventaja el manejo de
sus estructuras a muy alto nivel lo que facilita la implementacin rpida de los
modelos y su facilidad de modificacin Como desventaja
est su relativa
Lenguaje PROLOG
Fue creado por Alain Colmenauer en la Universidad de Marsella en 1972. Se
trata de un lenguaje declarativo. Los lenguajes declarativos no describen
secuencialmente el algoritmo de resolucin del problema, sino que se limitan
22
a describir los hechos conocidos y las relaciones existentes entre ellos. Los
lenguajes
Lenguaje CLIPS
Es un lenguaje basado en reglas de produccin, fue desarrollado en la NASA
desde 1984 y escrito en C, La sintaxis es parecida a la de Lisp y se relaciona
tambin con los lenguajes OPS5 y ART. Sus ventajas son portabilidad, bajo
coste y facilidad de integracin.
Shells
Un shell es un Sistema Experto que contiene una base de conocimientos vaca,
contiene el mecanismo de inferencia, el componente explicativo y a la interfaz
de usuario. Ya que el mecanismo de inferencia depende del problema, no existe
ningn shell para todas las aplicaciones, sino que hay que buscar un shell
apropiado para cada aplicacin. Tambin es posible que haya que desarrollar
adicionalmente partes del mecanismo de inferencia.
23
8.
VENTAJAS Y DESVENTAJAS
VENTAJAS
-
Una vez construido el SBC resulta ms barato que el servicio prestado por
un experto en el dominio.
Permite incorporar nuevo conocimiento sin tener que modificar el resto del
sistema.
DESVENTAJAS
-
24
9.
Un motor de inferencia.
Estudio de viabilidad
Se intenta verificar si el problema justifica el desarrollo de un sistema basado
en el conocimiento, este punto es muy importante, ya que algunas veces se
ha intentado resolver con este tipo de tecnologa problemas que no eran los
adecuados, lo que llev a resultados no esperados. Las herramientas deben
ser flexibles y de uso muy sencillo. Muchas veces en esta etapa no es necesario
el uso de una herramienta especfica ya que puede utilizarse un lenguaje de
programacin de propsito general.
10.
SISTEMAS
BASADOS
EN
CONOCIMIENTOS
VS
SISTEMAS
EXPERTOS
La diferencia es sutil pero crucial: los sistemas expertos son sistemas basados
en reglas donde stas se definen incluyendo el conocimiento de un experto
(humano) en un determinado saber y que a su vez incluye el cmo hacer.
Es mbito de estudio de la Ingeniera en conocimiento.
Sistemas
Basados
en
Conocimiento:
Orientacin
Estructural
(Cognoscitiva).
-
26
SISTEMAS INTELIGENTES
SISTEMAS EXPERTOS
Figure 5. Sistemas Basados en conocimientos vs sistemas expertos
11.
APLICACIONES
Los mbitos de aplicacin en los que ms se han utilizado los sistemas basados
en el conocimiento son los siguientes:
Configuracin:
Se encargan de la seleccin y planificacin de los componentes que se
necesitan en un proceso determinado. Un caso tpico son los sistemas que
ayudan a configurar los equipos fsicos a partir de los componentes existentes
y de las restricciones establecidas.
Diagnstico:
Se trata de sistemas que a partir de unos "sntomas" determinan las causas
que lo producen. Ejemplo de ellos son los sistemas basados en el conocimiento
de diagnstico de enfermedades o de averas.
27
Interpretacin y Anlisis:
Sirven para tratar grandes volmenes de informacin, interpretarla, dar un
informe explicativo y sugerir las acciones a tomar. Ejemplo de ellos pueden ser
los sistemas de evaluacin de resistencia de estructuras frente a terremotos o
sistemas de supervisin de procesos industriales.
Monitorizacin:
En algunas situaciones se considera un caso particular de sistemas de
interpretacin y anlisis, pero debido a su frecuente uso se suelen considerar
aparte.
Estos
sistemas
suelen
encargarse
de
monitorizar
procesos
Planificacin:
Son sistemas que establecen las etapas y recursos necesarios para alcanzar
un determinado objetivo.
Interfaces inteligentes:
Hacen de puente entre las personas y equipos complejos y de difcil utilizacin.
Caso tpico son los interfaces inteligentes de acceso a base de datos.
Diseo:
Son aqullos que efectan la planificacin o trazado de un objeto o sistema en
base a los requisitos especificados. Suelen ser capaces de dar diferentes
soluciones de forma que el usuario pueda elegir aqulla que le convenga.
Lenguaje natural
Realidad virtual
Redes neuronales
Juegos
Sistemas expertos
28
12.
Robtica
Sistemas de planeacin
Reconocimiento de imgenes
Traductores
Solucin de problemas
Sistemas evolutivos
Aprendizaje.
Sistemas tutoriales.
conocimiento actuales para poder as solucionar las desventajas que tienen los
Sistemas Basados en el Conocimiento.
29
CONCLUSIONES
Los Sistemas Basados en Conocimiento sirven parare presentar el conocimiento de
los especialistas de una rama en la procura de su aprovechamiento para tareas de
diagnstico, enseanza, control, etc. En la actualidad los Sistemas Basados en
Conocimiento requieren de nuevas tcnicas o paradigmas para ser aplicados de
manera eficiente en las diversas ramas que se maneja el conocimiento como algo
esencial para su desarrollo. El crecimiento acelerado del conocimiento requiere la
participacin de los recursos tecnolgicos en este caso delos Sistemas Basados en el
Conocimiento que faciliten la concentracin y diseminacin de este.
30