Enrico Saccon

LLMs and symbolic reasoning combine for multi-robot planning

Researchers have developed PLANTOR, a framework that combines large language models (LLMs) with symbolic reasoning for multi-robot temporal planning. The system uses LLMs to create structured Prolog knowledge bases from…