OpenTechnical
This is a record of a document published elsewhere, first published by the United States Patent and Trademark Office, as US-12583107-B2, on 24 March 2026. OpenTechnical did not first disclose it. The identifier, hashes and timestamps below record what this library served and when, not when the material became public. View the original.

OT-2026-000001582

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

Published
Permanent URL
Classification
Robotics & Automation › Robot Architectures
Inventors
OYAMA HIROYUKI, TAKANO RIN
Assignee
NEC CORP
Original source
US-12583107-B2, the United States Patent and Trademark Office, 24 March 2026
Document SHA-256
3d78ccd18c8b9fb3ad911b09d057edef3179c0f28e621a7ddfe8f9f73bf2f915

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.

Publication information

Plain textMarkdownManifestIntegrity record

Citation

OpenTechnical Publication OT-2026-000001582, “Temporal logic formula generation device, temporal logic formula generation method, and storage medium,” published September 15, 2026 at 19:06:49 UTC, https://opentechnical.org/p/OT-2026-000001582.

To cite specific content, add the paragraph or figure numbers.

Terms

This record reproduces a document published elsewhere and is provided for reference and study. Rights in the original remain with its owner. See the publication policy.