Title:
情報処理装置、制御方法及びプログラム
Document Type and Number:
Japanese Patent JP7264253
Kind Code:
B2
Abstract:
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 is configured to acquire constraint condition information 12 indicative of a constraint condition to be satisfied in performing the objective task. The constraint condition addition unit 324A is configured to generate a target logical formula Ltag that is a logical formula obtained by adding a proposition indicative of the constraint condition to the logical formula generated by the logical formula conversion unit 322A.
Inventors:
Hiroyuki Oyama
Application Number:
JP2021541931A
Publication Date:
April 25, 2023
Filing Date:
August 30, 2019
Export Citation:
Assignee:
NEC
International Classes:
B25J13/08
Domestic Patent References:
| JP2018167361A | ||||
| JP2014240110A | ||||
| JP2012125871A |
Foreign References:
| WO2018194094A1 | ||||
| WO2009144826A1 |
Other References:
熊澤 努 TSUTOMU KUMAZAWA,ユースケースによる安全性要求分析のための想定外シナリオ抽出法の提案 A Study on How to Elicit Anticipated Scenarios from Use Cases for Safety Requirements Analysis,情報処理学会研究報告 Vol.2007 No.33 IPSJ SIG Technical Reports,日本,社団法人情報処理学会 Information Processing Society of Japan,第2007巻
Attorney, Agent or Firm:
Nakamura Satoshi
Tatsuo Egami
Hiroshi Miwa
Tatsuo Egami
Hiroshi Miwa
Previous Patent: Optical fiber sensing system and optical fiber sensing method
Next Patent: DIGITAL DEMODULATOR
Next Patent: DIGITAL DEMODULATOR