Distributed Problem-Solving as Concurrent Theorem Proving

Second International Conference on Multiagent Systems

Volume

Second International Conference on Multiagent Systems

Contents

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.