When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications

Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Marco Roveri +1 more
9/26/2023
cs.ROcs.AI

No confident code implementation found for this paper. 3 possible matches can be shown below.

Abstract

In this paper, we propose a robot oriented knowledge management system based on the use of the Prolog language. Our framework hinges on a special organisation of knowledge base that enables: 1. its efficient population from natural language texts using semi-automated procedures based on Large Language Models, 2. the bumpless generation of temporal parallel plans for multi-robot systems through a sequence of transformations, 3. the automated translation of the plan into an executable formalism (the behaviour trees). The framework is supported by a set of open source tools and is shown on a realistic application.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 3 weaker matches are hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Adaptive Code Generation for Controlling Robots

86% match2026

Domain-Specific Fine-Tuning of Large Language Models for Interactive Robot Programming

85% match2023

L3M+P: Lifelong Planning with Large Language Models

85% match2025

Leveraging LLMs for Mission Planning in Precision Agriculture

85% match2025

Can LLM-Reasoning Models Replace Classical Planning? A Benchmark Study

84% match2025

One to rule them all: natural language to bind communication, perception and action

84% match2024

Cite this paper

@article{saccon2023when,
  title  = {When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications},
  author = {Enrico Saccon and Ahmet Tikna and Davide De Martini and Edoardo Lamon and Marco Roveri and Luigi Palopoli},
  year   = {2023},
  eprint = {2309.15049},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2309.15049v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2309.15049.svg)](https://codeofpaper.com/paper/2309.15049)

Discussion