Anomalía de Sussman

La Anomalía de Sussman es un problema en Inteligencia Artificial, descrito por primera vez por Gerald Sussman, que ilustra una debilidad de de los algoritmos de planificación de orden parcial, que eran prominentes en la Años 1970. En este problema, tres bloques (etiquetados A, B y C) descansan sobre una mesa. El agente debe apilar los bloques de tal manera que A esté encima de B, y B encima de C. Se cuenta además con la restricción de que solamente es posible mover un bloque a la vez. El problema comienza con B sobre la mesa, C encima de A, y A sobre la mesa:Los planificadores de orden parcial comúnmente separan el objetivo (A encima de B y B encima de C) en subobjetivos, tal como: Colocar A encima de B Colocar B encima de CSupongamos que el planificador comienza por cumplir el primer objetivo. La solución mas sencilla es sacar C fuera del camino (colocarlo sobre la mesa), y luego colocar A encima de B. Pero mientras que esta secuencia cumple el primer objetivo, el agente no puede ahora cumplir con el segundo objetivo sin deshacer esta última acción, dado que ambos, A y B, deben ser movidos encima de C:Si en cambio, el planificador comenzara por el segundo objetivo, la solución más eficiente es mover B. Pero nuevamente, no podemos cumplir ahora el objetivo 1 sin deshacer este último paso:Este problema fue descubierto por Sussman como parte de su trabajo de doctorado. Sussman (y su director, Marvin Minsky) creen que la inteligencia requiere una lista de excepciones o trucos, y desarrollar un sistema planificador modular para ""debuggiar"" planes. Los sistemas planificadores más modernos pueden lidiar con esta anomalía, pero sigue siendo útil para explicar porqué la planificación no es un problema trivial.