Conocimiento sobre Inferencias

El objetivo primordial de esta categora es especificar los

procesos de razonamiento que se realizan en el conocimiento
del dominio.
INFERENCIA
Son los elementos, dentro del conocimiento sobre
inferencias, representan las unidades bsicas de
procesamiento de la informacin y describen un proceso
primitivo de razonamiento. Solo puede hacer referencia a
un conocimiento del dominio indirectamente a travs de
los papeles o roles de conocimiento

Catalogo de Inferencias
Inferencia COVER (cubrir)
Funcionamiento: Dado un efecto determiner un estado del Sistema que haya
podido provocarlo.
Conocimiento estatico. Algun modelo de comportamiento del Sistema
Comportamiento de Control. Puede producir multiples soluciones
Metodo Computacional. Metodos abductivos.
Inferencia ABSTRACT (abstraer)
Funcionamiento: Dado un conjunto produce una forma abstracta del mismo( puede
producir el conjunto de entrada).
Conocimiento estatico. Reglas de abstraccin, jerarquas de clase
Comportamiento de Control. Puede producir multiples soluciones
Metodo Computacional. Razonamiento hacia delante, generalizacion
Inferencia ASSIGN(asignar)
Funcionamiento: Trata de asignar un recurso a un objeto activo.
Conocimiento estatico. Un conjunto de restricciones y preferencias

Catalogo de Inferencias
Inferencia CLASSIFY (clasificar)
Funcionamiento: Asocia un objeto con la clase a la que le pertenece.
Conocimiento estatico. Definiciones de clases indicando las caracteristicas
necesarias y suficientes
Comportamiento de Control. Produce una solucion precisa
Metodo Computacional. Comparacion de patrones.
Inferencia COMPARE (COMPARAR)
Funcionamiento: produce como salida equal o not equal en otro caso.
Conocimiento estatico. Generalmente no hace falta, aunque puede aparecer
Comportamiento de Control. Produce una solucion precisa
Metodo Computacional. Algoritomos muy simples

Catalogo de Inferencias
Inferencia CRITIQUE (criticar) formas de mejorar.
Inferencia MATCH(corresponder) conjunto de entradas, resultado en
conjunto.
Inferencia MODIFY (modificar) tiene como entrada y salida una
instruccin a modificar
Inferencia OPERATIONALIZE transforma requerimientos para usarlos en P.
de Razonamiento
Inferencia EVALUE (evaluar) devuelve un verdadero si cumple con la
norma
Inferencia GENERATE (generar) genera una posible solucin
Inferencia GROUP (agrupar) genera uno o mas elementos del conjunto.

Catalogo de Inferencias
Inferencia PREDICT (predecir) dada una descripcin, predice dicho
sistema en el futuro.
Inferencia SELECT (seleccionar) selecciona elemento, sublista o
subsistema
Inferencia SORT (ordenar) ordena el conjunto de elementos de entrada
Inferencia SPECIFY (especificar) genera objeto relacionado con objeto de
entrada
Inferencia VERIFY (verificar) entrada descripcin a ser verificada, salida
valor boleano

Notacin Grafica empleada para la

elaboracin de un diagrama de
inferencia
Roles
AVISO

CUBRIR

Inferencias
MODO
CASUAL

Dos lneas gruesas

HIPOTESIS