Planificación con cálculo situacional

• representación de problemas de planificación con cálculo situacional
  1. estado inicial: una sentencia sobre una situación inicial
     
  2. estado objetivo: una pregunta sobre una situación
     
  3. operadores: un conjunto de descripciones de acciones usando axiomas de sucesor de estado
     
• secuencia de acciones
  
• un plan p aplicado al estado inicial satisface el objetivo
  
• problemas potenciales
  • tiempo exponencial en la longitud de la solución en el peor caso
  • pueden obtenerse planes con pasos irrelevantes
• soluciones
  • restringir el lenguaje
  • usar un algoritmo de propósito especial: planificador, siempre en el marco de una lógica (lenguaje formal con sintaxis, semántica y teoría de prueba)