Distributed Problem-Solving as Concurrent Theorem Proving

Michael Fisher, Michael Wooldridge

The main aim of our work is to show how distributed problem solving may fruitfully be considered as concurrent theorem proving. To this end. we have developed a general framework for agent-based theorem proving, and demonstrated how this framework may be implemented in a multi-agent programming language.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.