---
publication_id: "OT-2026-000001582"
title: "Temporal logic formula generation device, temporal logic formula generation method, and storage medium"
published_at: "2026-09-15T19:06:49.121712Z"
canonical_url: "https://opentechnical.org/p/OT-2026-000001582"
categories:
  - "robotics-automation/robot-architectures"
keywords:
  - "b25j9/1664"
  - "b25j9/1664"
  - "b25j9/1664"
  - "b25j13/08"
  - "b25j13/089"
  - "b25j13/089"
---

# Temporal logic formula generation device, temporal logic formula generation method, and storage medium

## Abstract

The temporal logic formula generation device 1 X mainly includes a target relation logical formula generation means 331 X and a target relation logical formula integration means 332 X. The target relation logical formula generation means 331 X is configured to generate, based on object-to-object relation information representing a relation between objects in a target state relating to a task of the robot, one or more target relation logical formulas that are temporal logic formulas representing relations, in the target state, between respective pair(s) of objects between which the relation is defined. The target relation logical formula integration means 332 X is configured to generate a temporal logic formula into which the target relation logical formulas are integrated.