Linear Temporal Logic Translation via Human-Inspired Self-Constrained Reasoning for Robot Task Specification

Published August 31, 2026 · Category: Robotics

Overview

arXiv:2608.28435v1 Announce Type: new Abstract: Many robotic tasks are temporally extended and demand precise specifications of subgoals, constraints, and their temporal ordering. Yet human operators typically communicate such tasks in natural language, which is inherently ambiguous, underspecified, and context dependent. Translating human instructions into formal task specifications, such as Linear Temporal Logic (LTL), is therefore essential for verifiable and safe robotic execution. Existing LLM-based translators attempt to bridge this gap through open-ended reasoning or post-hoc constraint enforcement, but the former may violate domain constraints, whereas the latter can disrupt the reasoning needed for novel instructions. This paper proposes Self-Constrained Reasoning (SCR), a framework that mitigates this trade-off by internalizing structural knowledge into the model's decision-making process rather than imposing it as an external filter. By combining a structural constraint representation with a hierarchical decision-making formulation, SCR guides reasoning within a formally grounded space while preserving adaptability to unseen instructions. Experiments show that SCR improves both domain-constraint satisfaction and generalization, providing an effective and interpretable approach for translating human intent into verifiable specifications for robotic execution.

Source

Originally published at arxiv.org.

Related Articles

• PHR-VLA: Planning Horizon Reasoning for Vision-Language-Action Models
• From Small Talk to Rapport: Exploring Robot Self-Disclosure in Collaborative Tasks
• PAMoR: Parameterized Affective Motion Generation in Real Time for Humanoid Robots