The Construction of an Automated Theorem Prover based on Emergent System
University of Dortmund, Germany
A self-organizing system will be presented for the application of an Artificial 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 s ystem is demonstrated with an automated theorem prover for first order predicate calculus.
This page is maintained by InYoung Kim (firstname.lastname@example.org).
Last update: October 2, 2000