不確実性に対処可能なTeleo-reactive Programの意味論とその応用
スポンサーリンク
概要
- 論文の詳細を見る
我々はこれまでの研究で、現実世界の動的環境に対応可能なロボットの自律的制御方法を、Teleo-Reactive Program を基盤として確立してきた。実験結果から、ロボットが時に予想外の行動を選択する場合でも、最終的に目標を達成する事が確認できたが、この事実を反映する有効な意味論は得られていなかった。本論文では先ず、我々の方法に対する意味論を構成する事により、目標の達成可能性を示す Modelcheck の方法を示す。また、その際に予想外の行動を行う不確実性に対し、我々の方法でどの様に対処しているかを解説する。次に、今回の意味論の応用について述べる。具体的には、過去の出来事に対して合理的な解釈を行う事で、次の行動方針を決定するエージェントの構想を述べる。
- 2014-01-16
著者
関連論文
- 自律エージェントの論理モデル(論理に基づく推論研究の動向)
- 構造化文書の3次元可視化と効果的なナビゲーションによる癒し系RSSリーダーの開発
- P-344 LC/ESI-MSを利用した血清中のミルナシプランの測定(23.その他,"薬剤師がつくる薬物治療"-薬・薬・学の連携-)
- 自律エージェントの論理モデル
- FIPA+BDIアーキテクチャ=合理的エージェントの実現方法
- 大気科学のための3次元可視化システムGateau : デザインコンセプトと実用評価
- HDF-EOSのためのGateau APIの設計と実装
- Gateau:大気科学研究のための直感的な分析を実現する3次元可視化システム
- 拡張BDI論理TOMATOを用いた確率的状態遷移のモデル化とその応用
- 拡張BDI論理TOMATOを用いた確率的状態遷移のモデル化とその応用
- マルチエージェント環境において意図的に言語行為を遂行する合理的エージェントの基本設計
- RACCO:実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語
- 地震短期予測のための統合的データベースシステムの設計
- 拡張BDI論理TOMATOesを用いた強化学習のモデル化について
- 拡張BDI論理TOMATOes による協調行為のモデル化と応用
- 動的なコミットメント戦略を考慮したBDIアーキテクチャ
- 拡張BDI論理TOMATOを用いた確率的状態遷移のモデル化について (特集 「機械学習の諸科学への応用」および一般)
- 健康状態の推定を目的とした排便物識別のための一手法
- SVMを用いた論文分類システムの構築
- 区間時制論理に基づいた実行可能かつ公理的体系を持つ論理型言語AYA
- 拡張BDI logicを用いたBDIと強化学習の統合について
- BDIアーキテクチャにおけるコミットメント戦略を実現するための形式的検証手続き(ソフトウェア基礎,プログラム理論)
- 意図に基づくエージェントアーキテクチャ(意図研究のスペクトル)
- 意図に関する論理体系(意図研究のスペクトル)
- エージェントの相互信念を扱う拡張BDI logicの演繹体系
- 合理的エージェントの心的状態に関する整合性の実現と応用について(ソフトウェアエージェントとその応用論文)
- エージェントの相互信念を扱う拡張BDI logicの演繹体系
- BDI Logicのsequent calculusによる演繹体系(マルチエージェント)
- LC/MSによる血清中ミルナシプランの分析
- 意図の概念を持つ自律エージェントモデルを用いた実世界ロボットの知的制御
- 実世界の多様性に適応したBDIロボットについて
- BDI logic の sequent calculus による演繹体系とマルチエージェント環境への拡張
- パソコンによるX端末の構築とセンターUNIXシステムの利用
- 実世界の多様性に適応したBDIロボットについて (数理モデル化と応用 Vol.5 No.1)
- アトラクター状態を用いた実世界における基本行為の学習について
- 連続した状態空間での合理的エージェントの行為を扱う論理モデルの試み (ソフトウェアエージェントとその応用論文特集)
- 不確実性に対処可能なTeleo-reactive Programの意味論とその応用
- 連続した状態空間での合理的エージェントの行為を扱う論理モデルの試み(理論,ソフトウェアエージェントとその応用論文)
- 拡張BDI論理TOMATOを用いた確率的状態遷移のモデル化とその応用 (数理モデル化と応用 Vol.4 No.3)
- 拡張BDI論理TOMATOを用いた確率的状態遷移のモデル化とその応用 (数理モデル化と問題解決(MPS) Vol.2010-MPS-81)