The Cnstruction of an Automated Theorem Prover Based on Emergent Systems

摘要

A self-organizing system is introduced for the application of an articial chemistry. It uses a huge number of autonomous entities to interact in parallel. The overall behavior of the system is characterized by emergent phenomena. The system is demonstrated with an automated theorem prover for first order predicate calculus. Our results show that it can be advantageous to set up a problem as a system founded on the concepts of articial chemistries. The emergent behavior is analyzed and benefits and consequences are outlined.