Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Experiments with speculative parallelism in Parlog
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Three-valued completion for abductive logic programs
ALP Proceedings of the fourth international conference on Algebraic and logic programming
Logic-based artificial intelligence
Speculative computation with multi-agent belief revision
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Effective SAT Planning by Speculative Computation
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Speculative Computation by Abduction under Incomplete Communication Environments
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Speculative Computation and Abduction for an Autonomous Agent*
IEICE - Transactions on Information and Systems
DARE: a system for distributed abductive reasoning
Autonomous Agents and Multi-Agent Systems
Dynagent: an incremental forward-chaining HTN planning agent in dynamic domains
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Speculative constraint processing with iterative revision for disjunctive answers
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Distributed abductive reasoning with constraints
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
| Hi-index | 0.00 |
Answer sharing is a key element in multi-agent systems as it allows agents to collaborate towards achieving a global goal. However exogenous knowledge of the world can influence each agent's local computation, and communication channels may introduce delays, creating multiple partial answers at different times. Agent's answers may, therefore, be incomplete and revisable, giving rise to the concept of speculative reasoning, which provides a framework for managing multiple revisable answers within the context of multi-agent systems. This paper extends existing work on speculative reasoning by introducing a new abductive framework to hierarchical speculative reasoning. This allows speculative reasoning in the presence of both negation and constraints, enables agents to receive conditional answers and to continue their local reasoning using default answers, thus increasing the parallelism of agents collaboration. The paper describes the framework and its operational model, illustrates the main features with an example and states soundness and completeness results.