Está en la página 1de 2

TAXONOMIA

a) Por su funcionalidad o propósito
- Descubrimiento
- Diagnóstico
- Diseño
- Intérprete
- Monitorización
- Planeación
- Predicción

b) Por su estado de evolución

- Demostración
- Investigación
- Campo
- Producción
- Sistema comercial

c) Por la forma de interacción con el usuario

- Soporte
- Prescriptivo
- Autónomo


Método de Encadenamiento Progresivo

sw_sol: es una variable lógica que indica si se encontró (True) o no (False) una solución.

sw_di: es una variable lógica que indica si se dispara (True) o no (False) una regla.

Resolver_conflicto(Rx, Cx, sw_di):
Es una rutina que verifica que regla de la BC se dispara, selecciona una regla Rxde
consecuente Cxen el caso se dispara al menos una regla (sw_diTrue) o proporciona
False para la variable sw_dien el caso que ninguna regla se dispara.

Al goritmo

1. Read(BC); Read(BH);
2. sw_solFalse; sw_diTrue;
3. While not(sw_sol)and (sw_di)
3.1 Verificar c/regla de BC
3.2 Resolver_conflicto(Rx, Cx, sw_di)
3.3 If(sw_di)
3.4 then BH BH +Cx
3.5 If CxЄLCT then sw_solTrue;
4. If(sw_sol)
4.1 then Write(“Solución =”, Cx),
4.2 else Write(“No hay Solución”);



Al goritmo -Todos los consecuentes terminales

1. Read(BC); Read(BH);
2. LS {}; sw_diTrue;
3. While(sw_di)
3.1 Verificar c/regla de BC
3.2 Resolver_conflicto(Rx, Cx, sw_di)
3.3 If(sw_di)
3.4 then BH BH +Cx
3.5 If CxЄLCT then LS LS +Cx;
4. If(LS <>{})
4.1 then Write(“Soluciones =”, LS),
4.2 else Write(“No hay Solución”);


Al goritmo -Todos los consecuentes terminales + prioridades

1. Read(BC); Read(BH); Read(prioridades);
2. LS {}; sw_diTrue; Ordenar(BC, prioridades)
3. While(sw_di)
3.1 Verificar c/regla de BC
3.2 Resolver_conflicto(Rx, Cx, sw_di)
3.3 If(sw_di)
3.4 then BH BH +Cx
3.5 If CxЄLCT then LS LS +Cx;
4. If(LS <>{})
4.1 then Write(“Soluciones =”, LS),
4.2 else Write(“No hay Solución”);