1. Método del espacio de estados: es un método de representación y solución de problemas basado en el espacio de soluciones, basado en estados y operadores.
2. Método de reducción de problemas: Es un método de descripción y solución de problemas basado en el espacio de estados.
3. Método de lógica de predicados: utilice fórmulas de predicados apropiadas y cálculo de predicados de primer orden para convertir el problema a resolver en un problema a demostrar, y luego utilice el teorema de reducción y la inversión de reducción para demostrar uno nuevo. declaración Se deriva de una declaración correcta conocida, lo que demuestra que esta nueva declaración también es correcta.
4. Método de red semántica: Es una forma de expresar la estructura del conocimiento humano en formato de red.
En segundo lugar, características diferentes
1. Método del espacio de estados: debido a la representación matricial, cuando aumenta el número de variables de estado, variables de entrada o variables de salida, la complejidad de la descripción del sistema aumenta. no aumentado.
2. Método de reducción de problemas: en el gráfico AND-OR del método de reducción de problemas, hay nodos AND y nodos OR, mientras que en el método del espacio de estados, solo hay nodos OR.
3. Método de lógica de predicados: el método de lógica de predicados a menudo se combina con otros métodos de representación. Es flexible y conveniente y puede representar problemas más complejos.
4. Método de red semántica: la red semántica puede expresar varios hechos y reglas y tiene características estructuradas.
Tercero, diferentes usos
1. Método del espacio de estados: solo es adecuado para expresar problemas relativamente simples; es muy adecuado para cálculos con computadoras electrónicas digitales.
2. Método de reducción de problemas: utilice una serie de operadores para transformar o descomponer la descripción del problema original en la descripción de subproblemas. Las descripciones de los problemas pueden tomar la forma de varias estructuras de datos, como tablas, árboles, vectores y matrices.
3. Método de lógica de predicados: habitualmente utilizado en ordenadores.
4. Método de red semántica: habitualmente utilizado en el modelado real.