SlideShare a Scribd company logo
1 of 29
Download to read offline
Information Theory and Programmable Medicine
Hector Zenil
hector.zenil@ki.se
Unit of Computational Medicine, Stockholm, Sweden

Invited Talk
IEEE International Conference on Bioinformatics and Biomedicine
(BIBM 2013) December 20, 2013, Shanghai, China

Hector Zenil

Information and Programmable Medicine

1 / 27
Complexity and Computation in Nature

Natural computing

Contents

What is computation
Small computing machines and emergent properties
The Turing test and what is (artificial) life
Information theory and spatial molecular computation
Kolmogorov complexity and programmable medicine

Hector Zenil

Information and Programmable Medicine

2 / 27
Complexity and Computation in Nature

Natural computing

The origins of modern computation

J. von Neuman’s self-replication interest (1950s).

von Neumann (with S. Ulam) started the field of Cellular Automata
Hector Zenil

Information and Programmable Medicine

3 / 27
Complexity and Computation in Nature

Natural computing

Cellular Automata

Hector Zenil

Information and Programmable Medicine

4 / 27
Complexity and Computation in Nature

Natural computing

Rule 30 continuation

Hector Zenil

Information and Programmable Medicine

5 / 27
Complexity and Computation in Nature

Natural computing

von Neumann’s universal constructor

Hector Zenil

Information and Programmable Medicine

6 / 27
Complexity and Computation in Nature

Natural computing

Life as self-replication?
Langton’s loop shows that self-replication does not require Turing
universality.

But crystals self-replicate too, so it cannot be a sufficient condition for life.

Hector Zenil

Information and Programmable Medicine

7 / 27
Complexity and Computation in Nature

Natural computing

What is life?
An informational definition (Gerald F. Joyce, Bit by Bit: The Darwinian Basis of
Life, PloS, Bio. 2012) of life:
A genetic system that contains more bits than the number that
were required to initiate its operation.
A computational view (John Hopfield, J. Theor. Biol. 171, 53-60, 1994):
All biological systems perform some kind of computation.
Computation is inherent to adaptive systems and makes biology
different from physics.
A mechanistic view (Leroy Cronin, TED conference, 2011) proposes that:
Life is anything that can undergo evolution (survival of the
fittest). Matter that can evolve is alive.
Borderline case: Virus evolve (not exactly by their own though) yet they are
only matter (encapsulated genetic material).
Hector Zenil

Information and Programmable Medicine

8 / 27
Complexity and Computation in Nature

A behavioural approach to computation

A behavioural approach to what is computation
(and life)
The Turing test is a reformulation of a question of non-factual character into a
measurable one: something is intelligent if it behaves like so. It is a clever strategy
to tackle difficult questions!

Figure : A Turing-test like test strategy to the question of life (instead of machine
intelligence)

[Zenil, Philosophy & Technology, Springer (2013)]
Hector Zenil

Information and Programmable Medicine

9 / 27
Complexity and Computation in Nature

A behavioural approach to computation

A Turing test like approach to computation and life
[Zenil in Computing Nature, & SAPERE Series, Springer (2013)]

How to chemically recognize artificial life? (Cronin, Krasnogor, et al, Nature
Biotechnology 2006). Talking to the cells with chells.
How closely simulators emulate the properties of real data (e.g. in silico reconstruction
of genetic networks from synthetically generated gene expression data) (Maier et al., A
Turing test for artificial expression data, Bioinformatics (2013) 29 (20): 2603-2609, 2013).
Hector Zenil

Information and Programmable Medicine

10 / 27
Complexity and Computation in Nature

A behavioural approach to computation

Algorithmic information theory to the rescue?
Which string looks more random?
(a) 1111111111111111111111111111111111111111
(b) 0011010011010010110111010010100010111010
(c) 0101010101010101010101010101010101010101
Definition
KU (s) = min{|p|, U(p) = s}

(1)

Compressibility and algorithmic randomness
A string with low Kolmogorov complexity is c-compressible if |p| + c = |s|. A
string is random if K(s) ≈ |s|.

[Kolmogorov (1965); Chaitin (1966)]
Hector Zenil

Information and Programmable Medicine

11 / 27
Complexity and Computation in Nature

A behavioural approach to computation

Behavioural classes of abstract computing
machines

Wolfram’s computational classes of behaviour:
Class I: system evolves into a homogeneous state.
Class II: system evolves in a periodic state.
Class III: system evolves into random-looking states.
Class IV: system evolves into localised complex structures.

Living systems clearly fall in class IV systems.

[Wolfram, (1994)]
Hector Zenil

Information and Programmable Medicine

12 / 27
Complexity and Computation in Nature

A behavioural approach to computation

Asymptotic behaviour of compressed evolutions

[Zenil, Complex Systems (2010)]
Hector Zenil

Information and Programmable Medicine

13 / 27
Complexity and Computation in Nature

A behavioural approach to computation

A behavioural approach to computation (and life
recognition)
A Turing-test like test strategy to the question of life (instead of Turing’s
original question of artificial intelligence):

[Zenil, Philosophy & Technology and SAPERE, (2013)]
Hector Zenil

Information and Programmable Medicine

14 / 27
Complexity and Computation in Nature

A behavioural approach to computation

Answering Chalmer’s rock question

Figure : ECA R4 has a low Ct value for any n and t (it doesn’t react much to external
n
stimuli).

[Zenil, Philosophy & Technology, (2013)]
Hector Zenil

Information and Programmable Medicine

15 / 27
Complexity and Computation in Nature

A behavioural approach to computation

Turing universality

Figure : ECA R110 has large asymptotic coefficient Ct value for large enough choices
n
of t and n, which is compatible with the fact that it is Turing universal (for particular
semi-periodic initial configurations).
Hector Zenil

Information and Programmable Medicine

16 / 27
Complexity and Computation in Nature

A behavioural approach to computation

A hierarchical view of computing systems (and life?)
The measure can be applied to other than computers.
Programmability of physical and biological entities sorted by variability
versus controllability:

The diagonal determines the degree of programmability.
[Zenil, Ball, Tegn´ r, ECAL MIT Press Proceedings, (2013)]
e
Hector Zenil

Information and Programmable Medicine

17 / 27
Complexity and Computation in Nature

A behavioural approach to computation

Proof of concept: The EMBL-EBI BioModel’s
Database

The EMBL-EBI BioModel DB is a curated database of mathematical published
(about 400) models related to living organisms.

Hector Zenil

Information and Programmable Medicine

18 / 27
Complexity and Computation in Nature

A behavioural approach to computation

Cell cycle versus metabolic pathways

Variability analysis: Models cluster by their role in living processes.

[Zenil, Ball, Tegn´ r, ECAL MIT Press Proceedings, (2013)]
e
Hector Zenil

Information and Programmable Medicine

19 / 27
Complexity and Computation in Nature

A behavioural approach to computation

Variability and controllability of biological
models
Information content trajectories
(from EMBL-EBI model simulations):

Programmability is a combination of variability and controllability

[Zenil, Ball, Tegn´ r, ECAL MIT Press Proceedings, (2013)]
e
Hector Zenil

Information and Programmable Medicine

20 / 27
Complexity and Computation in Nature

A behavioural approach to computation

The main challenges in biology
Parameter to conformational space mapping in biological systems from the
fact that shape is function in biology!
DNA sequence → protein structure mapping / Signalling → cells
self-organization

Environmental conds. → virus mutations / drugs → diseases reaction

I call it the conformational space problem in biology.
Hector Zenil

Information and Programmable Medicine

21 / 27
Complexity and Computation in Nature

A behavioural approach to computation

Case study: Phorphyrin molecules simulation with
Wang tiles
Porphyrin interaction dynamics are extensively well known and accurate
mathematical models exist. We ran a kinetic Monte Carlo simulation on 2
different porphyrin molecules deposited on a solid substrate. Porphyrins
self-assemble in structures depending on the binding energy between:
molecules of the same functional type
molecules of different (2) functional type
molecules and the substrate

(They give red color to blood. They envelop hemes in hemoglobin that deliver
nutrients (in particular oxygen!).)
[Terrazas, Zenil and Krasnogor, Exploring programmable self-assembly in non-DNA
based molecular computing, Natural Computing, vol 12(4), pp 499–515, 2013.]
Hector Zenil

Information and Programmable Medicine

22 / 27
Complexity and Computation in Nature

A behavioural approach to computation

Self-assembly of porphyrin molecules
How to map stimuli (energy binding) to conformational space?

With information theory and Kolmogorov complexity.
[Terrazas, Zenil and Krasnogor, Exploring programmable self-assembly in non-DNA
based molecular computing, Natural Computing, vol 12(4), pp 499–515, 2013.]
Hector Zenil

Information and Programmable Medicine

23 / 27
Complexity and Computation in Nature

A behavioural approach to computation

Phorphyrins: mapping behaviour to stimuli
Binding energies induced by chemical reactions with highest behavioural
impact can be tested and programmed in silico and verified in the wet lab.

(Hemes in hemoglobin. They give the red color to blood)
[Terrazas, Zenil and Krasnogor, Exploring programmable self-assembly in non-DNA
based molecular computing, Natural Computing, vol 12(4), pp 499–515, 2013.]
Hector Zenil

Information and Programmable Medicine

24 / 27
Complexity and Computation in Nature

A behavioural approach to computation

Phorphyrins: mapping behaviour to stimuli
Binding energies induced by chemical reactions with highest behavioural
impact can be tested and programmed in silico and verified in the wet lab.

(Hemes in hemoglobin. They give the red color to blood)
[Terrazas, Zenil and Krasnogor, Exploring programmable self-assembly in non-DNA
based molecular computing, Natural Computing, vol 12(4), pp 499–515, 2013.]
Hector Zenil

Information and Programmable Medicine

25 / 27
Complexity and Computation in Nature

A behavioural approach to computation

Capturing and clustering behaviour
The compressibility test retrieved phase transitions corresponding to changes
in qualitative behaviour. Qualitative behaviour is captured by a quantitative
measure.

Corresponding to different stimuli
[Terrazas, Zenil and Krasnogor, Exploring programmable self-assembly in non-DNA
based molecular computing, Natural Computing, vol 12(4), pp 499–515, 2013.]
Hector Zenil

Information and Programmable Medicine

26 / 27
Complexity and Computation in Nature

A behavioural approach to computation

Towards programmable medicine

Building on molecular such as porphyrin computation imagine, for example,
the introduction of an array of these molecules with a simple logic to
treatments releasing a payload if expressing certain conditions (e.g. cancer
markers) are met.

Hector Zenil

Information and Programmable Medicine

27 / 27
Complexity and Computation in Nature

A behavioural approach to computation

H. Zenil, Compression-based Investigation of the Dynamical Properties of
Cellular Automata and Other Systems, Complex Systems, Vol. 19, No. 1, pages
1-28, 2010.
H. Zenil, What is Nature-like Computation? A Behavioural Approach and a
Notion of Programmability, Philosophy & Technology (special issue on History
and Philosophy of Computing), 2013.
H. Zenil, On the Dynamic Qualitative Behavior of Universal Computation
Complex Systems, vol. 20, No. 3, pp. 265-278, 2012.
G. Terrazas, H. Zenil and N. Krasnogor, Exploring Programmable Self-Assembly
in Non DNA-based Computing, Natural Computing, vol 12(4): 499–515, 2013.
DOI: 10.1007/s11047-013-9397-2.
H. Zenil and E. Villarreal-Zapata, Asymptotic Behaviour and Ratios of Complexity
in Cellular Automata Rule Spaces, Journal of Bifurcation and Chaos (in press).
H. Zenil, G. Ball and J. Tegn´ r, Testing Biological Models for Non-linear
e
Sensitivity with a Programmability Test. In P. Lio, O. Miglino, G. Nicosia, S. Nolfi
`
and M. Pavone (eds), Advances in Artificial Intelligence, ECAL 2013, pp.
1222-1223, MIT Press, 2013.
H. Zenil, A Turing Test-Inspired Approach to Natural Computation. In G.
Primiero and L. De Mol (eds.), Turing in Context II (Brussels, 10-12 October 2012),
Hector Zenil

Information and Programmable Medicine

27 / 27
Complexity and Computation in Nature

A behavioural approach to computation

Historical and Contemporary Research in Logic, Computing Machinery and
Artificial Intelligence, Proceedings published by the Royal Flemish Academy of
Belgium for Science and Arts, 2013.
A Behavioural Foundation for Natural Computing and a Programmability Test. In
G. Dodig-Crnkovic and R. Giovagnoli (eds), Computing Nature: Turing Centenary
Perspective, SAPERE Series vol. 7, Springer, 2013.
H. Zenil, Turing Patterns with Turing Machines: Emergence and Low-level
Structure Formation, Natural Computing, 12(2): 291-303 (2013), 2013.
J.-P. Delahaye and H. Zenil, Numerical Evaluation of the Complexity of Short
Strings: A Glance Into the Innermost Structure of Algorithmic Randomness,
Applied Mathematics and Computation 219, pp. 63-77, 2012.

Hector Zenil

Information and Programmable Medicine

27 / 27

More Related Content

What's hot

Projection methods for stochastic structural dynamics
Projection methods for stochastic structural dynamicsProjection methods for stochastic structural dynamics
Projection methods for stochastic structural dynamics
University of Glasgow
 
A R T I F I C I A L N E U R A L N E T W O R K S J N T U M O D E L P A P ...
A R T I F I C I A L  N E U R A L  N E T W O R K S  J N T U  M O D E L  P A P ...A R T I F I C I A L  N E U R A L  N E T W O R K S  J N T U  M O D E L  P A P ...
A R T I F I C I A L N E U R A L N E T W O R K S J N T U M O D E L P A P ...
guest3f9c6b
 

What's hot (17)

IMPROVING OF ARTIFICIAL NEURAL NETWORKS PERFORMANCE BY USING GPU’S: A SURVEY
IMPROVING OF ARTIFICIAL NEURAL NETWORKS PERFORMANCE BY USING GPU’S: A SURVEYIMPROVING OF ARTIFICIAL NEURAL NETWORKS PERFORMANCE BY USING GPU’S: A SURVEY
IMPROVING OF ARTIFICIAL NEURAL NETWORKS PERFORMANCE BY USING GPU’S: A SURVEY
 
Handling missing data with expectation maximization algorithm
Handling missing data with expectation maximization algorithmHandling missing data with expectation maximization algorithm
Handling missing data with expectation maximization algorithm
 
Multi objective predictive control a solution using metaheuristics
Multi objective predictive control  a solution using metaheuristicsMulti objective predictive control  a solution using metaheuristics
Multi objective predictive control a solution using metaheuristics
 
Report
ReportReport
Report
 
Computing Maximum Entropy Densities: A Hybrid Approach
Computing Maximum Entropy Densities: A Hybrid ApproachComputing Maximum Entropy Densities: A Hybrid Approach
Computing Maximum Entropy Densities: A Hybrid Approach
 
Projection methods for stochastic structural dynamics
Projection methods for stochastic structural dynamicsProjection methods for stochastic structural dynamics
Projection methods for stochastic structural dynamics
 
D143136
D143136D143136
D143136
 
An Artificial Neuron Implemented on an Actual Quantum Processor
An Artificial Neuron Implemented on an Actual Quantum ProcessorAn Artificial Neuron Implemented on an Actual Quantum Processor
An Artificial Neuron Implemented on an Actual Quantum Processor
 
Ht3613671371
Ht3613671371Ht3613671371
Ht3613671371
 
FUZZY SET THEORETIC APPROACH TO IMAGE THRESHOLDING
FUZZY SET THEORETIC APPROACH TO IMAGE THRESHOLDINGFUZZY SET THEORETIC APPROACH TO IMAGE THRESHOLDING
FUZZY SET THEORETIC APPROACH TO IMAGE THRESHOLDING
 
X-TREPAN : A Multi Class Regression and Adapted Extraction of Comprehensible ...
X-TREPAN : A Multi Class Regression and Adapted Extraction of Comprehensible ...X-TREPAN : A Multi Class Regression and Adapted Extraction of Comprehensible ...
X-TREPAN : A Multi Class Regression and Adapted Extraction of Comprehensible ...
 
OPTIMIZATION OF MANUFACTURING OF LOGICAL ELEMENTS "AND" MANUFACTURED BY USING...
OPTIMIZATION OF MANUFACTURING OF LOGICAL ELEMENTS "AND" MANUFACTURED BY USING...OPTIMIZATION OF MANUFACTURING OF LOGICAL ELEMENTS "AND" MANUFACTURED BY USING...
OPTIMIZATION OF MANUFACTURING OF LOGICAL ELEMENTS "AND" MANUFACTURED BY USING...
 
EC Presentation _ ID_ 201-15-14294
EC Presentation _ ID_ 201-15-14294EC Presentation _ ID_ 201-15-14294
EC Presentation _ ID_ 201-15-14294
 
Stability analysis for nonlinear impulsive optimal control problems
Stability analysis for nonlinear impulsive optimal control problemsStability analysis for nonlinear impulsive optimal control problems
Stability analysis for nonlinear impulsive optimal control problems
 
Multilayer Backpropagation Neural Networks for Implementation of Logic Gates
Multilayer Backpropagation Neural Networks for Implementation of Logic GatesMultilayer Backpropagation Neural Networks for Implementation of Logic Gates
Multilayer Backpropagation Neural Networks for Implementation of Logic Gates
 
Quantum Minimax Theorem in Statistical Decision Theory (RIMS2014)
Quantum Minimax Theorem in Statistical Decision Theory (RIMS2014)Quantum Minimax Theorem in Statistical Decision Theory (RIMS2014)
Quantum Minimax Theorem in Statistical Decision Theory (RIMS2014)
 
A R T I F I C I A L N E U R A L N E T W O R K S J N T U M O D E L P A P ...
A R T I F I C I A L  N E U R A L  N E T W O R K S  J N T U  M O D E L  P A P ...A R T I F I C I A L  N E U R A L  N E T W O R K S  J N T U  M O D E L  P A P ...
A R T I F I C I A L N E U R A L N E T W O R K S J N T U M O D E L P A P ...
 

Similar to Information Theory and Programmable Medicine

Kurzweil ~ Humanity+
Kurzweil ~ Humanity+Kurzweil ~ Humanity+
Kurzweil ~ Humanity+
Brian Ahier
 
3.3.1 taxonomìa de jordan
3.3.1 taxonomìa de jordan3.3.1 taxonomìa de jordan
3.3.1 taxonomìa de jordan
Lupita Rodriguez
 

Similar to Information Theory and Programmable Medicine (20)

The physics behind systems biology
The physics behind systems biologyThe physics behind systems biology
The physics behind systems biology
 
2014 05 unibuc optimization and minimization
2014 05 unibuc optimization and minimization2014 05 unibuc optimization and minimization
2014 05 unibuc optimization and minimization
 
Tales from BioLand - Engineering Challenges in the World of Life Sciences
Tales from BioLand - Engineering Challenges in the World of Life SciencesTales from BioLand - Engineering Challenges in the World of Life Sciences
Tales from BioLand - Engineering Challenges in the World of Life Sciences
 
2012: Natural Computing - The Grand Challenges and Two Case Studies
2012: Natural Computing - The Grand Challenges and Two Case Studies2012: Natural Computing - The Grand Challenges and Two Case Studies
2012: Natural Computing - The Grand Challenges and Two Case Studies
 
2012: The Grand Challenges in Natural Computing Research
2012: The Grand Challenges in Natural Computing Research2012: The Grand Challenges in Natural Computing Research
2012: The Grand Challenges in Natural Computing Research
 
2005: Natural Computing - Concepts and Applications
2005: Natural Computing - Concepts and Applications2005: Natural Computing - Concepts and Applications
2005: Natural Computing - Concepts and Applications
 
Syllabus
SyllabusSyllabus
Syllabus
 
Morphogenetic Engineering: Reconciling Architecture and Self-Organization Thr...
Morphogenetic Engineering: Reconciling Architecture and Self-Organization Thr...Morphogenetic Engineering: Reconciling Architecture and Self-Organization Thr...
Morphogenetic Engineering: Reconciling Architecture and Self-Organization Thr...
 
Kurzweil ~ Humanity+
Kurzweil ~ Humanity+Kurzweil ~ Humanity+
Kurzweil ~ Humanity+
 
3.3.1 taxonomìa de jordan
3.3.1 taxonomìa de jordan3.3.1 taxonomìa de jordan
3.3.1 taxonomìa de jordan
 
Analyzing the Explanatory Power of Bionic Systems With the Minimal Cognitive ...
Analyzing the Explanatory Power of Bionic Systems With the Minimal Cognitive ...Analyzing the Explanatory Power of Bionic Systems With the Minimal Cognitive ...
Analyzing the Explanatory Power of Bionic Systems With the Minimal Cognitive ...
 
Post-Science knowledge revolution
Post-Science knowledge revolutionPost-Science knowledge revolution
Post-Science knowledge revolution
 
Lecture 2-Introduction-Civil Eng [Repaired].pptx
Lecture 2-Introduction-Civil Eng [Repaired].pptxLecture 2-Introduction-Civil Eng [Repaired].pptx
Lecture 2-Introduction-Civil Eng [Repaired].pptx
 
Dodig-Crnkovic-Information and Computation
Dodig-Crnkovic-Information and ComputationDodig-Crnkovic-Information and Computation
Dodig-Crnkovic-Information and Computation
 
International Bartlett Lecture Final
International Bartlett Lecture FinalInternational Bartlett Lecture Final
International Bartlett Lecture Final
 
J.M. Díaz Nafría: Science of Information: Emergence and evolution of meaning
J.M. Díaz Nafría: Science of Information: Emergence and evolution of meaningJ.M. Díaz Nafría: Science of Information: Emergence and evolution of meaning
J.M. Díaz Nafría: Science of Information: Emergence and evolution of meaning
 
Analysis of Existing Models in Relation to the Problems of Mass Exchange betw...
Analysis of Existing Models in Relation to the Problems of Mass Exchange betw...Analysis of Existing Models in Relation to the Problems of Mass Exchange betw...
Analysis of Existing Models in Relation to the Problems of Mass Exchange betw...
 
Rethinking Embedded System Design
Rethinking Embedded System DesignRethinking Embedded System Design
Rethinking Embedded System Design
 
Evolutionary Symbolic Discovery for Bioinformatics, Systems and Synthetic Bi...
Evolutionary Symbolic Discovery for Bioinformatics,  Systems and Synthetic Bi...Evolutionary Symbolic Discovery for Bioinformatics,  Systems and Synthetic Bi...
Evolutionary Symbolic Discovery for Bioinformatics, Systems and Synthetic Bi...
 
AN OPTIMIZATION ALGORITHM BASED ON BACTERIA BEHAVIOR
AN OPTIMIZATION ALGORITHM BASED ON BACTERIA BEHAVIORAN OPTIMIZATION ALGORITHM BASED ON BACTERIA BEHAVIOR
AN OPTIMIZATION ALGORITHM BASED ON BACTERIA BEHAVIOR
 

More from Hector Zenil

More from Hector Zenil (20)

Unit 2: All
Unit 2: AllUnit 2: All
Unit 2: All
 
Unit 5: All
Unit 5: AllUnit 5: All
Unit 5: All
 
Unit 6: All
Unit 6: AllUnit 6: All
Unit 6: All
 
4.11: The Infinite Programming Monkey
4.11: The Infinite Programming Monkey4.11: The Infinite Programming Monkey
4.11: The Infinite Programming Monkey
 
4.12: The Algorithmic Coding Theorem
4.12: The Algorithmic Coding Theorem4.12: The Algorithmic Coding Theorem
4.12: The Algorithmic Coding Theorem
 
4.13: Bennett's Logical Depth: A Measure of Sophistication
4.13: Bennett's Logical Depth: A Measure of Sophistication 4.13: Bennett's Logical Depth: A Measure of Sophistication
4.13: Bennett's Logical Depth: A Measure of Sophistication
 
4.10: Algorithmic Probability & the Universal Distribution
4.10: Algorithmic Probability & the Universal Distribution 4.10: Algorithmic Probability & the Universal Distribution
4.10: Algorithmic Probability & the Universal Distribution
 
4.9: The Chaitin-Leibniz Medal
4.9: The Chaitin-Leibniz Medal4.9: The Chaitin-Leibniz Medal
4.9: The Chaitin-Leibniz Medal
 
4.8: Epistemological Aspects of Infinite Wisdom
4.8: Epistemological Aspects of Infinite Wisdom4.8: Epistemological Aspects of Infinite Wisdom
4.8: Epistemological Aspects of Infinite Wisdom
 
4.7: Chaitin's Omega Number
4.7: Chaitin's Omega Number4.7: Chaitin's Omega Number
4.7: Chaitin's Omega Number
 
4.6: Convergence of Definitions
4.6: Convergence of Definitions4.6: Convergence of Definitions
4.6: Convergence of Definitions
 
4.5: The Invariance Theorem
4.5: The Invariance Theorem4.5: The Invariance Theorem
4.5: The Invariance Theorem
 
4.4: Algorithmic Complexity and Compressibility
4.4: Algorithmic Complexity and Compressibility4.4: Algorithmic Complexity and Compressibility
4.4: Algorithmic Complexity and Compressibility
 
4.3: Pseudo Randomness
4.3: Pseudo Randomness4.3: Pseudo Randomness
4.3: Pseudo Randomness
 
4.1 Sources of Randomness
4.1 Sources of Randomness4.1 Sources of Randomness
4.1 Sources of Randomness
 
Unit 3: Classical information
Unit 3: Classical informationUnit 3: Classical information
Unit 3: Classical information
 
Unit 3: Shannon entropy and meaning
Unit 3: Shannon entropy and meaningUnit 3: Shannon entropy and meaning
Unit 3: Shannon entropy and meaning
 
Unit 3: Joint, Conditional, Mutual Information, & a Case Study
Unit 3: Joint, Conditional, Mutual Information, & a Case StudyUnit 3: Joint, Conditional, Mutual Information, & a Case Study
Unit 3: Joint, Conditional, Mutual Information, & a Case Study
 
Unit 3: Entropy rate, languages and multidimensional data
Unit 3: Entropy rate, languages and multidimensional dataUnit 3: Entropy rate, languages and multidimensional data
Unit 3: Entropy rate, languages and multidimensional data
 
Unit 3: Redundancy, noise, and biological information
Unit 3: Redundancy, noise, and biological informationUnit 3: Redundancy, noise, and biological information
Unit 3: Redundancy, noise, and biological information
 

Recently uploaded

1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdf
QucHHunhnh
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
QucHHunhnh
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
ciinovamais
 
Salient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functionsSalient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functions
KarakKing
 

Recently uploaded (20)

ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
 
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdfUGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdf
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
 
This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
 
Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)
 
Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024
 
On National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan FellowsOn National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan Fellows
 
Dyslexia AI Workshop for Slideshare.pptx
Dyslexia AI Workshop for Slideshare.pptxDyslexia AI Workshop for Slideshare.pptx
Dyslexia AI Workshop for Slideshare.pptx
 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
 
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
 
SOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning PresentationSOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning Presentation
 
FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024
 
Micro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfMicro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdf
 
ComPTIA Overview | Comptia Security+ Book SY0-701
ComPTIA Overview | Comptia Security+ Book SY0-701ComPTIA Overview | Comptia Security+ Book SY0-701
ComPTIA Overview | Comptia Security+ Book SY0-701
 
Salient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functionsSalient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functions
 
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptxSKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
 
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
 

Information Theory and Programmable Medicine

  • 1. Information Theory and Programmable Medicine Hector Zenil hector.zenil@ki.se Unit of Computational Medicine, Stockholm, Sweden Invited Talk IEEE International Conference on Bioinformatics and Biomedicine (BIBM 2013) December 20, 2013, Shanghai, China Hector Zenil Information and Programmable Medicine 1 / 27
  • 2. Complexity and Computation in Nature Natural computing Contents What is computation Small computing machines and emergent properties The Turing test and what is (artificial) life Information theory and spatial molecular computation Kolmogorov complexity and programmable medicine Hector Zenil Information and Programmable Medicine 2 / 27
  • 3. Complexity and Computation in Nature Natural computing The origins of modern computation J. von Neuman’s self-replication interest (1950s). von Neumann (with S. Ulam) started the field of Cellular Automata Hector Zenil Information and Programmable Medicine 3 / 27
  • 4. Complexity and Computation in Nature Natural computing Cellular Automata Hector Zenil Information and Programmable Medicine 4 / 27
  • 5. Complexity and Computation in Nature Natural computing Rule 30 continuation Hector Zenil Information and Programmable Medicine 5 / 27
  • 6. Complexity and Computation in Nature Natural computing von Neumann’s universal constructor Hector Zenil Information and Programmable Medicine 6 / 27
  • 7. Complexity and Computation in Nature Natural computing Life as self-replication? Langton’s loop shows that self-replication does not require Turing universality. But crystals self-replicate too, so it cannot be a sufficient condition for life. Hector Zenil Information and Programmable Medicine 7 / 27
  • 8. Complexity and Computation in Nature Natural computing What is life? An informational definition (Gerald F. Joyce, Bit by Bit: The Darwinian Basis of Life, PloS, Bio. 2012) of life: A genetic system that contains more bits than the number that were required to initiate its operation. A computational view (John Hopfield, J. Theor. Biol. 171, 53-60, 1994): All biological systems perform some kind of computation. Computation is inherent to adaptive systems and makes biology different from physics. A mechanistic view (Leroy Cronin, TED conference, 2011) proposes that: Life is anything that can undergo evolution (survival of the fittest). Matter that can evolve is alive. Borderline case: Virus evolve (not exactly by their own though) yet they are only matter (encapsulated genetic material). Hector Zenil Information and Programmable Medicine 8 / 27
  • 9. Complexity and Computation in Nature A behavioural approach to computation A behavioural approach to what is computation (and life) The Turing test is a reformulation of a question of non-factual character into a measurable one: something is intelligent if it behaves like so. It is a clever strategy to tackle difficult questions! Figure : A Turing-test like test strategy to the question of life (instead of machine intelligence) [Zenil, Philosophy & Technology, Springer (2013)] Hector Zenil Information and Programmable Medicine 9 / 27
  • 10. Complexity and Computation in Nature A behavioural approach to computation A Turing test like approach to computation and life [Zenil in Computing Nature, & SAPERE Series, Springer (2013)] How to chemically recognize artificial life? (Cronin, Krasnogor, et al, Nature Biotechnology 2006). Talking to the cells with chells. How closely simulators emulate the properties of real data (e.g. in silico reconstruction of genetic networks from synthetically generated gene expression data) (Maier et al., A Turing test for artificial expression data, Bioinformatics (2013) 29 (20): 2603-2609, 2013). Hector Zenil Information and Programmable Medicine 10 / 27
  • 11. Complexity and Computation in Nature A behavioural approach to computation Algorithmic information theory to the rescue? Which string looks more random? (a) 1111111111111111111111111111111111111111 (b) 0011010011010010110111010010100010111010 (c) 0101010101010101010101010101010101010101 Definition KU (s) = min{|p|, U(p) = s} (1) Compressibility and algorithmic randomness A string with low Kolmogorov complexity is c-compressible if |p| + c = |s|. A string is random if K(s) ≈ |s|. [Kolmogorov (1965); Chaitin (1966)] Hector Zenil Information and Programmable Medicine 11 / 27
  • 12. Complexity and Computation in Nature A behavioural approach to computation Behavioural classes of abstract computing machines Wolfram’s computational classes of behaviour: Class I: system evolves into a homogeneous state. Class II: system evolves in a periodic state. Class III: system evolves into random-looking states. Class IV: system evolves into localised complex structures. Living systems clearly fall in class IV systems. [Wolfram, (1994)] Hector Zenil Information and Programmable Medicine 12 / 27
  • 13. Complexity and Computation in Nature A behavioural approach to computation Asymptotic behaviour of compressed evolutions [Zenil, Complex Systems (2010)] Hector Zenil Information and Programmable Medicine 13 / 27
  • 14. Complexity and Computation in Nature A behavioural approach to computation A behavioural approach to computation (and life recognition) A Turing-test like test strategy to the question of life (instead of Turing’s original question of artificial intelligence): [Zenil, Philosophy & Technology and SAPERE, (2013)] Hector Zenil Information and Programmable Medicine 14 / 27
  • 15. Complexity and Computation in Nature A behavioural approach to computation Answering Chalmer’s rock question Figure : ECA R4 has a low Ct value for any n and t (it doesn’t react much to external n stimuli). [Zenil, Philosophy & Technology, (2013)] Hector Zenil Information and Programmable Medicine 15 / 27
  • 16. Complexity and Computation in Nature A behavioural approach to computation Turing universality Figure : ECA R110 has large asymptotic coefficient Ct value for large enough choices n of t and n, which is compatible with the fact that it is Turing universal (for particular semi-periodic initial configurations). Hector Zenil Information and Programmable Medicine 16 / 27
  • 17. Complexity and Computation in Nature A behavioural approach to computation A hierarchical view of computing systems (and life?) The measure can be applied to other than computers. Programmability of physical and biological entities sorted by variability versus controllability: The diagonal determines the degree of programmability. [Zenil, Ball, Tegn´ r, ECAL MIT Press Proceedings, (2013)] e Hector Zenil Information and Programmable Medicine 17 / 27
  • 18. Complexity and Computation in Nature A behavioural approach to computation Proof of concept: The EMBL-EBI BioModel’s Database The EMBL-EBI BioModel DB is a curated database of mathematical published (about 400) models related to living organisms. Hector Zenil Information and Programmable Medicine 18 / 27
  • 19. Complexity and Computation in Nature A behavioural approach to computation Cell cycle versus metabolic pathways Variability analysis: Models cluster by their role in living processes. [Zenil, Ball, Tegn´ r, ECAL MIT Press Proceedings, (2013)] e Hector Zenil Information and Programmable Medicine 19 / 27
  • 20. Complexity and Computation in Nature A behavioural approach to computation Variability and controllability of biological models Information content trajectories (from EMBL-EBI model simulations): Programmability is a combination of variability and controllability [Zenil, Ball, Tegn´ r, ECAL MIT Press Proceedings, (2013)] e Hector Zenil Information and Programmable Medicine 20 / 27
  • 21. Complexity and Computation in Nature A behavioural approach to computation The main challenges in biology Parameter to conformational space mapping in biological systems from the fact that shape is function in biology! DNA sequence → protein structure mapping / Signalling → cells self-organization Environmental conds. → virus mutations / drugs → diseases reaction I call it the conformational space problem in biology. Hector Zenil Information and Programmable Medicine 21 / 27
  • 22. Complexity and Computation in Nature A behavioural approach to computation Case study: Phorphyrin molecules simulation with Wang tiles Porphyrin interaction dynamics are extensively well known and accurate mathematical models exist. We ran a kinetic Monte Carlo simulation on 2 different porphyrin molecules deposited on a solid substrate. Porphyrins self-assemble in structures depending on the binding energy between: molecules of the same functional type molecules of different (2) functional type molecules and the substrate (They give red color to blood. They envelop hemes in hemoglobin that deliver nutrients (in particular oxygen!).) [Terrazas, Zenil and Krasnogor, Exploring programmable self-assembly in non-DNA based molecular computing, Natural Computing, vol 12(4), pp 499–515, 2013.] Hector Zenil Information and Programmable Medicine 22 / 27
  • 23. Complexity and Computation in Nature A behavioural approach to computation Self-assembly of porphyrin molecules How to map stimuli (energy binding) to conformational space? With information theory and Kolmogorov complexity. [Terrazas, Zenil and Krasnogor, Exploring programmable self-assembly in non-DNA based molecular computing, Natural Computing, vol 12(4), pp 499–515, 2013.] Hector Zenil Information and Programmable Medicine 23 / 27
  • 24. Complexity and Computation in Nature A behavioural approach to computation Phorphyrins: mapping behaviour to stimuli Binding energies induced by chemical reactions with highest behavioural impact can be tested and programmed in silico and verified in the wet lab. (Hemes in hemoglobin. They give the red color to blood) [Terrazas, Zenil and Krasnogor, Exploring programmable self-assembly in non-DNA based molecular computing, Natural Computing, vol 12(4), pp 499–515, 2013.] Hector Zenil Information and Programmable Medicine 24 / 27
  • 25. Complexity and Computation in Nature A behavioural approach to computation Phorphyrins: mapping behaviour to stimuli Binding energies induced by chemical reactions with highest behavioural impact can be tested and programmed in silico and verified in the wet lab. (Hemes in hemoglobin. They give the red color to blood) [Terrazas, Zenil and Krasnogor, Exploring programmable self-assembly in non-DNA based molecular computing, Natural Computing, vol 12(4), pp 499–515, 2013.] Hector Zenil Information and Programmable Medicine 25 / 27
  • 26. Complexity and Computation in Nature A behavioural approach to computation Capturing and clustering behaviour The compressibility test retrieved phase transitions corresponding to changes in qualitative behaviour. Qualitative behaviour is captured by a quantitative measure. Corresponding to different stimuli [Terrazas, Zenil and Krasnogor, Exploring programmable self-assembly in non-DNA based molecular computing, Natural Computing, vol 12(4), pp 499–515, 2013.] Hector Zenil Information and Programmable Medicine 26 / 27
  • 27. Complexity and Computation in Nature A behavioural approach to computation Towards programmable medicine Building on molecular such as porphyrin computation imagine, for example, the introduction of an array of these molecules with a simple logic to treatments releasing a payload if expressing certain conditions (e.g. cancer markers) are met. Hector Zenil Information and Programmable Medicine 27 / 27
  • 28. Complexity and Computation in Nature A behavioural approach to computation H. Zenil, Compression-based Investigation of the Dynamical Properties of Cellular Automata and Other Systems, Complex Systems, Vol. 19, No. 1, pages 1-28, 2010. H. Zenil, What is Nature-like Computation? A Behavioural Approach and a Notion of Programmability, Philosophy & Technology (special issue on History and Philosophy of Computing), 2013. H. Zenil, On the Dynamic Qualitative Behavior of Universal Computation Complex Systems, vol. 20, No. 3, pp. 265-278, 2012. G. Terrazas, H. Zenil and N. Krasnogor, Exploring Programmable Self-Assembly in Non DNA-based Computing, Natural Computing, vol 12(4): 499–515, 2013. DOI: 10.1007/s11047-013-9397-2. H. Zenil and E. Villarreal-Zapata, Asymptotic Behaviour and Ratios of Complexity in Cellular Automata Rule Spaces, Journal of Bifurcation and Chaos (in press). H. Zenil, G. Ball and J. Tegn´ r, Testing Biological Models for Non-linear e Sensitivity with a Programmability Test. In P. Lio, O. Miglino, G. Nicosia, S. Nolfi ` and M. Pavone (eds), Advances in Artificial Intelligence, ECAL 2013, pp. 1222-1223, MIT Press, 2013. H. Zenil, A Turing Test-Inspired Approach to Natural Computation. In G. Primiero and L. De Mol (eds.), Turing in Context II (Brussels, 10-12 October 2012), Hector Zenil Information and Programmable Medicine 27 / 27
  • 29. Complexity and Computation in Nature A behavioural approach to computation Historical and Contemporary Research in Logic, Computing Machinery and Artificial Intelligence, Proceedings published by the Royal Flemish Academy of Belgium for Science and Arts, 2013. A Behavioural Foundation for Natural Computing and a Programmability Test. In G. Dodig-Crnkovic and R. Giovagnoli (eds), Computing Nature: Turing Centenary Perspective, SAPERE Series vol. 7, Springer, 2013. H. Zenil, Turing Patterns with Turing Machines: Emergence and Low-level Structure Formation, Natural Computing, 12(2): 291-303 (2013), 2013. J.-P. Delahaye and H. Zenil, Numerical Evaluation of the Complexity of Short Strings: A Glance Into the Innermost Structure of Algorithmic Randomness, Applied Mathematics and Computation 219, pp. 63-77, 2012. Hector Zenil Information and Programmable Medicine 27 / 27