Formalization of Dynamic Belief Revision and its Application to Real-time Planning for Web Servises

• Project/Area Number: 19300053
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Intelligent informatics
• Research Institution: National Institute of Informatics
• Principal Investigator: SATOH Ken National Institute of Informatics, 情報学プリンシプル研究系, 教授 (00271635)
• Co-Investigator(Kenkyū-buntansha): FUKUTA Naoki 静岡大学, 情報学部, 助教 (30345805)
• Project Period (FY): 2007 – 2009
• Project Status: Completed (Fiscal Year 2009)
• Budget Amount: ¥14,690,000 (Direct Cost: ¥11,300,000、Indirect Cost: ¥3,390,000); Fiscal Year 2009: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2008: ¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000); Fiscal Year 2007: ¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000)
• Keywords: 動的信念変更 / 投機的計算 / エージェント / プラニング / ウェブサービス / 全域アブダクション / IFF手法

Research Abstract

We applied our previous model of speculative computation with dynamic belief revision into web-services and developed a visualization tool for execution of speculative web-services. We also developed lightweight web-service synthesis in order to enable speculative synthesized web-services easily.

Research Products

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