The Construction of an Automated Theorem Prover based on Emergent System

Jens Busch

University of Dortmund, Germany

October 10, 2000 11:00 am

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 (iykim@scai.snu.ac.kr).
Last update: October 2, 2000