Speculative Constraint Processing with Iterative Revision for Disjunctive Answers

摘要: In multi-agents systems, incompleteness, due to either communication failure or response delay, is a major problem handle. To face frameworks for speculative computation were proposed (see references [5, 6, 7]). The idea developed in such allow the asking agent, while waiting slave agents reply, reason using default beliefs until replies are sent. In particular, K. Satoh and Yamamoto [7] framework that allows an agent not only perform computation, but also accept iterative answer revision yes/no questions. this paper, we present extension of more general types questions constraint logic programming (CLP).