Artificial Intelligence
Intelligent query answering in rule based systems
Journal of Logic Programming
A strategy for the computation of conditional answers
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Linear resolution for consequence finding
Artificial Intelligence
Artificial Intelligence
Diagnosis and debugging as contradiction removal
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Computing answers with model elimination
Artificial Intelligence
A new method for consequence finding and compilation in restricted languages
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Speculative computation with multi-agent belief revision
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A System for Computing Constrained Default Logic Extensions
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Minimal Answer Computation and SOL
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Lemma Matching for a PTTP-based Top-down Theorem Prover
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Speculative Computation by Abduction under Incomplete Communication Environments
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
A completeness theorem and a computer program for finding theorems derivable from given axioms
A completeness theorem and a computer program for finding theorems derivable from given axioms
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Theorem proving with structured theories
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Consequence finding and computing answers with defaults
Journal of Intelligent Information Systems
SOLAR: An automated deduction system for consequence finding
AI Communications - Practical Aspects of Automated Reasoning
On the implementation of global abduction
CLIMA VII'06 Proceedings of the 7th 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
Annals of Mathematics and Artificial Intelligence
Upside-down transformation in SOL/connection tableaux and its application
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Hi-index | 0.00 |
This paper is concerned with a multi-agent system which performs speculative computation under incomplete communication environments. In a master–slave style multi-agent system with speculative computation, a master agent asks queries to slave agents in problem solving, and proceeds computation with default answers when answers from slave agents are delayed. In this paper, we first provide a semantics for speculative computation using default logic. Speculative computation is considered in which reply messages from slave agents to a master are tentative and may change from time to time. In this system, default values used in speculative computation are only partially determined in advance. Next, we propose a procedure to compute speculative computation using a first-order consequence-finding procedure SOL with the answer literal method. The use of a consequence-finding procedure is convenient for updating agents' beliefs according to situation changes in the world. Then, we further refine the SOL calculus using conditional answer computation and skip-preference in SOL. The conditional answer format has a great advantage of explicitly representing how a conclusion depends on tentative replies and defaults. This dependency representation is important to avoid unnecessary recomputation of tentative conclusions. On the other hand, the skip-preference method has the great ability of preventing irrational/redundant derivations. Finally, we implemented a mechanism of process maintenance to avoid duplicate computation when slave agents change their answers. As long as new answers from slave agents do not conflict with any previously encountered situation, the obtained conclusions are never recomputed. We applied the proposed system to the meeting-room reservation problem to see the usefulness of the framework.