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.

[1]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[2]  Aude Billard,et al.  From Animals to Animats , 2004 .

[3]  Charles G Hill,et al.  Introduction to Chemical Engineering Kinetics & Reactor Design , 1977 .

[4]  Rodney A. Brooks,et al.  Coherent behavior from many adaptive processes , 1994 .

[5]  Walter Fontana,et al.  Evolution of a metabolism , 1992 .

[6]  Tadeusz Szuba,et al.  Parallel Evolutionary Computing with the Random PROLOG Processor , 1997, J. Parallel Distributed Comput..

[7]  Christoph Adami,et al.  A Developmental Model for the Evolution of Artificial Neural Networks , 2000, Artificial Life.

[8]  Daniel Le Métayer,et al.  Programming by multiset transformation , 1993, CACM.

[9]  Wolfgang Banzhaf,et al.  Artificial ChemistriesA Review , 2001, Artificial Life.

[10]  Klaus-Peter Zauner,et al.  Conformation-driven computing: simulating the context-conformation-action loop , 1998 .

[11]  M. Holcombe,et al.  Information Processing in Cells and Tissues , 1998, Springer US.

[12]  Yasusi Kanada,et al.  Stochastic problem solving by local computation based on self-organization paradigm , 1994, 1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences.

[13]  R. J. Bagley,et al.  Spontaneous emergence of a metabolism , 1990 .

[14]  Walter Fontana,et al.  The Barrier of Objects: From Dynamical Systems to Bounded Organizations , 1996 .

[15]  W. Banzhaf,et al.  Emergent computation by catalytic reactions , 1996 .

[16]  Stuart A. Kauffman,et al.  ORIGINS OF ORDER , 2019, Origins of Order.

[17]  Wolfgang Banzhaf,et al.  Self-Organisation in a System of Binary Strings , 1994 .

[18]  L M Adleman,et al.  Molecular computation of solutions to combinatorial problems. , 1994, Science.

[19]  Pietro Speroni di Fenizio,et al.  Artificial Chemistries , 2002, Bull. EATCS.

[20]  Wolfgang Banzhaf,et al.  Towards a metabolic robot control system , 1998 .