• Computer Science
  • Published in
    IEEE Trans. Systems, Man, and…
    1991
  • DOI:10.1109/21.135677

Distributed automated reasoning: issues in coordination, cooperation, and performance

@article{Macintosh1991DistributedAR,
  title={Distributed automated reasoning: issues in coordination, cooperation, and performance},
  author={D Macintosh and S. E. Conry and R. Meyer},
  journal={IEEE Trans. Systems, Man, and Cybernetics},
  year={1991},
  volume={21},
  pages={1307-1316}
}
The authors present a distributed automated reasoning system (DARES) that can perform automated reasoning in, and about, a distributed domain. The technique developed for performing automated reasoning is discussed, with emphasis on issues dealing with task coordination and agent cooperation. Experimental results are presented to illustrate the performance of the system, and its ability to perform distributed automated reasoning. The experimental results demonstrate that agents in a loosely… CONTINUE READING

Figures and Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-2 OF 2 REFERENCES

The performance of parallel prolog programs

  • A. M. Despain
  • IEEE Trans . Computers
  • 1987

SIMULACT : A generic tool for simulating distributed systems

  • S. E. Conry
  • 1981