• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Construction of multi-agent systems with speculative computation

Research Project

Project/Area Number 13358004
Research Category

Grant-in-Aid for Scientific Research (A)

Allocation TypeSingle-year Grants
Section展開研究
Research Field Intelligent informatics
Research InstitutionNational Institute of Informatics

Principal Investigator

SATOH Ken  National Institute of Informatics, Foundations of Informatics Research Division, Professor, 情報学基礎研究系, 教授 (00271635)

Co-Investigator(Kenkyū-buntansha) KITAMURA Yasuhiko  Kwansei Gakuin University, School of Science and Technology, Professor, 理工学部, 教授 (00204917)
IWANUMA Koji  Yamanashi University, Faculty of Engineering, Professor, 工学部, 教授 (30176557)
INOUE Katsumi  National Institute of Informatics, Foundations of Informatics Research Division, Professor, 情報学基礎研究系, 教授 (10252321)
鍋島 英知  山梨大学, 工学部, 助手 (10334848)
SAKAMA Chiaki  Wakayama University, Center for Informatics Science, Professor, 情報学センター, 教授 (20273873)
尾崎 暢  富士通研究所, 主管研究員
Project Period (FY) 2001 – 2003
Project Status Completed (Fiscal Year 2003)
Budget Amount *help
¥35,360,000 (Direct Cost: ¥27,200,000、Indirect Cost: ¥8,160,000)
Fiscal Year 2003: ¥9,100,000 (Direct Cost: ¥7,000,000、Indirect Cost: ¥2,100,000)
Fiscal Year 2002: ¥13,780,000 (Direct Cost: ¥10,600,000、Indirect Cost: ¥3,180,000)
Fiscal Year 2001: ¥12,480,000 (Direct Cost: ¥9,600,000、Indirect Cost: ¥2,880,000)
KeywordsMulti-agent systems / Incomplete communication / Speculative computation / Distributed problem solving / Abduction / マルチエージェント / 分散強調問題解決
Research Abstract

There are a lot of research on distributed problem solving, but there is very few research concering incomplete communication environment. In this research, we aim at providing a multi-agent system which solves the above problem. We provided a mechanism of speculative computation and made a prototype system. Specifically, we provide the following.
(1)We extend our previous master-slave type multi-agent systems with speculative computation mechanism into systems where each agent can perform speculative computation.
(2)We extend our previous speculative computation which can handle yes/no question into a mechanism which can handle constraints.
(3)We extend our previous speculative computation in logic programming into first-order logic and provide a computational method using consequence funding problem.
(4)We provide a computational analyses for consequence finding problem.
(5)We implement a theorem prover of consequence finding problem.
(6)We formalize related theory with speculative computation such as default problem solving, ordered default theory, abduction for knowledge base updates.
(7)We make an simulation experiment to analyze speculative computation with consideration of effectiveness.
(8)We consider an application of speculative computation in industry.

Report

(4 results)
  • 2003 Annual Research Report   Final Research Report Summary
  • 2002 Annual Research Report
  • 2001 Annual Research Report
  • Research Products

    (51 results)

All Other

All Publications (51 results)

  • [Publications] Satoh, K.: "Speculative Computation and Abduction for an Autonomous Agent"Proc.of NMR2002. 191-199 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Satoh, K., Yamamoto, K.: "Speculative Computation with Multi-Agent Belief Revision"Proc.of AAMAS2002. 897-904 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] 佐藤 健, 井上 克己, 岩沼 宏治, 坂間 千秋: "エージェント間通信におけるアブダクションによる投機的計算"コンピュータソフトウェア. 20. 27-35 (2003)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Satoh, K., Codognet, P., Hosobe, H.: "Speculative Constraint Processing in Multi-agent Systems"Proc.of Sixth Pacific Rim International Workshop on Multi-Agents(PRIMA2003), LNAI 2891. 133-144 (2003)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Inoue, K., Iwanuma, K.: "Speculative computation through consequence-finding in multi-agent Environments"Annals of Mathematics and Artificial Intelligence. 42(to appear). (2004)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Iwanuma, K., Inoue, K.: "Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments"Proceedings of CLIMA-02. 149-162 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] K.Iwanuma, K.inoue: "Minimal Answer Computation and SOL"Proc.of JELIA2002, LNAI. 2424. 245-258 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue: "SOLAR : A Consequence Finding System for Advanced Reasoning"Proc.of TABLEAUX 2003, Lecture Notes in Artificial Intelligence. 2796. 257-263 (2003)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] C.Sakama: "Ordering Default Theories"Proceedings of the 18th IJCAI. 839-844 (2003)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] C.Sakama, K.Inoue: "An Abductive Framework for Computing Knowledge Base Updates"Theory and Practice of Logic Programming. Vol.3 No.6. 671-713 (2003)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] 村尾拓哉, 北村泰彦, 東尾潔, 辰己昭治: "先行投機計算におけるリスク管理手法"情報科学技術フォーラム2003(FIT2003). G-045 (2003)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] 村尾拓哉, 北村泰彦, 東尾潔, 辰己昭治: "先行投機的行動におけるリスク管理手法:会議室予約問題における事例研究"合同エージェントワークショップ&シンポジウム2003(JAWS2003). 245-251 (2003)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Hayashi H., Cho K., Ohsuga A.: "Speculative Computation and Action Execution in Multi-Agent Systems"Third International Workshop on Computational Logic and Multi-Agent Systems, Electronic Notes in Theoretical Computer Science. 70(5). (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Hisashi Hayashi, Kenta Cho, Akihiko Ohsuga: "Mobile Agents and Logic Programming"IEEE International Conference on Mobile Agents, Lecture Notes in Computer Science. 2535. 32-46 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Hayashi H., Cho K., Ohsuga A.: "A New HTN Planning Framework for Agents in Dynamic Environments"Proceedings of the Fourth International Workshop on Computational Logic and Multi-Agent Systems. (To appear). (2004)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Satoh, K.: "Speculative Computation and Abduction for an Autonomous Agent"Proc.of NMR2002. 191-199 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Satoh, K., Yamamoto, K.: "Speculative Computation with Multi-Agent Belief Revision"Proc.of AAMAS2002. 897-904 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] 佐藤 健, 井上 克己, 岩沼 宏治, 坂間 千秋: "エージェント間通信におけるアブダクションによる投機的計算"コンピュータソフトウェア. Vol.20,No.1. 27-35 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Satoh, K., Codognet,, Hosobe, H.: "Speculative Constraint Processing in Multi-agent System"Proc.of Sixth Pacific Rim International Workshop on Multi-Agents (PRIMA2003). LNAI 2891. 133-144 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Inoue, K., Kawaguchi, S., Haneda, H.: "Controlling speculative computation in multi-agent environment"Proceedings of the Second International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01). 9-18 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Inoue, K., Iwanuma, K.: "Speculative computation through consequence-finding in multi-agent Environment"Annals of Mathematics and Artificial Intelligence. Vol.42, Nos.1-3 (to appear). (2004)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Iwanuma, K., Inoue, K.: "Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environment"Proceedings of CLIMA-02. 149-162 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Iwanum K., Inoue, K.: "Minimal Answer Computation SOL"Proceedings of 8th European Conference on Logics in Artificial Intelligence (JELIA 2002), Lecture Notes in Artificial Intelligence. Vol.2424. 245-258 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Nabeshima, H., Iwanuma, K., Inoue, Katsumi.: "SOLAR : Consequence Finding System for Advanced Reasoning"Proceedings of the 11th International Conference (TABLEAUX 2003), Lecture Notes in Artificial Intelligence. 2796. 257-263 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Sakama, C.: "Ordering Default Theories"Proceedings of the 18th International Joint Conference on Artificial Intelligence, Morgan Kaufmann. 839-844 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Sakama, C., Inoue, K.: "An Abductive Framework for Computing Knowledge Base Update"Theory and Practice of Logic Programming. Vol.3, No.6. 671-713 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] 村尾拓哉, 北村泰彦, 東尾潔, 辰己昭治: "先行投機計算におけるリスク管理手法"情報科学技術フォーラム2003(FIT2003). G-045. (2003)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] 村尾拓哉, 北村泰彦, 東尾潔, 辰己昭治: "先行投機的行動におけるリスク管理手法:会議室予約問題における事例研究"合同エージェントワークショップ&シンポジウム2003 (JAWS2003). 245-251 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Hayashi H., Cho K., Ohsuga A.: "Speculative Computation and Action Execution in Multi-Agent Systems"Third International Workshop on Computational: Logic and Multi-Agent Systems, Electronic Notes in Theoretical Computer Science. 70(5). (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Hayashi H., Cho K., Ohsuga A.: "Mobile Agents and Logic Programming"Proceedings of the Sixth International Conference on Mobile Agents, Lecture Notes in Computer Science 2535 (Springer-Verlag). 32-46 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Hayashi H., Cho K., Ohsuga A.: "A New HTN Planning Framework for Agents in Dynamic Environments"Proceedings of the Fourth International Workshop on Computational Logic and Multi-Agent Systems. (2004)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Ken Satoh, et al.: "Speculative Constraint Processing in Multi-agent Systems"Proc.of PRIMA 2003, Lecture Notes in Artificial Intelligence. 281. 133-134 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue: "SOLAR : A Consequence Finding System for Advanced Reasoning"Proc.of TABLEAUX2003, Lecture Notes in Artificial Intelligence. 2796. 257-263 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] Katsumi Inoue: "Induction as Consequence Finding"Machine Learning. Vol.55No.2(To appear). (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] Katsumi Inoue, et al.: "Speculative Computation through Consequence-finding in Multi-agent Environments"Annals of Mathematics and Artificial Intelligence. Vol.42,Nos.1-3(To appear). (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] C.Sakama: "Ordering Default Theories"Proceedings of the 18th IJCAI. 839-844 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] C.Sakama, K.Inoue: "An Abductive Framework for Computing Knowledge Base Updates"Theory and Practice of Logic Programming. Vol.3No6. 671-713 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 佐藤 健, 井上 克巳, 岩沼 宏治, 坂間 千秋: "エージェント間通信におけるアブダクションによる投機的計算"コンピュータソフトウェア. 20(1). 27-35 (2003)

    • Related Report
      2002 Annual Research Report
  • [Publications] Y.Kitamura, T.Noda, S.Tatsumi: "An Intelligent Information Gathering Method for Dynamic Information Mediators"Systems and Computers in Japan. Vol.33, N0.9. 11-20 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Satoh, K., Yamamoto, K.: "Speculative Computation with Multi-Agent Belief Revision"Proc. of AAMAS2002. 897-904 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Koji Iwanuma, Katsumi Inoue: "Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments"Electronic Notes on Theoretical Computer Science. 70(5). (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] K.Iwanuma, K.Inoue: "Minimal Answer Computation and SOL"Proc. of JELIA2002, LNAI. 2424. 245-248 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Hisashi Hayashi, Kenta Cho, Akihiko Ohsuga: "Mobile Agents and Logic Programming"IEEE International Conference on Mobile Agents, Lecture Notes in Computer Science. 2535. 32-46 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Katsumi Inoue(共同執筆): "Computational Logic : Logic Programming and Beyond -Essays in Honour of Robert A.Kowalski, Part II内のAutomated Abduction"Springer Verlag. 311-341 (2002)

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

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

    • Related Report
      2001 Annual Research Report
  • [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)

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

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

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

    • Related Report
      2001 Annual Research Report

URL: 

Published: 2001-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi