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机制处理到一个可以处理logigation Progription Progription Progription Incultion Progription的机制中。 （5）我们实施了结果的定理供应问题。（6）我们将相关的理论与推测计算（例如默认问题解决，有序的默认理论，知识基础更新的绑架）进行形式化。（7）我们对实验进行了模拟实验，以分析具有效率的投机性计算。

项目成果

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

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

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

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

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

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

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