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 |