Professional Documents
Culture Documents
Existen varias formas de representar los otros tipos de conocimiento de control. Por ejemplo,
las reglas pueden ser divididas y etiquetadas. Un sistema de diagnósticos médicos puede tener
un conjunto de reglas de razonamiento en relación con enfermedades de tipo bacteriológico,
así como otro conjunto para enfermedades inmunológicas. Si el sistema intenta comprobar
un hecho en particular a través de un encadenamiento hacia atrás, probablemente eliminara
uno de los dos conjuntos de reglas, dependiendo del tipo de hecho del que se trate. Por esta
razón, algunas veces el conocimiento de control de búsqueda se llama metaconocimiento.
Davis (1980) fue el primero que subrayo la necesidad del metaconocimiento, y sugirió que
fuera representado de un modo declarativo, utilizando reglas. En la Figura 1 se muestra la
sintaxis de un tipo de regla de control.
Dadas las condiciones A y B
Las reglas donde {no} aparece X
{en absoluto,
en el lado izquierdo,
en el lado derecho}
serán
{definitivamente inútiles,
probablemente inútiles
…
probablemente de mucha utilidad
definitivamente de mucha utilidad}
Figura 1
SOAR (Laird et al., 1987) consiste en una arquitectura general para construir sistemas
inteligentes, está basado en un conjunto de hipótesis específicas, cognoscitivas y motivadas,
similares a la estructura de la resolución de problemas por los humanos. Estas hipótesis se
derivan de lo que ya conocemos acerca de la memoria a corto plazo, efectos prácticos, etc.
En SOAR: