Formally Testing Liveness by Means of Compression Rates

  • Authors:

  • César Andrés;Ismael Rodríguez;Fernando Rubio

  • Affiliations:

  • Dept. Sistemas Informáticos y Computación Facultad de Informática, Universidad Complutense,;Dept. Sistemas Informáticos y Computación Facultad de Informática, Universidad Complutense,;Dept. Sistemas Informáticos y Computación Facultad de Informática, Universidad Complutense,

  • Venue:
  • Proceedings of the 10th international conference on Parallel Problem Solving from Nature: PPSN X
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a formal method to determine whether there exist livingcreatures 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 ratewith respect to some compression strategy. Some life-related notions such as biodiversityare 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.