区間時制論理に基づいた実行可能かつ公理的体系を持つ論理型言語AYA
スポンサーリンク
概要
- 論文の詳細を見る
- 日本ソフトウェア科学会の論文
- 1991-09-17
著者
関連論文
- 自律エージェントの論理モデル(論理に基づく推論研究の動向)
- 構造化文書の3次元可視化と効果的なナビゲーションによる癒し系RSSリーダーの開発
- 自律エージェントの論理モデル
- 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による演繹体系(マルチエージェント)
- 意図の概念を持つ自律エージェントモデルを用いた実世界ロボットの知的制御
- 実世界の多様性に適応したBDIロボットについて
- BDI logic の sequent calculus による演繹体系とマルチエージェント環境への拡張
- パソコンによるX端末の構築とセンターUNIXシステムの利用
- 実世界の多様性に適応したBDIロボットについて (数理モデル化と応用 Vol.5 No.1)
- アトラクター状態を用いた実世界における基本行為の学習について
- 不確実性に対処可能なTeleo-reactive Programの意味論とその応用
- 連続した状態空間での合理的エージェントの行為を扱う論理モデルの試み(理論,ソフトウェアエージェントとその応用論文)
- 拡張BDI論理TOMATOを用いた確率的状態遷移のモデル化とその応用 (数理モデル化と応用 Vol.4 No.3)