An LLM-Based Assistance System for Intuitive and Flexible Capability-Based Planning
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 14 of its 25 references that are in the map. First posted on arXiv 27 May 2026.
Builds on
14 of 25 references.
References · 14
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
- 2022ReAct: Synergizing Reasoning and Acting in Language Modelscited by 8,695
- 2023Reasoning with Language Model is Planning with World Modelcited by 861
- 2023Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Modelscited by 574
- 2023LLM+P: Empowering Large Language Models with Optimal Planning Proficiencycited by 501
- 2023Describe, Explain, Plan and Select: Interactive Planning with Large Language Models Enables Open-World Multi-Task Agentscited by 398
- 2023Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoningcited by 391
- 2023Generalized Planning in PDDL Domains with Pretrained Large Language Modelscited by 139
- 2023SatLM: Satisfiability-Aided Language Models Using Declarative Promptingcited by 102
- 2025PlanGenLLMs: A Modern Survey of LLM Planning Capabilitiescited by 83
- 2024On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS)cited by 40
- 2022A Reference Model for Common Understanding of Capabilities and Skills in Manufacturingcited by 9
Built on by
Not cited yet.
Similar, not cited
Close in wording, no citation either way
- 2026Towards Reliable and Robust LLM Planning: Symbolic Feedback-Driven Iterative Self-Refinement Framework
- 2025Large Language Models for Planning: A Comprehensive and Systematic Survey
- 2024LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks
- 2022PlanBench: An Extensible Benchmark for Evaluating Large Language Models on Planning and Reasoning about Change
- 2025Language Model as Planner and Formalizer under Constraints
- 2023On the Planning Abilities of Large Language Models : A Critical Investigation
- 2024Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
- 2023On the Planning Abilities of Large Language Models (A Critical Investigation with a Proposed Benchmark)