Formally Testing Liveness by Means of Compression Rates
We present a formal method to determine whether there exist living creatures in a given computational environment. Our proposal is based on studying the evolution of the entropy of the studied system. In particular, we check whether there exist entities decreasing the entropy in some parts, while increasing it in the rest of the world, which fits into the well-known maximum entropy production principle. The entropy of a computational environment is measured in terms of its compression rate with respect to some compression strategy. Some life-related notions such as biodiversity are quantified as well. These ideas are presented by means of formal definitions. A toy example where a simple living structure is identified in a video stream is presented, and some results are reported.
KeywordsArtificial Life Maximum Entropy Principle Compression Algorithms
Unable to display preview. Download preview PDF.
- 4.Huffman, D.A.: A method for the construction of minimum redundancy codes. Proceedings of the Institute of Radio Engineers 40(9), 1098–1101 (1952)Google Scholar
- 8.Langton, C.: Artificial Life: An Overview. MIT Press, Cambridge (1995)Google Scholar
- 9.Prigogine, I., Stengers, I.: Order Out of Chaos. Bantam Books (1984)Google Scholar
- 10.Rafiei, D., Mendelzon, A.: Efficient retrieval of similar time sequences using DFT. In: 5th International Conference on Foundations of Data Organization and Algorithms (FODO 1998) (November 1998)Google Scholar
- 13.Office of Technology Assessment U.S. Congress. Technologies to mantain biological diversity, OTA-F-330. U.S. Goverment Printing Office, Washington (March 1987)Google Scholar
- 15.Wolfram, S.: Cellular automata. Los Alamos Science 9, 2–21 (1983)Google Scholar