Abstract:
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.