不確実性に対処可能なTeleo-reactive Programの意味論とその応用

• Item type: SIG Technical Reports(1)
• 公開日: 2014-01-16
• タイトル: 不確実性に対処可能なTeleo-reactive Programの意味論とその応用
• タイトル / 言語: en
• タイトル: A semantics of Teleo-reactive Program that can handle uncertainty and its application
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 京都大学数理解析研究所
• 著者所属: 奈良女子大学大学院人間文化研究科
• 著者所属: 奈良女子大学研究院自然科学系情報科学領域
• 著者名: 後藤, 勇樹; 藤田, 恵; 新出, 尚之
• 著者名(英): Yuki, Goto; Megumi, Fujita; Naoyuki, Nide
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 我々はこれまでの研究で、現実世界の動的環境に対応可能なロボットの自律的制御方法を、Teleo-Reactive Program を基盤として確立してきた。実験結果から、ロボットが時に予想外の行動を選択する場合でも、最終的に目標を達成する事が確認できたが、この事実を反映する有効な意味論は得られていなかった。本論文では先ず、我々の方法に対する意味論を構成する事により、目標の達成可能性を示す Modelcheck の方法を示す。また、その際に予想外の行動を行う不確実性に対し、我々の方法でどの様に対処しているかを解説する。次に、今回の意味論の応用について述べる。具体的には、過去の出来事に対して合理的な解釈を行う事で、次の行動方針を決定するエージェントの構想を述べる。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Our past research has been establishing a method of autonomous control of robots which can respond to dynamic changes of the real worlds. Though the robots can eventually achieve their goals even if they occasionally select the unexpected behaviors, we did not have any effective semantics which reflects that fact yet. In this paper, we construct a semantics for the autonomous control method of real-world robots which is shown in our past research. Then, based on it, we present a model-checking method to show the possibility of achieving a goal. In addition, we describe our method to handle the uncertainty of the real world, Next, we show the application of our semantics. Especially, we propose an idea of agent system which, by giving rational interpretations to past events, determines a policy of selecting its actions.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11135936
• 書誌情報: 研究報告知能システム（ICS）; 巻 2014-ICS-173, 号 2, p. 1-6, 発行日 2014-01-16
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会