Construction of multi-agent systems with speculative computation

具有推测计算的多智能体系统的构建

• 批准号: 13358004
• 负责人: SATOH Ken
• 金额: $ 22.63万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (A)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 2003
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13358004/
• 关键词: Multi-agent systems; Incomplete communication; Speculative computation; Distributed problem solving; Abduction; マルチエージェント; 分散強調問題解決

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.

关于分布式问题解决的研究很多，但针对不完全通信环境的研究却很少。在本研究中，我们的目标是提供一个解决上述问题的多智能体系统。我们提供了一种推测计算的机制并制作了一个原型系统。具体来说，我们提供以下内容。（1）我们将之前具有推测计算机制的主从型多智能体系统扩展到每个智能体都可以执行推测计算的系统。（2）我们扩展了之前的推测计算，可以处理 yes/ (3)我们将之前逻辑编程中的推测计算扩展到一阶逻辑，并提供了一种利用结果资助问题的计算方法。(4)我们提供了结果发现问题的计算分析。 (5)我们实施结果发现问题的定理证明者。(6)我们用推测计算形式化了相关理论，如默认问题求解、有序默认理论、知识库更新的溯因。(7)我们做了一个模拟实验，分析了推测计算的有效性。 (8)我们考虑推测计算在工业中的应用。

项目成果

村尾拓哉, 北村泰彦, 東尾潔, 辰己昭治: "先行投機的行動におけるリスク管理手法:会議室予約問題における事例研究"合同エージェントワークショップ&シンポジウム2003(JAWS2003). 245-251 (2003)

Takuy​​a Murao、Yasuhiko Kitamura、Kiyoshi Higashio、Akiharu Tatsumi：“主动投机行为中的风险管理技术：会议室预订问题的案例研究”联合代理研讨会和研讨会 2003 (JAWS2003)。

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

Ken Sato、Katsumi Inoue、Koji Iwanuma、Chiaki Sakama：“代理间通信中的绑架推测计算”计算机软件，第 20 卷，第 1. 27-35 期（2003 年）。

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)

Koji Iwanuma、Katsumi Inoue：“SOL 中的条件答案计算作为多代理环境中的推测计算”理论计算机科学电子笔记。

C.Sakama, K.Inoue: "An Abductive Framework for Computing Knowledge Base Updates"Theory and Practice of Logic Programming. Vol.3No6. 671-713 (2003)

C.Sakama、K.Inoue：“计算知识库更新的归纳框架”逻辑编程的理论与实践。

Satoh, K., Yamamoto, K.: "Speculative Computation with Multi-Agent Belief Revision"Proc.of AAMAS2002. 897-904 (2002)

Satoh, K.、Yamamoto, K.：“具有多主体信念修正的推测计算”Proc.of AAMAS2002。