動的信念変更の定式化とウェブサービスの実時間プランニングへの応用

• 研究課題/領域番号: 19300053
• 研究種目: 基盤研究(B)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 知能情報学
• 研究機関: 国立情報学研究所
• 研究代表者: 佐藤 健 国立情報学研究所, 情報学プリンシプル研究系, 教授 (00271635)
• 研究分担者: 福田 直樹 静岡大学, 情報学部, 助教 (30345805)
• 研究期間 (年度): 2007 – 2009
• 研究課題ステータス: 完了 (2009年度)
• 配分額: 14,690千円 (直接経費: 11,300千円、間接経費: 3,390千円); 2009年度: 4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円); 2008年度: 4,940千円 (直接経費: 3,800千円、間接経費: 1,140千円); 2007年度: 5,200千円 (直接経費: 4,000千円、間接経費: 1,200千円)
• キーワード: 動的信念変更 / 投機的計算 / エージェント / プラニング / ウェブサービス / 全域アブダクション / IFF手法

研究概要

動的信念変更および投機的計算が可能なウェブサービス連携機構およびその実行過程可視化ツールを開発した。さらに、動的信念変更を持つ投機的なウェブサービスを実現可能とするために、簡易な連携機構を開発した。

研究成果

• [雑誌論文] An Efficient Winner Approximation for a Series of Combinatorial Auctions (2010)
  • 著者名/発表者名: N.Fukuta
  • 雑誌名: Communications in Computer and Information Science Vol.67 ページ: 233-246
  • 査読あり
• [雑誌論文] On the Implementation of Speculative Constraint Processing (2009)
  • 著者名/発表者名: Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh
  • 雑誌名: Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems ページ: 105-120
  • 査読あり
• [雑誌論文] “Kiga-kiku"Services on Speculative Computation (2008)
  • 著者名/発表者名: Naoki Fukuta, Ken Satoh, Takahira Yamaguchi, Towards
  • 雑誌名: Lecture Notes on Artificial Intelligence (Springer) 5345 ページ: 256-267
• [雑誌論文] Towards "Kiga-kiku" Services on Speculative Computation (2008)
  • 著者名/発表者名: Naoki Fukuta
  • 雑誌名: Lecture Notes on Artificial Intelligence (Springer) 5345 ページ: 256-67
  • 査読あり
• [雑誌論文] Philippe Codognet, Agent-Based Speculative Constraint Processing (2007)
  • 著者名/発表者名: Hiroshi Hosobe, Ken Satoh
  • 雑誌名: IEICE Transactions on Information and Systems E90-D(9) ページ: 1354-1362
• [雑誌論文] Agent-Based Speculative-Constraint Processing (2007)
  • 著者名/発表者名: Hosobe, Hiroshi
  • 雑誌名: IEICE Transactions on Information and Systems E90-D(9) ページ: 1354-1362
  • 査読あり
• [雑誌論文] 短時間近似が可能な組み合わせオークション勝者決定アルゴリズムの評価 (2007)
  • 著者名/発表者名: 福田, 直樹
  • 雑誌名: 情報科学技術レターズ 6 ページ: 169-172
  • 査読あり
• [学会発表] Speculative Constraint Processing for Hierarchical Agents (2009)
  • 著者名/発表者名: Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda
  • 学会等名: European Workshop on Multi-Agent Systems
  • 発表場所: Ayia Napa, Cyprus
  • 年月日: 2009-12-18
• [学会発表] Approximated Winner Determination for a Series of Combinatorial Auctions (2009)
  • 著者名/発表者名: Naoki Fukuta
  • 学会等名: 1st International Conference on Agents and Artificial Intelligence (ICAART2009)
  • 発表場所: ポルト(ポルトガル)
  • 年月日: 2009-01-20
• [学会発表] Speculative Constraint Processing for Hierarchical Agents (2009)
  • 著者名/発表者名: Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda
  • 学会等名: Proc. of European Workshop on Multi-Agent Systems
• [学会発表] On the Implementation of Speculative Constraint Processing (2009)
  • 著者名/発表者名: Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh
  • 学会等名: Proc. of 10th International Workshop on Computational Logic in Multi-Agent Systems
• [学会発表] Winner Price Monotonocity for Approximated Combinatorial Auctions (2008)
  • 著者名/発表者名: Naoki Fukuta
  • 学会等名: IEEE/WIC/ACM IAT International Workshop on Electronic Commerce, Business, and Services (ECBS2008)
  • 発表場所: シドニー(オーストラリア)
  • 年月日: 2008-12-09
• [学会発表] Abductive Reasoning for Burden of Proof (2008)
  • 著者名/発表者名: Ken Satoh
  • 学会等名: 2^<nd> International Workshop on Juris-informatics (JURISIN 2008)
  • 発表場所: 旭川(日本)
  • 年月日: 2008-06-10
• [学会発表] Fast Partial Reallocation in Combinatorial Auctions for Iterative Resource Allocation (2007)
  • 著者名/発表者名: Naoki, Fukuta
  • 学会等名: 10th Pacific Rim International Workshop on Multi-Agents (PRIMA2007)
  • 発表場所: バンコク(タイ)
  • 年月日: 2007-11-23
• [学会発表] Periodical Resource Allocation Using Approximated Combinatorial Auctions (2007)
  • 著者名/発表者名: Naoki, Fukuta
  • 学会等名: 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT2007)
  • 発表場所: シリコンバレー(米国)
  • 年月日: 2007-11-04