Automated reasoning: 33 BASIC research problems
Automated reasoning: 33 BASIC research problems
A fast parallel algorithm for N-ary unification with AI applications
A fast parallel algorithm for N-ary unification with AI applications
Distributed automated reasoning: the role of knowledge in distributed problem solving
Distributed automated reasoning: the role of knowledge in distributed problem solving
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Automated Reasoning: Introduction and Applications
Automated Reasoning: Introduction and Applications
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses
Proceedings of the 9th International Conference on Automated Deduction
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
The Clause-Diffusion Methodology For Distributed Deduction
Fundamenta Informaticae
Hi-index | 0.00 |
In many domains of interest to distributed artificial intelligence, the problem solving environment may be viewed as a collection of loosely coupled intelligent agents, each of which reasons based on its own incomplete knowledge of the state of the world. No agent has sufficient knowledge to solve the problem at hand so that coordinated cooperative problem solving is required to satisfy system goals. In this paper, we present DARES, a distributed reasoning system in which agents have the ability to focus their attention on selective information interchange to facilitate cooperative problem solving. The experimental results we present demonstrate that agents in a loosely coupled network of problem solvers can work semi-independently, yet focus their attention with the aid of relatively simple heuristics when cooperation is appropriate. These results suggest that we have developed an effective cooperation strategy which is largely independent of initial knowledge distribution.