Multi-agent systems inspired by artificial chemistries: a case study in automated theorem proving

We investigate a new architecture for multi-agent systems inspired by artificial chemistries. In this model a huge number of autonomous entities interact in parallel. The system is demonstrated with an automated theorem prover. Our results show that it is advantageous to set up a problem as a multi-agent system based on artificial chemistries.