para plantear formalmente un
problema, se requiere precisar una
representación simbólica de los estados
y definir reglas del tipo condición acción
para cada una de las transiciones
válidas dentro del universo modelado.
Cuando un problema se puede representar
mediante un espacio de estados, la solución
computacional correspende a encontrar un camino
desde el estado inicial a un estado objetivo.
La acción de una regla indica
como modificar el estado actual
para generar un nuevo estado.
Los problemas se modelan a menudo como un espacio de
estados, un conjunto de estados que contiene el problema. El
conjunto de estados forma un grafo donde dos estados están
conectados si hay una operación que pueda se pueda llevar a
cabo para transformar el primer estado en el segundo.
La condición impone restricciones sobre la
aplicabilidad de la regla según el estado
actual, el estado generado o la historia
completa del proceso de solución.
Determinísticos
El espacio de estados determinísticos
contienen un único estado inicial y seguir
la secuena de estados para la solución.
Los espacios de estados determinísticos
son usados por los sistemas expertos.
Se puede describir asu vez, que un sistema es
determinístico si, para un estado dado, al menos
aplica una regla a él y de solo una manera.
No determinísticos
El no determinístico contiene un amplio número de
estados iniciales y sigue la secuencia de estados
perteneciente al estado inicial del espacio
Son usados por sistemas de lógica difusa.
si más de una regla aplica a cualquier estado
particular del sistema, o si una regla aplica a un
estado particular del sistema en más de una
manera, entonces el sistema es no determinístico.