Search papers, labs, and topics across Lattice.
This paper introduces a hybrid assistance system that combines capability-based SMT planning with an LLM-based layer to improve the accessibility and adaptability of automated planning in dynamic industrial environments. The system uses a routed agentic workflow with specialized agents for capability grounding, symbolic planning, result interpretation, and planning adaptation, enabling natural language interaction and flexible knowledge model adaptation with human-in-the-loop approval. Evaluation on a modular production system showed improved handling of knowledge queries, planning cases, and adaptive planning scenarios compared to traditional SMT planning.
LLMs can make formal planning tools actually usable in messy real-world industrial settings by translating solver outputs into actionable insights and adapting knowledge models on the fly.
In modern industry, dynamic environments and the complexity of modular and reconfigurable resources require automated planning of process sequences. Capability-based planning approaches address this by automatically generating plans from semantic knowledge models that describe resource functions in a machine-interpretable form. Their practical use, however, remains limited: solver feedback, especially in the case of unsatisfiability, is difficult to interpret, and the knowledge models require adaptation as operational conditions change or requests become infeasible. This paper presents a hybrid assistance system that augments an existing capability-based Satisfiability Modulo Theories (SMT) planning approach with an Large Language Model (LLM)-based layer for natural-language interaction, explanation, and adaptation. Formal planning correctness remains with the symbolic planner, while the LLM layer handles natural-language access and flexible knowledge model adaptation under explicit Human-in-the-Loop (HitL) approval. The system decomposes into four components: Capability Grounding, Symbolic Planning, Result Interpretation, and Planning Adaptation, realized as a routed agentic workflow in which a central router delegates to five specialized agents. The system is evaluated on a modular production system across four scenario types. Of 23 test cases, 9 of 10 knowledge queries and all 4 satisfiable planning cases were handled correctly, 3 of 4 unsatisfiable cases produced concrete repair proposals, and all 5 adaptive planning scenarios resolved into satisfiable plans through iterative, user-approved knowledge model modifications. The findings confirm that combining formal planning with LLM-based assistance substantially improves accessibility and adaptability in industrial automation.
