TEMPORAL LOGIC FORMULA GENERATION DEVICE, TEMPORAL LOGIC FORMULA GENERATION METHOD, AND STORAGE MEDIUM

摘要

A temporal logic formula generation device 1X comprises a target relational logic formula generation means 331X and a target relational logic formula integration means 332X. On the basis of object-to-object relation information indicating a relation between objects in the target state for robot operation, the target relational logic formula generation means 331X generates a target relational logic formula for each pair of the objects with a defined relation, the target relational logic formula being a temporal logic formula indicating a relation in the target state. The target relational logic formula integration means 332X generates a temporal logic formula in which the target relational logic formulas are integrated.