Construction of Logical Multi-Agent System under Incomplete Information Environment

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

We presented speculative computation by abduction in multi-agent systems and showed that this method can be used for distributed problem solving under incomplete communication environments.The idea of the method is as follows :- When communication is delayed or failed, then we use a default hypothesis as a tentative answer and continue computation.- When some response is obtained, we check consistency of the response and the current computation. If the response is consistent, then we continue the current computation ; else if the response is inconsistent, we seek an alternative computation.We proposed a proof procedure of speculative computation in a master-slave multi-agent systems and showed that it returns correct answers for the perfect model semantics in a stratified logic program. Based on the proof procedure, we made a simiulator on parallel machines to show effectiveness of this method.