Distributed Problem-Solving as Concurrent Theorem Proving

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.