Speculative computation with multi-agent belief revision
Speculative computation with multi-agent belief revision
复制标题
具有多智能体信念修正的推测计算
DOI：
10.1145/544862.544950
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
Keiji Yamamoto
中科院分区：
文献类型：
--
作者：
K. Satoh;Keiji Yamamoto
在多智能体系统中，由于通信失败或其他智能体暂停决策，我们经常面临信息不完整的问题。为了解决这种不完备性，我们提出了在物从型多智能体系统中利用溯因法进行推测计算，并给出了溯因逻辑规划[14]中的一个程序。在工作中，主代理预先为问题准备一个默认值，并使用默认值进行推测计算，而不等待问题的回复。除非返回与默认值相矛盾的回复，否则此计算是有效的。然而，我们发现这种机制不足以在更一般的多智能体系统中进行推测计算，从而可以根据其他智能体的推测计算来修改回复。本文采用多智能体信念修正形式化推测计算，并提出了推测计算的正确步骤。
In multi-agent system, we often face incompleteness of information due to communication failure or other agent's suspension of decisions. To solve the incompleteness, we previously proposed speculative computation using abduction in the context of matter-slave multi-agent systems and gave a procedure in abductive logic programming [14]. In the work, a master agent prepares a default value for a question in advance and it performs speculative computation using the default without waiting for a reply for the question. This computation is effective unless the contradictory reply with the default is returned. However, we find that this mechanism is not sufficient for speculative computation in more general multi-agent systems such that replies can be revised according to other agents' speculative computation. In this paper, we formalize speculative computation with multi-agent belief revision and propose a correct procedure for such computation.