DocumentCode
2271096
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
fYear
2000
fDate
2000
Firstpage
371
Lastpage
372
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;
fLanguage
English
Publisher
ieee
Conference_Titel
MultiAgent Systems, 2000. Proceedings. Fourth International Conference on
Conference_Location
Boston, MA
Print_ISBN
0-7695-0625-9
Type
conf
DOI
10.1109/ICMAS.2000.858480
Filename
858480
Link To Document