Encadenamientos

Encadenamiento
El

encadenamiento forma parte de la inferencia lgica, se quieren conseguir algoritmos que puedan responder a preguntas expresadas en forma lgica.

encadenamiento hacia delante y sus aplicaciones. encadenamiento hacia atrs y los sistemas de programacin lgica sistemas de demostracin de teoremas basados en la resolucin algoritmos

Sistemas de produccin
Un

problema queda definido por:

Base de hechos: que describen el problema concreto. Base de reglas: que describen los mecanismos de razonamiento que permiten resolver problemas. Motor de inferencia: que ejecuta las reglas y obtiene una cadena de razonamiento que soluciona el problema.

Sistemas de produccin

hechos: proposiciones o predicados

reglas: formulas condicionales

Hechos: terminologa
Base

de hechos (BH):

Memoria de trabajo Memoria a corto plazo Aserciones

Ejemplos:

x es un gato x es un animal domstico

Reglas: terminologa

condiciones antecedentes premisas

Si

- acciones - consecuentes - conclusiones

entonces

Base

Base de conocimiento (BC) Memoria a largo plazo Implicaciones

de reglas:

Ejemplo:

Si x es un gato entonces x es un animal domstico

Motor de inferencia

Fases del ciclo bsico:

1.

Deteccin (filtro):

Reglas pertinentes

Interprete de reglas: Obtencin, desde la BC, del conjunto de reglas aplicables a una situacin determinada (estado) de la BH

formacin del conjunto de conflictos

2.

Seleccin:

Qu regla?

Estrategia de control: Resolucin de conflictos

seleccin de la regla a aplicar

Motor de inferencia
Fases
3.

del ciclo bsico:

Aplicacin de la regla sobre una instanciacin de les variables: modificacin de la memoria de trabajo

Aplicacin

4.

Vuelta al punto 1, o parada si el problema est resuelto

Si no se ha encontrado una solucin y no hay reglas aplicables: fracaso.

1. Deteccin
Construccin

aplicables

del conjunto de reglas

Una

regla puede instanciarse ms de una vez, caso de existir variables que lo permitan.

2. Seleccin
Las

reglas son o no aplicadas dependiendo de la estrategia de control:

estrategia fija estrategia dinmica prefijada estrategia guiada por meta-reglas

Seleccin

de la mejor instanciacin Posible combinacin de criterios

3. Aplicacin

Ejecucin de la regla

Propagacin de las instanciaciones Propagacin del grado de certeza

Modificacin de la base de hechos (en el razonamiento hacia delante) Nuevos clculos, nuevas acciones, preguntas al usuario Nuevos sub-objetivos (en el razonamiento hacia atrs)

Nota: Es como asignarle un valor numrico a cada acierto para despus contabilizar y tomar decisiones.

Tipos de razonamiento
Deductivo,

progresivo, encadenamiento hacia delante, dirigido por hechos

evidencias, sntomas, datos conclusiones

Inductivo,

regresivo, encadenamiento hacia atrs, dirigido por objetivos

conclusiones datos, evidencias, sntomas

Mixto,

encadenamiento hbrido

15

EJEMPLO

ENCADENAMIENTO HACIA ADELANTE Regla 1

SI la disuasin del Estado A respecto del Estado B es eficaz Y la disuasin del Estado B respecto del Estado A es eficaz LUEGO se evitar la guerra

17

ENCADENAMIENTO HACIA ATRS

Objetivo: Evitar la guerra Valor = verdadero Regla 1 SI la disuasin del Estado A respecto del Estado B es eficaz Valor = verdadero Y la disuasin del Estado B respecto del Estado A es eficaz Valor = verdadero LUEGO se evitar la guerra Valor = verdadero