Serene'13

29
Preliminary Contributions Towards Auto-Resilience Vincenzo De Florio, PATS research group http://win.uantwerpen.be/~vincenz/

Transcript of Serene'13

Preliminary Contributions

Towards Auto-Resilience

Vincenzo De Florio, PATS research group

http://win.uantwerpen.be/~vincenz/

What is it all about?

• A number of questions; some reflections;

some ideas and conjectures

• Questions:

• What is resilience?

• What makes an individual or collective essence

resilient?

• How can we use this knowledge to design

resilient essences?

• Autonomic management of resilience

4 October 2013 SERENE 2013

Q1: What is resilience?

• Resilience = ability to retain one’s identity

• From Aristotle’s concept of entelechy

• Being-at-work staying-the-same [Sachs]

• Being-at-work: adapt to changing

circumstances

• Staying-the-same: without compromising

one’s “definition” –

one’s essence

4 October 2013 SERENE 2013

Q2: What makes an essence resilient?

• Several different abilities co-existing within a

same essence

• Optimal co-existence = tough design problem!

• Design trade-offs are necessary due to physical

or practical limitations

• Many examples in nature [Nilsson]

• Three major abilities:

perception, apperception, entelechy

4 October 2013 SERENE 2013

Resilience prerequisites: perception

• Ability to timely register the state of some

portion of the context

• Sub-divided into three layers:

sensors, quale, memory

4 October 2013 SERENE 2013

Perception :: sensors

• Primary interface with physical world

• Reflect a subset of the world’s “raw facts”

• Problems:

• Proper subset (incomplete view) • « Facile credo plures esse Naturas invisibiles quam visibiles in rerum

universitate. Sed horum omnium familiam quis nobis enarrabit ? Et

gradus et cognationes et discrimina et singulorum munera?» T. Burnet

• Imperfect reflection

• External dependences (resource depletion…)

• Aging

4 October 2013 SERENE 2013

Perception :: quale

• C = computer world, U = physical world

• C-representations of U raw facts

• A morphism qualia : U C

• Important aspects w.r.t. resilience:

• Qualia manifestation latency

• Time b/w U event e occurs and qualia(e) appears in C

• Reflective throughput

• Amount of raw facts that may be reliably encoded as

quale per time unit

4 October 2013 SERENE 2013

Perception :: memory

• Quale persistence layer

• Storage and retrieval of quale

• «Apri la mente a quel ch'io ti paleso

e fermalvi entro; ché non fa scïenza,

sanza lo ritenere, avere inteso»

(Dante, Paradiso, V, 40-42)

• Important aspects w.r.t. resilience:

• Qualia access time

• How quickly the “control layer” may access stored quale

4 October 2013 SERENE 2013

Powers of representation

• A measure of the quality of perception

[Leibniz]

• A metric to compare the perception of

essences

4 October 2013

PoR(∞)

PoR(a) PoR(b)

• PoR(a) < PoR(∞)

• PoR(b) < PoR(∞)

• PoR(a) ≠ PoR(b)

SERENE 2013

Powers of representation

• Note: PoR are dynamic systems

• PoR: metrics to compare essences and

ambients

4 October 2013

PoR(a) PoR(b)

• E.g. say a is deployed in b

• Picture says:

• a perceives only a

subset of b’s context

• a perceives changes

that won’t occur in b

SERENE 2013

Powers of representation

• Predicate amb(x) = “x is an ambient”

• Predicate esn(x) = “x is an essence”

4 October 2013

PoR(a)

PoR(b) • esn(a) ᴧ esn(b)

PoR(a) < PoR(b)

• amb(a) ᴧ esn(b)

• b perceives all of a’s context

• b is designed to perceive

changes that won’t occur in a

SERENE 2013

Powers of representation

4 October 2013

PoR(a)

PoR(b)

• esn(a) ᴧ amb(b)

• a perceives a subset of

b’s context : some changes

in b won’t be perceived by a

SERENE 2013

Apperception

• Apperception defines how the reflected quale

are accrued, correlated with past perception,

and used to create dynamic models of the

“self” and of the “world” (deployment ambient)

• “The most merciful thing in the world, I think,

is the inability of the human mind to correlate

all its contents”

[H.P.Lovecraft, Call of Cthulhu]

4 October 2013 SERENE 2013

Apperception

• Behaviour may be used to rank an essence’s

apperception [re: Rosenblueth; Boulding]

• Apperception is a trait characterising

• Teleological behaviour essences

• 0-order predictive behaviour essences

• N-order predictive behaviour essences

• The above order may be used to define an

apperception metric to compare essences

with one another (in what follows: ord(e))

4 October 2013 SERENE 2013

Entelechism

• The quality and characteristics of the

mechanisms responsible for planning and

controlling the robust emergence of resilience

• In a resilient MAPE-K loop essence, the

Planner

• Planner is an essence in itself; thus its

apperception may be ranked

4 October 2013 SERENE 2013

Entelechism :: Meta-apperception

• Apperception of an essence’s Planning

essence

• Say a is an essence and a.p is its planning

essence; in general

ord(a) ≠ ord(a.p)

• E.g. a may be 1-order predictive while

a.p may be 0-order (teleological)

[De Florio, ‘13]

4 October 2013 SERENE 2013

Entelechism :: Multiplicity and

organisation of Planners

• Second important factor towards resilience:

• presence of a single or multiple concurrent

Planners

• Latter case:

- individual vs. social nature of the interactions

between Planners

- organisation of control among the Planners

4 October 2013 SERENE 2013

Entelechism :: Multiplicity of

Planners

• Individual vs social context: choices are made

in isolation or otherwise

• E.g. Bacillus subtilis

• when subjected to a stressful environment B.subtilis

use quorum sensing and choose between cooperative

and selfish strategies depending on an estimation of

the choices made by fellows

4 October 2013 SERENE 2013

Entelechism :: Organisation of

Planners

• The way collective resilient planning

is carried out

• Centralised, hierarchical, heterarchical,

distributed organisation, …

• Latter case: bionic organisations, holarchies,

and fractal organisations

• a hierarchical composition of autonomous

planners

4 October 2013 SERENE 2013

Q3: How can we use resilience

classes to design resilient essences?

• Conjecture:

- decomposing resilience into sub-properties;

- classifying essences and ambients

accordingly;

makes it easier:

• to reason about essence-ambient fits;

• to resiliently self-adapt an essence w.r.t. a

reference ambient

Auto-resilience

4 October 2013 SERENE 2013

Example: resilience handshake

• An admission control mechanism constraining

the deployment of an essence in a target

ambient

• Aim: Allowing an essence’s resilience figures

to be matched with the expected minimal

resilience requirements of a deployment

ambient

• “Resilience contract” to be matched with an

“environment policy”

4 October 2013 SERENE 2013

Example: resilience handshake

• Classic scenario: miner and canary

• Two very different essences each

characterized by peculiar resilience figures

• At first sight, miner is a superior essence

• Extended perception, apperception, entelechism

• But miner is deployed in an unfavourable

ambient (mine)

• PoR(Miner) < PoR(Mine)

• carbon monoxide, carbon dioxide, methane…

4 October 2013 SERENE 2013

Example: resilience handshake

• Classic solution: the miner brings along a

canary

• Now PoR(miner+canary) > PoR(miner)

• “+” here implies constant monitoring

• If perception of toxic gases

is here,

Miner+canary will be able

to react

4 October 2013 SERENE 2013

PoR(Mine)

PoR(M+c)

PoR(M)

Conclusions

• Nature made us, nature shows us the way

• Symbiosis, mutualistic relationships, biological

collaborative interactions are nature’s way to

augment our individual features

• Only through this we can match changing

environments before the changes make us

extinct

4 October 2013 SERENE 2013

Conclusions

• Computer systems have a double option:

1. They can evolve themselves towards

resilience – much faster than physical

essences

2. They can use mutualistic approaches to give

raise to complex collective resilient systems

• Auto-resilience = ability to manage

autonomously the complex trade-offs

necessary to manage 1. and 2.

4 October 2013 SERENE 2013

Conclusions

• Future work: try and define design principles

for auto-resilience

• Dynamic composition of essences and

planners via Transformer [GD12]

• Collective resilience strategies via Fractal

Social Organizations and their social overlay

networks [DF12, DF13a, DF13b]

4 October 2013 SERENE 2013

Thank you very much

for your attention

[email protected]

4 October 2013 SERENE 2013

References

• Sachs, J.: Aristotle’s Physics: A Guided Study. Rutgers (1995)

• Nilsson, T.: How neural branching solved an information bottleneck opening the

way to smart life. In: Proc. of the 10th Int.l Conf. on Cognitive and Neural

Systems, Boston Univ., MA (2008)

• Strickland, L.H.: The shorter Leibniz texts: a collection of new translations

• Rosenblueth, A., Wiener, N., Bigelow, J.: Behavior, purpose and teleology.

Philosophy of Science 10(1) (1943) 18–24

• Boulding, K.: General systems theory—the skeleton of science. Management

Science 2(3) (1956)

• De Florio, V.: On the constituent attributes of software and organizational

resilience. Interdisciplinary Science Reviews 38(2) (2013) [DF13a]

• De Florio, V. et al.: Models and Concepts for Socio-technical Complex Systems:

Towards Fractal Social Organizations, to appear in Systems Research and

Behavioral Science (2012) [DF12]

• De Florio, V.: Fractal Social Organizations on YouTube [DF13b]

4 October 2013 SERENE 2013

29 August 2011