Identity Criterion for Living Objects Based on the Entanglement Measure

摘要

We extend the original Gecow's computational theory of life and introduce a formal specification language that provides structural and operational semantics for further experimentation on complex evolving systems. The formalisation is based on Milner's process calculus called 7r-calculus in conjunction with the notion of reactive systems and formal process algebra. In addition, we provide formal object boundary and identity criterion that can be used to isolate an object in a complex computational dynamical system from its environment. To achieve that, we use a formal notion of entanglement, borrowed from graph theory, to identify objects within a complex and changeable computational environment characterised by multiple scales of abstraction. This allows the model to be re-implemented and used for investigations on scale-free, self-adapting, self-evolving computational systems without an explicit notions such as object, organism, fitness, or purpose.