How to Program Artificial Chemistries

Using the framework of artificial chemistries (ACs) an automated theorem prover (ATP) is constructed. Though it is an application of its own, in the context of ACs automated theorem proving can serve a second purpose. In this paper, we present a resolution-based AC named RESAC. Once converted to the first-order predicate calculus a problem straightly fits to this non-deterministic AC model. The calculus therefore provides a general and intuitive language for ”programming” RESAC. The fixed implicit interaction scheme and predefined structure of the objects is advantageous and helps to predict the system’s dynamics. Furthermore, the versatility of the methodology is demonstrated by implementing the Adleman problem. An analysis of the dynamic behavior is performed delivering insight into the synthesis of non-deterministic emerging processes. This analysis include a discussion of some general AC parameters.