REPRESENTACIÓN DE PROBLEMAS COMO SISTEMA DE PRODUCCIÓN
La representación mediante formalismos lógicos es declarativa pero puede representar procedimientos. Se describen cuales son los pasos para resolver un problema como una cadena de deducciones. La representación se basa en dos elementos:
La representación mediante formalismos lógicos es declarativa pero puede representar procedimientos. Se describen cuales son los pasos para resolver un problema como una cadena de deducciones. La representación se basa en dos elementos:
v hechos: proposiciones o predicados;
v reglas: formulas condicionales donde el consecuente está formado por un único átomo.
Analogía con búsqueda por reducción a sub-problemas:
v hechos = problemas primitivos.
v reglas = operadores de reducción.
Un problema queda definido por:
v Base de hechos: predicados que describen el problema concreto.
v Base de conocimiento (o de reglas): reglas que describen los mecanismos de razonamiento que permiten resolver problemas.
v Motor de inferencia: interprete que ejecuta las reglas y obtiene la cadena de razonamiento que soluciona el problema.
La solución de un problema depende del proceso seguido por el intérprete. Terminología de los hechos:
v Los hechos constituyen los datos del problema en forma de:
– Base de hechos (BH)
– Memoria de trabajo
– Memoria a corto plazo
– Aserciones
Ejemplos:
– x es un gato
– x es un animal doméstico
Terminología de las reglas:
• Si entonces
– condiciones - acciones
– antecedentes - consecuentes
– premisas - conclusiones
Las reglas modelan el conocimiento general del dominio y constituyen:
– Base de conocimiento (BC)
– Memoria a largo plazo
– Implicaciones
OTRAS FUENTES: SISTEMAS DE PRODUCCION
No hay comentarios:
Publicar un comentario