← heapsort-ai

AI Planning

4 items

RESEARCHarXiv CS.AI·13/4/2026

Model Space Reasoning as Search in Feedback Space for Planning Domain Generation

Esta investigación explora el uso de un marco de retroalimentación de modelo de lenguaje agéntico para generar dominios de planificación de alta calidad a partir de descripciones de lenguaje natural aumentadas. Evalúa el impacto de varios mecanismos de retroalimentación simbólica, como puntos de referencia y validación de planes, junto con búsqueda heurística para optimizar la calidad del dominio.

27
RESEARCHarXiv CS.AI·hace 8d

Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version)

Este trabajo investiga cómo codificar tareas factorizadas, una representación de planificación clásica, en SAT. Propone varias estrategias para traducir la relación de transición factorizada a lógica proposicional y analiza el impacto de las transformaciones de tareas en el rendimiento de los planificadores basados en SAT.

27