Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adleman, L.M.: Molecular computation of solutions to combinatorial problems. Science 266, 1021–1024 (1994)
Astor, J.C., Adami, C.: A developmental model for the evolution of artificial neural networks. Artif. Life 6(3), 189–218 (2000)
Bagley, R.J., Farmer, J.D.: Spontaneous emergence of a metabolism. In: Langton, C.G. (ed.) Artificial Life II, Proceedings. MIT Press, Cambridge (1992)
Bagley, R.J., Farmer, J.D., Fontana, W.: Evolution of a metabolism. In: Langton, C.G. (ed.) Artificial Life II, Proceedings. MIT Press, Cambridge (1992)
Banatre, J.P., Le Metayer, D.: Programming by multiset transformation. Communications of the ACM 36(1), 98–111 (1993)
Banzhaf, W.: Self-organisation in a system of binary strings. In: Brooks, R., Maes, P. (eds.) Proceedings of Artificial Life IV, pp. 109–118. MIT Press, Cambridge (1994)
Banzhaf, W., Dittrich, P., Rauhe, H.: Emergent computation by catalytic reactions. Nanotechnology 7, 307–314 (1996)
Brooks, R.A.: Coherent behavior from many adaptive processes. In: Cliff, D., Husbands, P., Meyer, J.-A., Wilson, S. (eds.) From animals to animats, vol. 3, pp. 22–29. MIT Press, Cambridge (1994)
Busch, J.: Automated Theorem Proving for first order predicate calculus using Artificial Chemistries. In: GI Gesellschaft für Informatik (ed.) Informatiktage, Bad Schussenried, Konradin Verlag Robert Kohlhammer GmbH (November 1999)
Dittrich, P.: On Artificial Chemistries. PhD thesis, University of Dortmund, Department of Computer Science, D-44221 Dortmund, Germany (January 2001)
Dittrich, P., Ziegler, J., Banzhaf, W.: Artificial Chemistries - a Review. Artificial Life 7(3), 225–275 (2001)
Fontana, W.: Algorithmic chemistry. In: Langton, C.G., Taylor, C., Farmer, J.D., Rasmussen, S. (eds.) Artificial Life II: Proceedings of the Second Artificial Life Workshop, pp. 159–209. Addison-Wesley, Reading (1991)
Fontana, W., Buss, L.W.: The barrier of objects: From dynamical systems to bounded organizations. In: Casti, J., Karlqvist, A. (eds.) Boundaries and Barriers, pp. 56–116. Addison-Wesley, Reading (1996)
Hill, C.G.: An introduction to chemical engineering kinetics and reactor design. John Wiley & Sons, Chichester (1977)
Kanada, Y., Hirokawa, M.: Stochastic problem solving by local computation based on self-organization paradigm. In: 27th Hawaii International Conference on System Science, pp. 82–91 (1994)
Kauffman, S.A.: The Origins of Order. Oxford University Press, New York (1993)
Robinson, J.A.: A Machine-Oriented Logic Based on the Resolution Principle. Journal of the Association for Computing Machinery 12(1), 23–41 (1965)
Szuba, T., Stras, R.: Parallel evolutionary computing with the random PROLOG processor. Journal of Parallel and Distributed Computing 47(1), 78–85 (1997)
Zauner, K.-P., Conrad, M.: Conformation-driven computing: Simulating the context-conformation-action loop. Supramolecular Science 5, 791–794 (1998)
Ziegler, J., Dittrich, P., Banzhaf, W.: Towards a metabolic robot control system. In: Holcombe, M., Paton, R. (eds.) Information Processing in Cells and Tissues. Plenum Press, New York (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Busch, J., Banzhaf, W. (2003). How to Program Artificial Chemistries. In: Banzhaf, W., Ziegler, J., Christaller, T., Dittrich, P., Kim, J.T. (eds) Advances in Artificial Life. ECAL 2003. Lecture Notes in Computer Science(), vol 2801. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39432-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-39432-7_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20057-4
Online ISBN: 978-3-540-39432-7
eBook Packages: Springer Book Archive