CATLOGO DE INFERENCIAS

Ingeniera Sistemas Basados Conocimiento

Las inferencias son los elementos claves en los modelos de conocimiento o Son los elementos constitutivos de los procesos de razonamiento No existe ningn estndar CommonKADS ofrece un catlogo que cubre los procesos de razonamiento ms usados Puede ser extendido Estructura del Catlogo - Nombre de la Inferencia - Funcionamiento o Descripcin del tipo de entradas y salidas que maneja - Ejemplo de uso - Conocimiento Esttico - Caracterizacin del conocimiento del dominio que utiliza - Tareas en las que podemos encontrarla - Comportamiento de control o Alcanza siempre una solucin? o Puede producir mltiples salidas para la misma entrada? - Mtodos Computacionales o Algoritmos que podemos utilizar para su implementacin - Comentarios adicionales.
Modelo de Conocimiento de CommonKADS 19

CATLOGO DE INFERENCIAS

Ingeniera Sistemas Basados Conocimiento

Inferencia Cover (Cubrir) Funcionamiento . Dado un efecto determinar un estado del sistema que haya podido provocarlo Ejemplo. Cubrir sntomas de un paciente para determinar la enfermedad que lo causa Conocimiento Esttico. Algn modelo de comportamiento del sistema (ej. una red causal) Tareas. Analticas (Diagnstico) Comportamiento de control. Puede producir mltiples soluciones Mtodo computacional. Mtodos abductivos Inferencia Abstract (Abstraer) Funcionamiento . Dado un conjunto produce una forma abstracta del mismo (puede incluir el conjunto de entrada) Ejemplo. Temperatura > 38 se abstrae como fiebre Conocimiento Esttico. Reglas de abstraccin, jerarqua de clases Tareas. Analticas (Asignacin) Comportamiento de control. Puede tener xito ms de una vez Mtodo computacional. Razonamiento hacia delante, generalizacin Comentarios. Se pueden producir abstracciones encadenadas Inferencia Assign (Asignar) Funcionamiento . Trata de asignar un recurso a un objeto activo (actor, unidad,...) Ejemplo. Asignar un despacho a un empleado Conocimiento Esttico. Un conjunto de restricciones y preferencias Tareas. Sintticas (Asignacin, Temporalizacin) Comportamiento de control. Puede fallar y puede producir ms de una salida para la misma entrada Mtodo computacional. Sistemas basados en reglas, satisfaccin de restricciones Comentarios. Es diferente a la tarea ASIGNACIN. En algunos Modelo de Conocimiento de CommonKADS casos se puede sustituir por Compute.

20

CATLOGO DE INFERENCIAS

Ingeniera Sistemas Basados Conocimiento

Inferencia Classify (Clasificar) Funcionamiento. Asocia un objeto con la clase a la que pertenece Ejemplo. Clasificar manifestaciones en anormales o normales Conocimiento Esttico. Definiciones de clases indicando las caractersticas necesarias y las suficientes Tareas. Analticas y Sintticas (Monitorizacin) Comportamiento de control. Produce una solucin precisa Mtodo computacional . Comparacin de patrones Comentarios. En algunos casos hay que tratarla como tarea: o Casos en el que el conocimiento no es completo o O en los que se pueden dar varias posibilidades de clasificacin Inferencia Compare (Comparar) Funcionamiento. Produce como salida equal si los dos objetos de entrada son iguales o not-equal en caso contrario Ejemplo. Comparacin de los hallazgos predichos por el sistemas y los que realmente aparecen Conocimiento Esttico. Generalmente no hace falta, aunque puede aparecer (ej., comparacin de intervalos) Tareas. Principalmente Analticas (Diagnosis y Monitorizacin) Comportamiento de control. Produce una solucin precisa Mtodo computacional . Algoritmos muy simples

Inferencia Critique (Criticar) Funcionamiento. Dada una solucin especifica los problemas (formas de mejorarla) que tiene Ejemplo. Criticar un diseo Conocimiento Esttico. Depende del dominio y es heurstico y dependiente del contexto Tareas. Sintticas (Diseo por configuracin) Comportamiento de control. Puede producir ms de una salida Mtodo computacional . Depende del dominio.
Modelo de Conocimiento de CommonKADS 21

CATLOGO DE INFERENCIAS

Ingeniera Sistemas Basados Conocimiento

Inferencia Match (Corresponder) Funcionamiento. Dado un conjunto de entradas determina si pueden llevar a un resultado conjunto Ejemplo. Determinar si un conjunto de valoraciones nos llevan a una decisin conjunta Conocimiento Esttico. Reglas que indiquen si una combinacin de hallazgos llevan a una conclusin Tareas. Analticas (valoracin) Comportamiento de control. Puede fallar o producir una nica solucin Mtodo computacional . Razonamiento hacia delante Inferencia Modify (Modificar) Funcionamiento. Tiene como entrada y salida una descripcin del sistema a modificar (adicionalmente, las modificaciones que hay que hacer) Ejemplo. Modificar el diseo de un dispositivo actualizando el modelo Conocimiento Esttico. Conocimiento a cerca de la accin (ej., repetibles o no repetibles) Tareas. Sintticas (diseo por configuracin, temporalizacin) Comportamiento de control. Produce una salida Mtodo computacional . Una simple actualizacin Inferencia Operationalize (Operacionalizar) Funcionamiento. Dados unos requerimientos para un sistema, transformarlos para que sean usados en el proceso de razonamiento como mnimo un Ejemplo. Requerimiento: ordenador rpido Pentium a 350 MHz Conocimiento Esttico. Heursitco y debe ser revisado durante el proceso de desarrollo Tareas. Sintticas (diseo por configuracin, sntesis) Comportamiento de control. Preferible que aporte distintas alternativas de operacionalizacin Mtodo computacional. Razonamiento hacia adelante
Modelo de Conocimiento de CommonKADS 22

CATLOGO DE INFERENCIAS

Ingeniera Sistemas Basados Conocimiento

Inferencia Evalue (Evaluar) Funcionamiento . Dado un conjunto de entrada y una norma devuelve verdadero si el conjunto cumple la norma. Si la norma no vara se puede considerar como role esttico Ejemplo. Evaluar un formulario Conocimiento Esttico. Debe indicar como se puede derivar el valor verdadero del conjunto de datos (tabla de decisin) Tareas. Sintticas y Analticas (asignacin, temporalizacin) Comportamiento de control. Produce una solucin precisa por cada conjunto de datos de entrada Mtodo computacional. Razonamiento hacia atrs con la norma como objetivo Inferencia Generate (Generar) Funcionamiento . Dado algn dato del sistema (requerimientos, caractersticas) produce una posible solucin Ejemplo. Generar las posibles clases a la que una roca puede pertenecer Conocimiento Esttico. o Para tareas analticas: conocimiento sobre todas las soluciones posibles o Para tareas sintticas: conocimiento sobre la composicin del sistema Tareas. Sintticas y Analticas (planificacin, diagnosis) Comportamiento de control. Puede producir mltiples salidas Mtodo computacional. o Analticas: bsquedas o Sintticas: Algoritmos para calcular todas las posibles combinaciones Inferencia Group (Agrupar) Funcionamiento . Dado un conjunto genera un objeto que contiene uno o ms elementos del conjunto Ejemplo. Agrupar los empleados para que la asignacin de oficinas se pueda hacer por grupos Conocimiento Esttico. Conocimiento especfico del dominio sobre las preferencias positivas y negativas para el agrupamiento Tareas. Sintticas (asignacin) Comportamiento de control. Puede producir mltiples soluciones Mtodo computacional Satisfaccin de restricciones
Modelo de Conocimiento de CommonKADS 23

CATLOGO DE INFERENCIAS

Ingeniera Sistemas Basados Conocimiento

Inferencia Propose (Proponer) Funcionamiento. Generar un nuevo elemento a ser incluido en el proceso de razonamiento Ejemplo. Proponer un modelo de HD para el diseo de un PC Conocimiento Esttico . Dependencias entre los posibles componentes y preferencias de componentes Tareas . Sintticas (diseo por configuracin) Comportamiento de control. Puede dar varias soluciones Mtodo computacional. Razonamiento hacia delante, algoritmos que operen con las preferencias Inferencia Predict (Predecir) Funcionamiento. Dada un descripcin de un sistema, predecir dicho sistema en el futuro Ejemplo. Predecir la presin sangunea de un paciente Conocimiento Esttico. Modelo del sistema (cualitativo o cuantitativo) Tareas . Analticas (Diagnosis) Comportamiento de control. Una solucin Mtodo computacional. Razonamiento cualitativo, clculo matemtico Inferencia Select (Seleccionar) Funcionamiento. Selecciona un elemento, una sublista o un subconjunto de una lista/ conjunto Ejemplo. Seleccionar una hiptesis diagnstica de un diagnstico diferencial Conocimiento Esttico. Criterio de seleccin (especfico del dominio) Tareas . Analticas y Sintticas Comportamiento de control. Puede dar mltiples soluciones (while new- solution( select()) Mtodo computacional. Algoritmos de seleccin (puede ser aleatorio)

Modelo de Conocimiento de CommonKADS 24

CATLOGO DE INFERENCIAS

Ingeniera Sistemas Basados Conocimiento

Inferencia Sort (Ordenar) Funcionamiento. Ordena el conjunto de elementos de entrada (la salida es una lista) Ejemplo. Ordenar un conjunto de diseos de acuerdo con las preferencias (ej., primero el ms barato) Conocimiento Esttico. Funcin de comparacin Tareas. Sintticas Comportamiento de control. Slo da una salida Mtodo computacional. Algoritmos de ordenacin. Inferencia Specify (Especificar) Funcionamiento. Genera un nuevo objeto que est relacionado de alguna manera con el objeto de entrada Ejemplo. Especificar un observable para una hiptesis Conocimiento Esttico. Reglas especficas del dominio que hagan dicha asociacin Tareas. Analticas y Sintticas Comportamiento de control. Puede fallar y producir mltiples soluciones Mtodo computacional. Razonamiento hacia delante Inferencia Verify (Verificar) Funcionamiento. La entrada es una descripcin del sistema a ser verificado. La salida es un valor booleano que indica si el sistema ha pasado la verificacin. Otra salida puede ser el nombre de la violacin en caso de fallo Ejemplo. Verificar el diseo de un ordenador Conocimiento Esttico. Tareas analticas. Conocimiento sobre la consistencia de las hiptesis con el conjunto de datos Tareas sintticas. Restricciones internas y externas Tareas. Analticas y Sintticas (diagnostico, diseo con configuracin Comportamiento de control. Da una nica solucin Mtodo computacional. Razonamiento hacia adelante
Modelo de Conocimiento de CommonKADS 25