On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Linear resolution for consequence finding
Artificial Intelligence
Experiments with speculative parallelism in Parlog
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Coordination techniques for distributed artificial intelligence
Foundations of distributed artificial intelligence
Executing suspended logic programs
Fundamenta Informaticae - Special issue on foundations of constraint programming
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
MINERVA - A Dynamic Logic Programming Agent Architecture
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Speculative Computation by Abduction under Incomplete Communication Environments
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
A study on the termination of negotiation dialogues
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Speculative Computation Through Consequence-Finding in Multi-Agent Environments
Annals of Mathematics and Artificial Intelligence
Theory and Practice of Logic Programming
An ASP-based approach to dealing with agent perception failure
AI Communications
Towards "Kiga-kiku" Services on Speculative Computation
PAKM '08 Proceedings of the 7th International Conference on Practical Aspects of Knowledge Management
Logic programming with social features1
Theory and Practice of Logic Programming
Agent-Based Speculative Constraint Processing
IEICE - Transactions on Information and Systems
Interleaving belief updating and reasoning in abductive logic programming
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Stabilization of Information Sharing for Queries Answering in Multiagent Systems
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
On the implementation of global abduction
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Speculative abductive reasoning for hierarchical agent systems
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Speculative constraint processing for hierarchical agents
AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009
On the implementation of speculative constraint processing
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
An abductive framework for information exchange in multi-agent systems
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Speculative constraint processing with iterative revision for disjunctive answers
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
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.