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)We将已有的具有推测计算机制的主从式多智能体系统扩展为每个智能体都能进行推测计算的系统。(2)We将我们先前的可以处理是/否问题的推测性计算扩展到可以处理约束的机制。(3)We将逻辑程序设计中的推测计算推广到一阶逻辑中，并给出了一种基于结果投资问题的计算方法。(4)We提供了一个计算分析的结果发现问题。(5)We实现了一个推论发现问题定理证明器。(6)We通过推测计算将相关理论形式化，例如默认问题解决、有序默认理论、知识库更新的演绎。(7)We并进行了模拟实验，分析了推测计算的有效性。(8)We考虑推测计算在工业中的应用。

项目成果

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

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

村尾拓哉, 北村泰彦, 東尾潔, 辰己昭治: "先行投機的行動におけるリスク管理手法:会議室予約問題における事例研究"合同エージェントワークショップ&シンポジウム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 年）。

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：“计算知识库更新的归纳框架”逻辑编程的理论与实践。

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 中的条件答案计算作为多代理环境中的推测计算”理论计算机科学电子笔记。