Agent-Based Speculative Constraint Processing

Hiroshi HOSOBE  Ken SATOH  Philippe CODOGNET  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E90-D   No.9   pp.1354-1362
Publication Date: 2007/09/01
Online ISSN: 1745-1361
DOI: 10.1093/ietisy/e90-d.9.1354
Print ISSN: 0916-8532
Type of Manuscript: Special Section PAPER (Special Section on Software Agent and Its Applications)
Category: 
Keyword: 
agents,  speculative computation,  constraints,  

Full Text: PDF(228.7KB)
>>Buy this Article


Summary: 
In this paper, we extend our framework of speculative computation in multi-agent systems by introducing default constraints. In research on multi-agent systems, handling incomplete information due to communication failure or due to other agents' delay in communication is a very important issue. For a solution to this problem, we previously proposed speculative computation based on abduction in the context of master-slave multi-agent systems and gave a procedure in abductive logic programming. In our previous proposal, a master agent prepares a default value for a yes/no question in advance, and it performs speculative computation using the default without waiting for a reply to the question. This computation is effective unless the contradictory reply to the default is returned. In this paper, we formalize speculative constraint processing, and propose a correct operational model for such computation so that we can handle not only yes/no questions, but also more general types of questions.