Assistenza basata su LLM per la pianificazione basata sulle capacità nell'industria
Un nuovo sistema di assistenza ibrido combina un livello LLM con la pianificazione basata sulle capacità tramite Satisfiability Modulo Theories (SMT) per migliorare l'interpretabilità e l'adattabilità nell'automazione industriale. Il pianificatore simbolico garantisce la correttezza formale, mentre il LLM gestisce l'interazione in linguaggio naturale, la spiegazione e l'adattamento. Questo affronta i limiti degli approcci esistenti basati sulle capacità, come il feedback del risolutore difficile da interpretare e la necessità di aggiornamenti manuali del modello di conoscenza. Il sistema è descritto in arXiv:2605.28666.
Fatti principali
- Sistema ibrido che integra la pianificazione SMT basata sulle capacità con un livello LLM.
- Il pianificatore simbolico mantiene la correttezza formale.
- Il livello LLM consente interazione e spiegazione in linguaggio naturale.
- Affronta i problemi di interpretabilità del feedback del risolutore e di adattamento del modello.
- Progettato per ambienti industriali dinamici con risorse modulari.
- Pubblicato su arXiv con ID 2605.28666.
- Si concentra sulla pianificazione automatica di sequenze di processo.
- Utilizza modelli di conoscenza semantica per le funzioni delle risorse.
Entità
Istituzioni
- arXiv