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.
[1] Larry Wos,et al. Automated Reasoning: Introduction and Applications , 1984 .
[2] Roberto A. Flores-Mendez. Towards the Standardization of Multi-Agent Systems Architectures: An Overview , 1999 .
[3] Gerhard Weiss,et al. Multiagent systems: a modern approach to distributed artificial intelligence , 1999 .