Title:
INFORMATION PROCESSING DEVICE, CONTROL METHOD, AND STORAGE MEDIUM
Document Type and Number:
WIPO Patent Application WO/2021/038842
Kind Code:
A1
Abstract:
This information processing device 1A has a logical expression conversion unit 322A, a constraint information acquisition unit 323A, and a constraint addition unit 324A. The logical expression conversion unit 322A converts a goal task, which is a task for causing a robot to operate, to a logical expression based on temporal logic. The constraint information acquisition unit 323A acquires constraint information I2 indicating a constraint that is to be satisfied in execution of the target task. The constraint addition unit 324A generates a target logical expression Ltag, which is a logical expression in which a proposition representing the constraint has been added to the logical expression generated by the logical expression conversion unit 322A.
Inventors:
OYAMA HIROYUKI (JP)
Application Number:
PCT/JP2019/034182
Publication Date:
March 04, 2021
Filing Date:
August 30, 2019
Export Citation:
Assignee:
NEC CORP (JP)
International Classes:
B25J13/08
Domestic Patent References:
| WO2018194094A1 | 2018-10-25 |
Foreign References:
| JP2018167361A | 2018-11-01 | |||
| JP2014240110A | 2014-12-25 | |||
| JP2012125871A | 2012-07-05 | |||
| JP2018051684A | 2018-04-05 |
Other References:
KUMAZAWA, TSUTOMU ET AL.: "A Study on How to Elicit Anticipated Scenarios from Use Cases for Safety Requirements Analysis", IPSJ SIG TECHNICAL REPORT, vol. 2007, no. 33, pages 191 - 198
See also references of EP 4023396A4
See also references of EP 4023396A4
Attorney, Agent or Firm:
NAKAMURA, Toshinobu et al. (JP)
Download PDF:
Previous Patent: DRILL
Next Patent: HOOK-AND-LOOP FASTENER AND METHOD FOR MANUFACTURING HOOK-AND-LOOP FASTENER
Next Patent: HOOK-AND-LOOP FASTENER AND METHOD FOR MANUFACTURING HOOK-AND-LOOP FASTENER