Resumen: La planificación del lenguaje natural a menudo implica predicados vagos (p. ej., sustituto adecuado, suficientemente estable) cuya satisfacción está inherentemente graduada. Los planificadores de teoría de categorías existentes proporcionan una estructura de composición y una verificación de restricciones estrictas basada en retrocesos, pero tratan la aplicabilidad como un umbral nítido y forzado que colapsa las distinciones significativas y no puede rastrear la degradación de la calidad en planes de múltiples pasos. Proponemos una planificación teórica de categorías difusas (FCP), que anota cada acción (morfismo) con un grado en [0,1], compone la calidad del plan a través de una norma t Lukasiewicz y mantiene controles nítidos de ejecutabilidad mediante verificación de retroceso. FCP fundamenta la aplicabilidad graduada del lenguaje utilizando un LLM con agregación de mediana de muestras k y admite la búsqueda intermedia utilizando requisitos hacia atrás basados en residuos. Evaluamos (i) puntos de referencia públicos de preferencia/sobresuscripción de PDDL3 y (ii) RecipeNLG-Subs, un punto de referencia de planificación de recetas de sustitutos faltantes creado a partir de RecipeNLG con candidatos de sustitución de Recipe1MSubs y FoodKG. FCP mejora el éxito y reduce las infracciones de restricciones estrictas en RecipeNLG-Subs en comparación con las líneas base de estilo LLM y ReAct, sin dejar de ser competitivo con los planificadores PDDL3 clásicos.
Publicado originalmente en export.arxiv.org el 28 de enero de 2026.
Ver fuente original
