ALEXANDRIA, Va., Jan. 13 -- United States Patent no. 12,521,881, issued on Jan. 13, was assigned to NEC Corp. (Tokyo).
"Information processing device, control method, and storage medium" was invented by Hiroyuki Oyama (Tokyo).
According to the abstract* released by the U.S. Patent & Trademark Office: "The information processing device 1A mainly includes a logical formula conversion unit 322A, a constraint condition information acquisition unit 323A, and a constraint condition addition unit 324A. The logical formula conversion unit 322A is configured to convert an objective task, which is a task to be performed by a robot, into a logical formula that is based on a temporal logic. The constraint condition information acquisition unit 323A i...