Construction of multi-agent systems with speculative computation

点击翻译按钮获取中文摘要

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.