Presentation 2004-06-21
A Logical Formalization of Speculative Computation
Ken SATOH,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) Thanks to the Internet, there are many research on distributed problem solving methods such as a unification on various software and database in distributed computers. In these methods, an agent plays an important role for an interface of such software or databases. In most of the current research of multi-agent system, however, people assume that communication of agents is guaranteed and also when an agent asks a question from other agents, a process is suspended until some response from other agents is obtained. Under incomplete communication environment such as the Internet, however, these assumptions are not guaranteed; The messages between agents might be lost or significantly delayed. Therefore, researches of problem solving under incomplete communication is very important. In our research, we propose a method for distributed problem solving by a multi-agent system under such incomplete communication environment. The idea is as follows. When communication is delayed or fails, 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 and if the response is inconsistent, we seek an alternative computation. We call this way of computation speculative computation. In this talk, we give a framework for speculative computation based on abductive logic programming and show its correctness.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) speculative computation / distributed problem solving / multi-agent system / abductive logic programming
Paper # AI2004-5
Date of Issue

Conference Information
Committee AI
Conference Date 2004/6/14(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Artificial Intelligence and Knowledge-Based Processing (AI)
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) A Logical Formalization of Speculative Computation
Sub Title (in English)
Keyword(1) speculative computation
Keyword(2) distributed problem solving
Keyword(3) multi-agent system
Keyword(4) abductive logic programming
1st Author's Name Ken SATOH
1st Author's Affiliation NII and Sokendai()
Date 2004-06-21
Paper # AI2004-5
Volume (vol) vol.104
Number (no) 133
Page pp.pp.-
#Pages 24
Date of Issue