Title :
Multi-agent systems inspired by artificial chemistries: a case study in automated theorem proving
Author :
Busch, Jens ; Banzhaf, Wolfgang
Author_Institution :
Dept. of Comput. Sci., Dortmund Univ., Germany
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
Keywords :
artificial life; chemistry; multi-agent systems; theorem proving; artificial chemistries; automated theorem proving; autonomous entities; case study; multi-agent systems; parallel interaction; system architecture; Abstracts; Chemical elements; Chemical processes; Chemistry; Collaboration; Computer aided software engineering; Computer science; Inductors; Internet; Multiagent systems;
Conference_Titel :
MultiAgent Systems, 2000. Proceedings. Fourth International Conference on
Conference_Location :
Boston, MA
Print_ISBN :
0-7695-0625-9
DOI :
10.1109/ICMAS.2000.858480
