高田 司郎


信念と状態遷移を確率的に扱う合理的エージェント向け論理
新出 尚之 高田 司郎 
誌名:   電子情報通信学会論文誌 D
発行日: 2015/06/01
Vol. J98-D  No. 6  pp. 936-947
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: 理論
キーワード: 
合理的エージェントBDI確率論理
 あらまし | 本文:PDF(694.1KB)

連続した状態空間での合理的エージェントの行為を扱う論理モデルの試み
新出 尚之 高田 司郎 藤田 恵 
誌名:   電子情報通信学会論文誌 D
発行日: 2013/12/01
Vol. J96-D  No. 12  pp. 2939-2950
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: 理論
キーワード: 
エージェントフレームワーク合理的エージェントBDI logic実世界
 あらまし | 本文:PDF(924KB)

BDIアーキテクチャにおけるコミットメント戦略を実現するための形式的検証手続き
櫟 粛之 高田 司郎 新出 尚之 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/06/01
Vol. J89-D  No. 6  pp. 1213-1224
論文種別:  論文
専門分野: ソフトウェア基礎,プログラム理論
キーワード: 
BDIアーキテクチャコミットメント戦略形式的検証時相論理
 あらまし | 本文:PDF(404.5KB)

合理的エージェントの心的状態に関する整合性の実現と応用について
新出 尚之 高田 司郎 櫟 粛之 
誌名:   電子情報通信学会論文誌 D
発行日: 2003/08/01
Vol. J86-D1  No. 8  pp. 514-523
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: モデル/理論
キーワード: 
合理的エージェントBDI logicsequent calculus
 あらまし | 本文:PDF(285.9KB)

マルチエージェント環境において意図的に言語行為を遂行する合理的エージェントの基本設計
高田 司郎 五十嵐 新女 新出 尚之 榎本 美香 間瀬 健二 中津 良平 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/08/01
Vol. J84-D1  No. 8  pp. 1191-1201
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: プラットホーム/ツール
キーワード: 
合理的エージェントBDI論理/アーキテクチャFIPA言語行為個人化エージェント
 あらまし | 本文:PDF(569.8KB)