Documentos de Académico
Documentos de Profesional
Documentos de Cultura
SBC:
Conocimiento:
Incompleto Impreciso Heurstico
Estructura
Refinamiento Implementacin
Reglas
Prueba
11
Identificacin
Viabilidad de la construccin del sistema basado en el conocimiento (SBC) Bsqueda de les fuentes de conocimiento (expertos, libros, artculos) Determinacin de los datos necesarios para resolver el problema Determinacin de los objetivos (soluciones) y de los criterios que determinan la solucin
12
Conceptualizacin
Esta fase debe proporcionar la perspectiva del problema desde el punto de vista del experto:
Detallar los elementos bsicos para caracterizar el dominio (hechos relevantes) y su relaciones: borrador ontologa Detallar y distinguir entre evidencias, hiptesis y acciones y descubrir sus relaciones. Descomponer el problema en sub-problemas Caracterizar el sistema de razonamiento
13
Formalizacin
Esta fase transforma la perspectiva del experto en la perspectiva del ingeniero del conocimiento:
Determinar los esquemas de razonamiento necesarios:
clasificacin, diagnosis, planificacin temporal, estructuras causales
Implementacin
Ontologa formal y completa Base de hechos Estructura modular de la base de conocimiento Reglas de inferencia de los mdulos Decisiones sobre el control de la resolucin
Meta-reglas
15
Validacin y prueba
Determinar un conjunto de casos de prueba y resolverlos mediante el sistema. Evaluar el funcionamiento del sistema (prototipo): exactitud, completitud, credibilidad (explicaciones)
16
18
Clasificacin heurstica
Es una asociacin no jerrquica entre datos y soluciones, que requiere inferencias intermedias. Tiene que existir un conjunto finito de soluciones a priori. Es aplicable en operaciones de anlisis:
clasificaciones, diagnosis, identificaciones, monitoreo
Se usa en problemas complejos. Si el problema es simple, una asociacin directa entre los datos i las soluciones es suficiente.
20
Clasificacin heurstica
Datos abstractos
Asociacin heurstica
Soluciones abstractas
Abstraccin de datos
Soluciones concretas
21
Clasificacin heurstica
Abstraccin de datos
Abstraer los datos del caso concreto para obtener un caso ms general Tipos de abstraccin/generalizacin:
Abstraccin basada en la definicin: abstraer caractersticas esenciales a partir de una clase de objetos (taxonoma) Abstraccin cualitativa: abstraer sobre medidas cuantitativas para pasar a medidas cualitativas
Temperatura (P) = 38 C Si Temperatura (x) > 37.5 C entonces Temperatura (x) es alta
22
Clasificacin heurstica
Asociacin heurstica (matching)
Determinar las relaciones/coincidencias entre casos abstractos y soluciones abstractas Ejemplo:
Si Temperatura (x) es alta entonces tiene-fiebre (x)
23
Clasificacin heurstica
Refinamiento/adaptacin de la solucin
Identificar las soluciones concretas a partir de las soluciones abstractas y ciertos datos complementarios Excluir soluciones poco probables Ejemplo:
Si tiene-fiebre (x) otros datos entonces tiene-gripe (x) P tiene-gripe
24
LEUCOPENIA
NIVEL DE LEUCOCITOS BAJO
[MYCIN]
N LEUCOCITOS < 2.5 M
25
Apoyo financiero (tiene avales, es-rico...) Peticin concreta Bienes (cuentas-corrientes, casas, coches, yates...) Fiabilidad-de-la-devolucin (morosidad, cheques-sin-fondos...) Compromiso (crditos-anteriores...)
Denegacin Aceptacin Aceptacin con rebaja Aceptacin con inters preferente
Soluciones
26
30
Resolucin constructiva
No se pueden determinar a priori las soluciones, que pueden ser infinitas. Las soluciones se tienen que construir, y no seleccionar una entre varias posibles. Es aplicable en operaciones de sntesis:
Planificacin Diseo Diagnosis de mltiples fallos
32
Resolucin constructiva
Las soluciones son combinaciones de ciertos elementos que satisfacen unas restricciones:
Planificacin: Los elementos son acciones y las soluciones secuencias de acciones que consiguen un cierto objetivo. Diseo: Los elementos son componentes y las soluciones combinaciones de componentes que forman un objeto complejo. Diagnosis de mltiples fallos: Los elementos son fallos y las soluciones conjuntos de fallos que concuerdan con los sntomas.
33
Resolucin constructiva
La construccin de la solucin implica tener:
Un modelo de la estructura del objeto complejo Un modelo del comportamiento del objeto complejo Un conjunto de restricciones sobre el objeto complejo
34
Resolucin constructiva
Les restricciones pueden ser:
Sobre la configuracin de los componentes de la solucin
Restricciones fsicas/espaciales: cmo se puede coger un objeto, no se puede colocar un objeto en un cierto lugar,... Restricciones temporales: qu accin se hace primero...
Restricciones
No puede chocar con ningn obstculo. Al final tiene que estar en la salida. Puede hacer slo los movimientos que indiquen los operadores.
Colocar (mueble, posicin) Quitar (mueble, posicin) Sof Intercambiar (mueble1, mueble2) Desplazar (mueble, posicin 1, posicin 2)
Restricciones
No se pueden tapar puertas y ventanas de la habitacin Al final se tienen que haber colocado todos los muebles Delante de la pantalla de la Wii tiene que haber un espacio vaco de 10 m2.
Menor compromiso
Seleccionar el operador de menor compromiso para extender soluciones parciales, partiendo de una solucin parcial 38 inicial o desde cero
Proponer y aplicar
Se busca en el espacio de soluciones parciales. Se parte de una solucin inicial vaca o una solucin incompleta. Cada paso va completando la solucin. Siempre se elige el mejor operador. Nos mantenemos en el espacio de soluciones.
39
Proponer y aplicar
Necesitamos conocimiento exhaustivo sobre:
Operadores de resolucin del problema Restricciones y relaciones entre los componentes de la solucin Evaluacin del efecto de los operadores en la solucin Evaluacin de la bondad de la solucin
40
Proponer y aplicar
Podemos plantear la resolucin de diferentes maneras:
Construccin secuencial (necesita mucho conocimiento para ser eficiente) Descomposicin jerrquica de tareas (mas eficiente, pero requiere obtener operadores de descomposicin)
41
Proponer y aplicar
1. 2. 3. 4. 5. 6. Inicializar el objetivo (de la tarea a alcanzar): se crean los elementos necesarios para identificar el estado inicial. Proponer operadores: se proponen todos los operadores que pueden actuar sobre el estado actual. Eliminar operadores: se eliminan ciertos operadores de acuerdo con criterios globales. Evaluar operadores: se comparan los efectos de los operadores sobre la solucin. Seleccionar un operador: se selecciona el mejor de los operadores evaluados. Aplicar el operador: se aplica el operador seleccionado.
7.
Menor compromiso
En general, se explora el espacio de soluciones completas. Se modifica la solucin mejorndola o corrigindola. La eleccin del operador a aplicar la define la estrategia de mnimo compromiso. Se permite pasar entre el espacio de soluciones y no soluciones
43
Menor compromiso
1. Si es posible, comenzar con una solucin completa (o parcial) (que satisfaga las restricciones), si no comenzar desde cero. 2. Modificar la solucin parcial aplicando el heurstico del menor compromiso: escoger el operador que imponga menos restricciones sobre las acciones futuras. 3. Si la modificacin anterior viola alguna restriccin entonces proponer algn cambio deshaciendo alguno de los pasos anteriores, procurando que las modificaciones sean mnimas. 4. Si se ha llegado al objetivo se para, si no se vuelve al paso 2.
44