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.