2001 Fiscal Year Annual Research Report

先行投機的処理機能を持つマルチエージェントシステムの構築

Research Project

Project/Area Number	13358004
Research Institution	National Institute of Informatics
Principal Investigator	佐藤健国立情報学研究所, 情報学基礎研究系, 教授 (00271635)
Co-Investigator(Kenkyū-buntansha)	北村泰彦大阪市立大学, 大学院・工学研究所, 助教授 (00204917) 岩沼宏治山梨大学, 工学部, 助教授 (30176557) 井上克巳神戸大学, 工学部, 助教授 (10252321) 尾崎暢富士通研究所, 主管研究員坂間千秋和歌山大学, システム工学部, 助教授 (20273873)
Keywords	マルチエージェント / 不完全通信 / 先行投機的処理 / 分散強調問題解決 / アブダクション
Research Abstract	インターネットの普及にともない,ネットワークを用いた新規・既存ソフトウェアの統合や異種データベースの同時使用などによる新しい分散協調問題解決手法が多く研究されているが,そのような手法の研究において,通信遅延や計算機故障などによる情報の不完全性に関する処理は,ほとんど考慮されていない.また,たとえ通信が完全に保証されていたとしても,現在では,計算機処理速度に比べて通信速度が格段に遅いため,他エージェントからの情報を受信してから次の処理を行うのでは,計算機の処理能力を十分に引き出せない. 本研究の目的は,以下の3点である. ・平成11年度および12年度に研究を行った不完全通信に対処するエージェントモデルの機能を拡張し,すべてのエージェントが,効果VS費用のトレードオフを見積もりつつ先行投機的処理を行うようにできる手法を開発する. ・企業で実際に使われているエージェントシステムを参考にして,上記の拡張エージェントモデルを実装し,高度で大規模な分散協調問題解決が可能なシステムを構築する. ・企業側の研究者から供給される実在する大規模問題を解くことにより,本システムの有効性を検証する. 今年度は,上記のうち,すべてのエージェントが先行投機的処理を行いつつ分散協調問題解決ができる手法の検討を行った.具体的には,各エージェントは,あらかじめ他エージェントへの質問に対するデフォルトの信念を蓄えておき,現在の信念に矛盾しない仮定を使うプロセスに関してのみ処理を行い,信念に矛盾する仮定を使おうとしたときには,そのプロセスを中断させる.そして,他エージェントからの回答が来た場合には,信念を更新し,新しい信念に矛盾しない仮定を使っているプロセスに関して新たに処理を行うという繰り返しで実行を行う.このような実行方式に対して,論理プログラミングの完全モデルを用いた意味論を与え,提案手法の健全性を証明した.

Research Products

(6 results)

All Other

All Publications (6 results)

[Publications] Satoh, K., Yamamoto, K.: "Speculative computation with multi-agent belief revision"Proc. of AAMAS2002. (to appear). (2002)
[Publications] Satoh, K.: "Speculative Computation and Abduction for an Autonomous Agent"Proc. of NMR2002. (to appear). (2002)
[Publications] Inoue, K., Kawaguchi, S., Haneda, H.: "Controlling Speculative Computation in Multi-Agent Environments"Proc. of ICLP2001 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01). 9-18 (2001)
[Publications] 北村泰彦, 野田知哉, 辰巳昭治: "動的情報メディエータのための知的情報収集手法"電子情報通信学会論文誌D-I. J84-D-I・8. 1256-1265 (2001)
[Publications] 鍋島英知, 井上克巳: "プラニンググラフとSATプラニング"人工知能学会誌. 16・5. 605-610 (2001)
[Publications] 岩沼宏治: "近年の定理自動証明技術"人工知能学会誌. 16・5. 675-682 (2001)

2001 Fiscal Year Annual Research Report

先行投機的処理機能を持つマルチエージェントシステムの構築

Principal Investigator

佐藤 健 国立情報学研究所, 情報学基礎研究系, 教授 (00271635)

Research Products

[Publications] Satoh, K., Yamamoto, K.: "Speculative computation with multi-agent belief revision"Proc. of AAMAS2002. (to appear). (2002)

[Publications] Satoh, K.: "Speculative Computation and Abduction for an Autonomous Agent"Proc. of NMR2002. (to appear). (2002)

[Publications] Inoue, K., Kawaguchi, S., Haneda, H.: "Controlling Speculative Computation in Multi-Agent Environments"Proc. of ICLP2001 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01). 9-18 (2001)

[Publications] 北村泰彦, 野田知哉, 辰巳昭治: "動的情報メディエータのための知的情報収集手法"電子情報通信学会論文誌D-I. J84-D-I・8. 1256-1265 (2001)

[Publications] 鍋島 英知, 井上 克巳: "プラニンググラフとSATプラニング"人工知能学会誌. 16・5. 605-610 (2001)

[Publications] 岩沼 宏治: "近年の定理自動証明技術"人工知能学会誌. 16・5. 675-682 (2001)

佐藤健国立情報学研究所, 情報学基礎研究系, 教授 (00271635)

[Publications] 鍋島英知, 井上克巳: "プラニンググラフとSATプラニング"人工知能学会誌. 16・5. 605-610 (2001)

[Publications] 岩沼宏治: "近年の定理自動証明技術"人工知能学会誌. 16・5. 675-682 (2001)