Planificación clásica
STRIPS, PDDL y búsqueda en espacio de estados
Antes de actuar, un agente imagina una secuencia de acciones con precondiciones y efectos hasta alcanzar una meta.
Intuición
En el mundo de bloques el estado es un conjunto de hechos lógicos. Cada acción exige precondiciones y produce efectos. Planificar es buscar una secuencia que transforme el inicio en la meta.
STRIPS fijó esa representación; PDDL la estandarizó. Los planificadores modernos relajan el problema —olvidan las eliminaciones— para obtener una heurística y guiar A*.
El laboratorio resuelve un mundo de bloques en vivo: estado, acciones aplicables y plan.
Mecanismo
Estado . Acción . Aplicable si . Sucesor .
Heurística de relajación (delete-relaxation): ignorar deletes hace el problema monótono; es admisible.
Graphplan, FF y Fast Downward escalan la idea a PDDL con miles de acciones.
Laboratorio
STRIPS en el mundo de bloques
Apila y desapila con precondiciones y efectos. Observa el plan bajo heurística de relajación.
Historia
- 1971
STRIPS para el robot Shakey.
Fikes & Nilsson (1971), AI 2
- 1998
PDDL se vuelve el estándar de las competiciones.
McDermott et al. (1998)
- 2001
FF populariza la heurística de relajación.
Hoffmann & Nebel (2001), JAIR
- 2011
Fast Downward domina con SAS+.
Helmert (2006), JAIR
Límites
Explosión combinatoria con muchos objetos.
Asume observabilidad plena y efectos deterministas.
Integrar con percepción aprendida sigue abierto.
¿Planificar es pensar?
Un planificador mantiene un modelo del mundo y elige acciones hacia un deseo (la meta).
Si un LLM razona en cadena, ¿está planificando o imitando la prosa de un plan?