Multi-Agent Systems Inspired by Artificial Chemistries: A Case Study in Automated Theorem Proving

  • Authors:

  • Affiliations:

  • Venue:
  • ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.