<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Algorithmic Self-Governance and the Design of Socio-Technical Systems</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Jeremy Pitt</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>D dac Busquets</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ada Diaconescu</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Andrzej Nowak</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Agnieszka Rychwalska</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Magda Roszczynska-Kurasinska</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Imperial College London</institution>
          ,
          <addr-line>Exhibition Road, SW7 2BT</addr-line>
          ,
          <country country="UK">UK</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Telecom ParisTech</institution>
          ,
          <addr-line>46 rue Barrault F-75634 Paris Cedex 13</addr-line>
          ,
          <country country="FR">France</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>University of Warsaw</institution>
          ,
          <addr-line>ul. Stawki 5/7, 00-183 Warsaw</addr-line>
          ,
          <country country="PL">Poland</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>The Digital Society is increasingly characterised by an ecosystem of smart, socio-technical applications. Unlike biological ecosystems, each application, and indeed the entire socio-technical ecosystem, is critically dependent on human-centred, mutually agreed, conventional rules for its e ective and e cient operation, and inter-operation. This paper is concerned with exploring how to represent, reason with, and exploit these rules. In particular, it proposes the idea of algorithmic selfgovernance, which interleaves dynamic social psychology, holonic systems and self-organising electronic institutions, can provide a basis for developing socio-technical (eco)systems which empower solutions to largescale collective action problems. We conclude by suggesting that this provides an innovative approach to the development of smart(er) cities.</p>
      </abstract>
      <kwd-group>
        <kwd>Socio-Technical Systems</kwd>
        <kwd>Self-Organising Systems</kwd>
        <kwd>Computational Social Intelligence</kwd>
        <kwd>Electronic Institutions</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>The Digital Society is increasingly characterised by an ecosystem of smart,
sociotechnical applications. These applications are predicated on the interaction of
people and technology, and embedded in environments that are fully
instrumented with devices and sensors, inter-connected (e.g. through both social and
sensor networks) and intelligent (interleaving both social (human) and
computational intelligence. Examples include electricity generation, distribution and
storage, water management, and urban transportation, amongst others. The
uni cation of these individual examples as an `ecosystem' is well exempli ed by
the concept of smart cities.</p>
      <p>
        Unlike biological ecosystems, each application, and indeed the entire
sociotechnical ecosystem, is critically dependent on human-centred, mutually agreed,
conventional rules for its e ective and e cient operation, and inter-operation.
There is a well-established understanding of the importance of such conventional
rules in the conduct of human a airs, especially when encapsulated by
institutions. This understanding is, perhaps, best epitomized by the pioneering work
of Nobel Laureate Elinor Ostrom [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ], who identi ed an institution as a
structured rule-set intended to regulate and/or constrain the behaviour of people,
especially with regard to solving collective action problems like the long-term
sustainability of a common-pool resource.
      </p>
      <p>It has been a major challenge for computational social intelligence to
understand, explain and engineer the processes underlying the formation, selection and
modi cation of conventional rules for use in electronic institutions. The challenge
ahead is leveraging this research in the convergence of computational intelligence
with human intelligence in the representation of, and reasoning with, such rules
in socio-technical systems. These systems would be especially bene cial in the
resolution of collective action problems { for example, using local knowledge and
behaviour to avoid undesirable macro-level outcomes and achieve desirable ones.</p>
      <p>This paper is concerned with exploring how algorithmic self-governance,
which interleaves dynamic social psychology, holonic systems and self-organising
electronic institutions, as a basis for developing such socio-technical systems
which empower local solutions to collective action problems. Section 2
considers the background and motivation to this work, including a critical analysis
of Ostrom's work and its suitability for designing socio-technical systems.
Section 3 surveys the three research areas contributing to the idea of algorithmic
self-governance. Section 4 describes a case study in shared living spaces from
which we derive our innovative proposal for developing smart(er) cities founded
on, but going beyond, Ostrom's principles, which we call Ostromopolis.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Background and Motivation</title>
      <p>
        Ostrom's pioneering work [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ] showed how self-governing institutions could
overcome the `tragedy of the commons', which claimed to show that a group of
appropriators with common, unrestricted access to a shared resource would
inevitably act so as to deplete the resource in the short term, even if it was in
no-one's interest in the long term. Based on extensive eldwork, she showed how
institutions (identi ed as structured rulesets which prescribe who could perform
what actions in a speci c `decision arena' or `action situation', what actions
were permitted, proscribed or obliged, membership conditions, sanctions for not
complying with the rules, etc.) could promote sustainability of a common-pool
resource, without resorting to privatisation or centralisation.
      </p>
      <p>Observing that the presence of a ruleset was not in itself a su cient
condition for enduring resource management, Ostrom identi ed common features of
institutions which di erentiated success stories from failures (for example, [16,
p. 180], no clear membership boundaries, no support for self-determination,
inadequate monitoring, or no support for `e cient' con ict resolution). She then
turned her attention to the problem of `supply': faced with a common-pool
resource management problem, there was no need to `hope' that an institution
with the requisite features for sustainable management would evolve. Instead,
supported by an appropriate framework and accompanying tools and methods,
institutions could be designed with these features speci ed as requirements.</p>
      <p>
        Although an institution was supposed to identify who could perform what
action in a speci c `action situation', Ostrom's work did not explicitly distinguish
between physical capability, institutionalised power and permission (commonly
made in the study of social, legal and organisational systems). However, by
invoking the concept of institutionalised power [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ], the design principles could
be formalised in computational logic and used as an executable speci cation
for electronic institutions for managing resource allocation in open computer
systems and networks [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ].
      </p>
      <p>
        Moreover, the concept of fairness was more or less implicit in the
operational choice rules for resource allocation { the relevant design principle only
prescribed that those a ected by these rules should participate in their
selection, and assumed that those participating would presumably select rules that
were, somehow, fair. For electronic institutions, the formalisation of Ostrom's
principles was complemented by the formalisation of a theory of distributive
justice [
        <xref ref-type="bibr" rid="ref21">21</xref>
        ] to ensure fairness in the distribution of resources [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ].
      </p>
      <p>
        In general, though, it could be argued that Ostrom's commitment to
specifying institutions in concrete form, e.g. through principles, design methods and
grammars, was rooted in political and economic science, but less so in
computational, psychological and complexity sciences. As a result, her de nition and
analysis of `action situations' overlooked not just fundamental organisational
concepts such as institutionalised power, but also overlooked both the dynamic
socio-psychological processes involved in the (bottom-up) emergence, (top-down)
supply and (middle-out) self-adaptation of institutions [
        <xref ref-type="bibr" rid="ref10 ref11 ref9">10, 9, 11</xref>
        ], and the role of
social networks in in uencing decision-making in such situations [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ].
      </p>
      <p>
        It might also be argued that the design principles are well-suited to local
situations, but not for situations that have multiple, deeply entangled priorities
driven by possibly competing or even contradictory policy objectives, or when
there are external authorities whose policies and policy demands have to be
observed. However, Ostrom contended that large-scale collective action problems,
with correspondingly large-scale outcomes, are not necessarily better addressed
by top-down policy-making [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ]. It was proposed that policies made at national
and international level required local and regional action and enforcement, and
governance should therefore be polycentric { i.e. composed of multiple centres of
decision-making [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ]. However, a comprehensive explanation of how polycentric
governance can be identi ed, designed and delivered is still missing.
      </p>
      <p>
        Finally, the interaction between computational intelligence and social
intelligence (and technology in general) is also absent from Ostrom's original work.
Given the criticality of the interface between users and their infrastructure [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ],
if that infrastructure is highly instrumented, as is the case in smart cities, then
the human-computer interaction and ergonomics issues must also be considered.
      </p>
      <p>It is (some of) these lacunae that we address in this work. In doing so, we
aim to convert what might otherwise have been `failures' into success stories, i.e.
by designing and developing complex socio-technical systems with diverse
computational and social intelligences for empowering successful collective action,
using adaptive institutions that build on, but go beyond, Ostrom's principles.</p>
    </sec>
    <sec id="sec-3">
      <title>Building Blocks for Algorithmic Self-Governance</title>
      <p>
        From an abstract perspective, the objective of many socio-technical applications
in the Digital Society (e.g. for infrastructure management, shared living spaces,
and urban transportation) can be construed as managing a collective action
situation. In general, a collective action situation involves several key features:
{ it involves a group of people working together in a common space, but : : :
{ : : : individuals may have a self-interest which con icts with the group
interest, which encourages free riding, and : : :
{ : : : the costs of an action may fall on an individual, but the bene ts accrue
to the group, often requiring other incentives to contribute, for example in
the form of social capital [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ].
      </p>
      <p>Starting from Ostrom's design principles for enduring institutions, we
propose interleaving three building blocks for the design and development of
sociotechnical systems empowering successful collective action solutions: dynamic
social psychology, electronic institutions, and holonic system architectures.
3.1</p>
      <sec id="sec-3-1">
        <title>Dynamic Social Psychology</title>
        <p>
          Dynamic Social Psychology is concerned with how dynamical systems, in which
sets of components interact in complex, non-linear fashion but nevertheless
produce coherent patterns, can be applied to social psychology, and has led to a
number of theories concerning social change and social cognition:
{ The Dynamic Theory of Social Impact, which speci es the processes by which
a collection of private attitudes and beliefs becomes public opinion, common
knowledge, or a form of culture [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ].
{ The Bubble Theory of Social Change, which speci es how a sustainable
social change may be achieved, and concentrates on changing fragments of
social networks (clusters or bubbles) rather than separate individuals [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ]. In
particular, Bubble Theory can be used to understand better the interaction
between these structures.
{ The Dynamic Theory of Societal Transition, de ning the processes and
conditions under which (meso-level) social structures are changed [
          <xref ref-type="bibr" rid="ref11">11</xref>
          ]. In
particular a formal model of this theory will identify and specify how grassroots
activists can control these processes in developing meso-level structures (i.e.
institutions) that regulate or constrain micro-level behaviours to achieve
desirable outcomes (and/or avoid undesirable ones).
        </p>
        <p>
          To illustrate the principles and potential of dynamic social psychology for
providing the theoretical foundations of designing socio-technical systems, Project
ROSE (Regional Centres of E-learning) represents an example of an early
attempt of programmed emergence of organisation [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ]. The challenge was to
promote the use of ICT, especially the Internet, in education in Poland. However,
the rapid advances of ICT usually render any non-evolving educational program
obsolete in just a few years. The solution was to create a learning community in
the form of an expanding network of teachers that constantly adapted to new
developments in ICT.
        </p>
        <p>
          ROSE was based on the idea that teacher enhancement is a social change
process rather than a transfer of knowledge. The Bubble Theory of Social Change
[
          <xref ref-type="bibr" rid="ref9">9</xref>
          ] speci es how a sustainable social change may be achieved { by
concentrating on changing fragments of social networks (clusters or bubbles) rather than
separate individuals. ROSE was therefore a mixture of face-to-face workshops
and Internet mediated interactions. The workshops enabled the teachers to learn
to collaborate with each other and to develop trust. From each workshop
several individuals were selected as natural leaders to seed the ROSE network.
After the initial workshop the training was conducted over the Internet using
an e-learning platform. The communication structure resembled a star with the
university performing the role of the central hub, and each school being a spoke.
        </p>
        <p>The leaders in each school initially worked with teachers from their own
school but in the next stage schools already in ROSE collaborated with each
other in the preparation of programmes for other schools. Meso-level structures
(formal groupings with rules, roles, processes, designated groups responsible for
decisions in speci c areas; and informal groupings based on friendship circles,
interest groups, and so on) emerged as clusters of collaborating schools, local
administration and businesses etc. Afterwards, the meso-level structures grew
stronger and bigger as more common initiatives were undertaken. The role of
the university decreased as the network became increasingly decentralized.</p>
        <p>In summary, project ROSE has exempli ed the necessary conditions for
planned emergence, namely multi-functional micro-level components (i.e.
people able to ful l di erent roles in di erent contexts); the formation, operation
and dissolution of interacting meso-level structures (i.e. institutions); and the
`shaping' of the meso-level structures through which objectives at the
macrolevel can be achieved by collective, purposeful action at the micro-level. The
open question is how to deliver planned emergence in socio-technical systems,
which includes both computational and social intelligence as micro-level
components, electronic institutions amongst the meso-level structures, and meso-level
objectives which are global in nature (e.g. climate change). We begin to address
this question by building on the concept of electronic institutions.
3.2</p>
      </sec>
      <sec id="sec-3-2">
        <title>Electronic Institutions</title>
        <p>Electronic institutions are used to represent the structures, functions and
processes of an institution in mathematical, logical and computational form.</p>
        <p>
          In terms of functional representation, an institution's rules can be divided
into three levels, from lower to higher [
          <xref ref-type="bibr" rid="ref16">16</xref>
          ]: operational-choice rules (OC) are
concerned with the provision and appropriation of resources, as well as with
membership, monitoring and enforcement; social collective-choice rules (SC) drive policy
making and selection of operational-choice rules; and constitutional-choice rules
(CC) deal with eligibility and formulation of the collective-choice rules.
Resource management institution
v( )
scr3
chair
v( )
scr6
chair
ASalloc
        </p>
        <p>wdMethod
v( )</p>
        <p>scr1
raMethod
da
ocr1
ra
chair
allocator</p>
        <p>SC
wdMethod
v( )</p>
        <p>scr2
chair
monF req
ra0
monitor
ocr2
sa
k</p>
        <p>ASmaint</p>
        <p>wdMethod
v( )</p>
        <p>scr4
feeMethod</p>
        <p>chair
a
ocr3
fa
v( )</p>
        <p>scr5
chair
sancMethod</p>
        <p>SC
wdMethod
ocr4
sa
fa0
accountant monitor</p>
        <p>For example, Figure 1 illustrates a resource management institution with
two action situations, one for resource allocation (ASalloc) and one for
infrastructure maintenance (ASmaint). In ASalloc, there are two operational-choice
rules: ocr1 allocates the resource to the users, according to their demands and
some allocation method (raM ethod); ocr2 applies monitoring to identify any
users that appropriate more resources than they have been allocated. For the
social collective-choice rules, scr1 selects the allocation method (raM ethod);
scr2 selects the monitoring frequency; and scr3 selects the winner determination
method to be used in the voting procedures of scr1 and scr2. (The functions are
similar for the infrastructure maintenance action situation ASmaint.)</p>
        <p>
          A formal representation of institutional processes can also be given, which
identi es their procedural, temporal and normative aspects, typically of concern
in the study of social and organisational systems. In [
          <xref ref-type="bibr" rid="ref17 ref19">19, 17</xref>
          ], computational logic
was used to represent these processes, using the Event Calculus (EC) [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]. This
is fundamental to the representation of self-organisation and self-governance.
However, a key challenge now is to encapsulate formal models of social processes,
as speci ed by Dynamic Social Psychology [
          <xref ref-type="bibr" rid="ref10 ref11 ref9">10, 9, 11</xref>
          ], within the framework.
3.3
        </p>
      </sec>
      <sec id="sec-3-3">
        <title>Holonic System Architectures</title>
        <p>
          In terms of engineering algorithmic institutions for `real world' socio-technical
applications, we advocate the use of holonic system architectures. Holonic
architectures and their key role in creating viable complex systems were introduced
by Simon [
          <xref ref-type="bibr" rid="ref23">23</xref>
          ], re ned by Koestler [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ], and progressively adopted in software
system engineering. For instance, holonic principles have been referred to as the
\laws of arti cial systems. Ignoring these laws is analogous to ignoring gravity
in civil engineering" [
          <xref ref-type="bibr" rid="ref24">24</xref>
          ].
        </p>
        <p>In brief, a holonic system is composed of simpler subsystems, which are
composed of sub-subsystems and so on, recursively. Each system resource is both:
an autonomous whole controlling its parts; and a dependent part of a
suprasystem. This helps construct large systems with macro-goals from intermediary
components able to achieve partial goals. It also improves reactivity, stability
and robustness by enabling local self-* processes and limiting their global
effects. For example, a smart house `system' at one level (i.e. a house with a smart
meter installed and programmable devices) becomes a sub-system itself at the
next scale up (e.g. a district with smart houses and other forms of renewable
generation), while districts themselves are sub-systems at the next higher scale,
and subject to a di erent set of policies and policy goals (see Figure 2).</p>
        <p>
          A holonic approach is required to address critical complex system issues, such
as scalability, elasticity, adaptability, robustness, resilience and support for
multiscale, multi-objective policies, via recursive coordination of micro and macro
processes. Furthermore, The holonic systems perspective provides an appropriate
engineering paradigm not just for realising electronic institutions and planned
emergence, but also in representing polycentric governance [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ] and in dealing
with psychological processes with span institutional boundaries. In addition, it
would allow this kind of system and its inherent bene ts to scale with the number
and dynamicity of participants, which would make it applicable to smart city
eco-systems and provide a better opportunity for the formation and development
of social intelligence in contemporary socio-technical environments.
4
        </p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>From Shared Spaces to \Ostromopolis"</title>
      <p>This section brie y presents a case study in managing a shared living space as
a common pool resource, where the design and development of a socio-technical
system could bene t from the application of dynamic social psychology,
electronic institutions, and holonic system architectures outlined in the previous
section. From there, we brie y consider how to scale up from small local
situations to socio-technical (eco)systems for larger contexts such as smart(er) cities.
4.1</p>
      <sec id="sec-4-1">
        <title>Shared Living Spaces</title>
        <p>
          Any shared living space, such as a communal at, an open-plan o ce, or even
a public space such as a park, require people to share a common space, where
violation of (implicitly or explicitly stated) conventional rules, or social norms,
can cause instances of incivility [
          <xref ref-type="bibr" rid="ref20">20</xref>
          ]. Such incivility, characterised by a
lowintensity form of deviance from accepted norms, can be di cult to detect and
resolve, but is also very harmful for the people who experience it regularly.
        </p>
        <p>
          Therefore, it is a pressing problem in both ergonomics and urban planning to
reduce the negative side-e ects of incivility. The technological solution we have
proposed for addressing the incivility problem, is MACS (M|s A ective
Conditioning System): a system that attempts to avoid, reduce and/or resolve incivility
before it escalates into a higher-intensity situation, e.g. con ict or aggression [
          <xref ref-type="bibr" rid="ref22">22</xref>
          ].
MACS is intended to emphasise stakeholder engagement and empower collective
choice: rstly by avoiding micro-management, as incivility episodes are resolved
between stakeholders (i.e. the occupants of the shared space themselves), and
only as a last resort by appeal to higher authorities; and secondly by providing
social support, through a network of communication and mutual obligations, via
the collective selection, monitoring and enforcement of the stakeholders' own
social norms and pro-social processes such as forgiveness [
          <xref ref-type="bibr" rid="ref25">25</xref>
          ].
        </p>
        <p>
          We envision the shared living space as a common pool resource which we
seek to manage according to the institutional design principles of Elinor Ostrom
[
          <xref ref-type="bibr" rid="ref16">16</xref>
          ]. In this respect, the metaphor we are pursuing is that the (intangible) `o ce
ambience' is a pooled resource which the o ce occupants can deplete by
antisocial behaviour and re-provision by pro-social behaviour. Furthermore, what is
(and is not) anti-social behaviour is determined by the occupants themselves {
a speci c instantiation of Ostrom's third principle (that those a ected by
collective choice arrangements participate in their selection). Consequently, MACS
implements a voting system for social norms, which allows for those (and only
those) admitted to a shared space to vote positively or negatively for a norm. It
also allows people to suggest new norms, as the dynamic nature of o ces might
mean there is a constant need to change norms, so MACS provides support for
this process.
        </p>
        <p>Figure 3(a) depicts the rst screen displayed for a user, after a successful
login to MACS. The navigation bar, on top, and the footer bar, at the bottom of
the screen, are constant throughout MACS. The navigation bar provides direct
access to the home screen, the social norms screen and the historical information
about events where the logged-in user has been involved in, as an o ender. Below
the navigation bar, is the set of avatars representing all the people the logged
used shares the workplace with. By hovering on each of the avatars the text \Flag
person's name's violation of norms" shows up, where person's name is replaced
by the chosen person's name. By clicking on an avatar, the user is taken to the
agging screen, where they can create a new event, by agging a violation of
norms by the person they chose. At the bottom left area of the screen there are
two di erent items regarding the logged user: their current reputation (standing
with the community for compliance with norms) and its evolution graph for the
previous 10 days, their avatar and their name.</p>
        <p>A core function of MACS is to keep the users informed about the social norms
they must abide by. Besides being able to check the norms at all times, users
must also be able to vote for them, positively or negatively, and to suggest new
norms. Figure 3(b) displays the \Social Norms" screen for an open plan o ce.
Here all norms are presented, ordered by severity level, from the most to the
least critical. Each norm is printed in the colour code that re ects its severity.
Red means the norm is very critical, orangey-red means critical, orange means
average, and nally yellow means minor. In this case, there aren't any minor
severity norms to be displayed. In front of each norm, in square brackets, is its
category. Categories are \noise", \privacy", \food", \environment", \politeness"
and \borrowing items". Below each norm is its description. And nally by each
norm are an approve (thumbs up) and a disapprove (thumbs down) buttons,
which can be used to vote positively, or negatively, respectively, for the norm.
At the bottom of the list of norms is the suggestion box, where the user may
suggest a new norm for their workplace.</p>
        <p>Fig. 3: (a) MACS user start screen; (b) MACS social norms interface
To ensure that MACS meets its objective of reducing incidents of incivility in
shared spaces, the contribution of formal models of social processes (e.g. con ict
and forgiveness), self-governance by self-selection and modi cation of rules, and
the requirement for a holonic systems approach (i.e. a user is a holon in a at;
a at is a holon in a building; a building is a holon in a district, and so on) are
all evident.
4.2</p>
        <p>\Ostromopolis"
The aim of these case studies has been to show how the varied and cross-cutting
`building blocks' of algorithmic self-governance provide a foundation for an
innovative approach to the design and development of socio-technical (eco)systems.
The current \big data" approach to making `sense' out of vast amounts of
conicting and unstructured data owing in from ICT devices deployed in various
areas of social life is leading to some advances in predictive, and prescriptive
analytics, with outcomes that range, arguably, from the bene cial and insightful
to the unwarranted, alarming and intrusive.</p>
        <p>The foundational and original character of the approach outlined here is
to rede ne the problem: instead of thinking of \global" as vast, unstructured
and/or con icting we de ne \global" as complex and holonic. The fundamental
solution we o er is to empower the social structure at di erent levels of
organization so that the self-organizing institutions may collaborate with policy
makers to govern the smart infrastructures and the data they are generating
through tailored ICT platforms implementing the electronic institution engine.
This way, the \global" is deconstructed into local aggregates that themselves
analyse, structure, interpret and utilise their data ows. In such a holonic
architecture of global systems policies turn from single-paths set towards globally
de ned goals into constraints de ning the boundaries for micro-governance at
each level of the social structure.</p>
        <p>In this way we believe it can be possible to develop socio-technical
applications which empower users, and an ecosystem which unites these applications in
managing multiple resources for the common good. We propose to start from, but
go beyond Ostrom's theories, to overcome the limitations outlined in Section 2,
to provide the foundations for promoting awareness, responsiveness and
prosocial incentives for collective action in a socio-technical ecosystem for smart(er)
cities. This innovative vision we call Ostromopolis.
5</p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Related Work</title>
      <p>
        In realising the vision of Ostromopolis, there are, in fact, several other pieces of
the `jigsaw' required, beyond the `building blocks' of Section 3. This includes:
{ the social computer [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]: in which the designers of socio-technical applications
seek to synthesise the intelligence of human and automated computational
units to tackle so-called `wicked' problems;
{ social capital: the role of social capital [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ] and the rise of cryptocurrencies
such as Bitcoin and Venn, in the creation of incentives and alternative market
arrangements has yet to be fully explored;
{ serious games and gami cation: gami cation is a natural extension of serious
games from arti cial settings with self-contained game-de ned rewards and
\win" conditions, to real-life situations where the rewards and win
conditions may be rather di erent. In real-life scenarios concerning common-pool
resources, the \win" condition is very often sustainability, rather than
termination of the game, i.e. the aim is to keep the game going.
{ knowledge commons: Ostrom's design principles re ect a pre-World Wide
Web era of scholarship and content creation, and despite some insightful
work [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ], these developments make it di cult to apply the principles to
non-physical shared sources such as data or knowledge commons, and a
further extension of the theory is required to develop applications based on
participatory sensing;
{ privacy: new platforms which respect data privacy as a fundamental design
principle are required, such as Open Mustard Seed (OMS) being developed
by ID3 (The Institute for Data Driven Design) [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ];
{ scale: the scale of the applications requires systems to process many
thousands of events per second. This is beyond the capacity of simple versions
of the Event Calculus, and new dialect is required, such as the Run-Time
Event Calculus (RTEC) [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ].
6
      </p>
    </sec>
    <sec id="sec-6">
      <title>Summary and Conclusions</title>
      <p>In this paper, we started from Ostrom's pioneering work on self-governing
institutions, but noticed there were, perhaps, some aspects where under-speci ed
(or even not at all): for example the representation of empowerment, fairness,
psychological processes, and polycentric governance.</p>
      <p>The ROSE project has demonstrated that by applying principles of dynamic
social psychology, people can be empowered to develop systems-of-systems, based
on organisations and institutions, from the middle-out, which are user-centric
and ` t for purpose' because they are self-designed by and for the users. Based
on this, we proposed that algorithmic models of such processes could be
accommodated within the formal speci cation of self-organising electronic institutions,
and furthermore, that a polycentric governance model for a `system of systems'
(of such institutions) could be realised using holonic system architectures.</p>
      <p>In conclusion, it has been the aim of this position statement to indicate
the opportunities, challenges and potential bene ts of the cross-collaboration
between the three research elds of dynamic social psychology, electronic
institutions, and holonic systems. It is our contention that this original
interdisciplinary composition can provide the foundations for designing and
developing an (eco)system of socio-technical applications for smart(er) cities. This
innovative proposal, i.e. founding smart cities on Ostrom's principles for
selfgovernance and successful collective action, is what we have called Ostromopolis.</p>
      <sec id="sec-6-1">
        <title>Acknowledgements</title>
        <p>This work was supported by funds from Polish National Science Centre (project
no. DEC-2011/02/A/HS6/00231). We would also like to thank the anonymous
reviewers for their helpful comments.</p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Artikis</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sergot</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Paliouras</surname>
          </string-name>
          , G.:
          <article-title>Run-time composite event recognition</article-title>
          .
          <source>In: Distributed Event-Based Systems (DEBS)</source>
          . pp.
          <volume>69</volume>
          {
          <issue>80</issue>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Hardjono</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Deegan</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Clippinger</surname>
          </string-name>
          , J.:
          <article-title>Social use cases for the ID3 open mustard seed platform</article-title>
          .
          <source>Technology &amp; Society Magazine</source>
          (
          <year>2014</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Hess</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ostrom</surname>
          </string-name>
          , E.:
          <article-title>Understanding Knowledge as a Commons</article-title>
          . MIT Press (
          <year>2006</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Jones</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sergot</surname>
            ,
            <given-names>M.:</given-names>
          </string-name>
          <article-title>A formal characterisation of institutionalised power</article-title>
          .
          <source>Journal of the IGPL</source>
          <volume>4</volume>
          (
          <issue>3</issue>
          ),
          <volume>427</volume>
          {
          <fpage>443</fpage>
          (
          <year>1996</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Koestler</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>The Ghost in the Machine</article-title>
          . Hutchinson
          <string-name>
            <surname>Publisher</surname>
          </string-name>
          (
          <year>1967</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Kowalski</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sergot</surname>
            ,
            <given-names>M.:</given-names>
          </string-name>
          <article-title>A logic-based calculus of events</article-title>
          .
          <source>New Generation Computing</source>
          <volume>4</volume>
          ,
          <issue>67</issue>
          {
          <fpage>95</fpage>
          (
          <year>1986</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Lam</surname>
            ,
            <given-names>W.F.</given-names>
          </string-name>
          :
          <article-title>Governing Irrigation Systems in Nepal: Institutions, Infrastructure</article-title>
          and
          <string-name>
            <given-names>Collective</given-names>
            <surname>Action</surname>
          </string-name>
          . Oakland, CA: ICS Press (
          <year>1998</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Miorandi</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Maggi</surname>
          </string-name>
          , L.:
          <article-title>\Programming" social collective intelligence</article-title>
          .
          <source>Technology &amp; Society Magazine</source>
          <volume>33</volume>
          (
          <issue>3</issue>
          ),
          <volume>55</volume>
          {
          <fpage>61</fpage>
          (
          <year>2014</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Nowak</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lewenstein</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Szamrej</surname>
          </string-name>
          , J.:
          <article-title>Bable modelem przemian spolecznych (bubbles: a model of social transition)</article-title>
          .
          <source>Swiat Nauki</source>
          (Scienti c American Polish Edition)
          <volume>12</volume>
          (
          <year>1993</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Nowak</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Szamrej</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Latane</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          :
          <article-title>From private attitude to public opinion: a dynamic theory of social impact</article-title>
          .
          <source>Psychological Review</source>
          <volume>97</volume>
          ,
          <issue>362</issue>
          {
          <fpage>376</fpage>
          (
          <year>1990</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Nowak</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Vallacher</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kus</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Urbaniak</surname>
            ,
            <given-names>J.:</given-names>
          </string-name>
          <article-title>The dynamics of societal transition: modeling non-linear change in the Polish economic system</article-title>
          .
          <source>International Journal of Sociology</source>
          <volume>35</volume>
          ,
          <issue>65</issue>
          {
          <fpage>68</fpage>
          (
          <year>2005</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Nowak</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Winkowska-Nowak</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rycielska</surname>
            ,
            <given-names>L</given-names>
          </string-name>
          . (eds.):
          <article-title>Szkola w dobie internetu (Education in the age of Internet)</article-title>
          . Warsaw: PWN (
          <year>2009</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Ostrom</surname>
          </string-name>
          , E.:
          <article-title>Beyond markets and states: Polycentric governance of complex economic systems</article-title>
          . In: Grandin,
          <string-name>
            <surname>K</surname>
          </string-name>
          . (ed.)
          <source>Les Prix Nobel. The Nobel Prizes</source>
          <year>2009</year>
          , pp.
          <volume>408</volume>
          {
          <fpage>444</fpage>
          . Stockholm: Nobel Foundation (
          <year>2010</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Ostrom</surname>
          </string-name>
          , E.:
          <article-title>Thinking about climate change as a commons</article-title>
          .
          <source>In: 15th Annual Philip Gamble Memorial Lecture</source>
          , pp.
          <volume>1</volume>
          {
          <fpage>34</fpage>
          . UMass Amherst (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Ostrom</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ahn</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          :
          <article-title>Foundations of Social Capital. An Elgar Reference Collection, Edward Elgar Pub</article-title>
          . (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Ostrom</surname>
          </string-name>
          , E.:
          <article-title>Governing the commons: The evolution of institutions for collective action</article-title>
          . Cambridge, UK: Cambridge University Press (
          <year>1990</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>Pitt</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Busquets</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Macbeth</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>Distributive justice for self-organised commonpool resource management</article-title>
          .
          <source>ACM Trans. Auton. Adapt. Syst</source>
          .
          <volume>9</volume>
          (
          <issue>3</issue>
          ),
          <volume>14</volume>
          (
          <year>2014</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <surname>Pitt</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ramirez-Cano</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Draief</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Artikis</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Interleaving multi-agent systems and social networks for organized adaptation</article-title>
          .
          <source>CMOT</source>
          <volume>17</volume>
          (
          <issue>4</issue>
          ),
          <volume>344</volume>
          {
          <fpage>378</fpage>
          (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19.
          <string-name>
            <surname>Pitt</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Schaumeier</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Artikis</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Axiomatisation of socio-economic principles for self-organising institutions: Concepts, experiments and challenges</article-title>
          .
          <source>ACM Trans. Auton. Adapt. Syst</source>
          .
          <volume>7</volume>
          (
          <issue>4</issue>
          ),
          <volume>39</volume>
          :1{
          <fpage>39</fpage>
          :39 (Dec
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20.
          <string-name>
            <surname>Porath</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pearson</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          :
          <article-title>The price of incivility</article-title>
          .
          <source>Harvard Business Review</source>
          <volume>91</volume>
          (
          <issue>1-2</issue>
          ),
          <volume>114</volume>
          (
          <year>2013</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          21.
          <string-name>
            <surname>Rescher</surname>
            ,
            <given-names>N.: Distributive</given-names>
          </string-name>
          <string-name>
            <surname>Justice. Bobbs-Merrill</surname>
          </string-name>
          (
          <year>1966</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          22.
          <string-name>
            <surname>Santos</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pitt</surname>
          </string-name>
          , J.:
          <article-title>Emotions and norms in shared spaces</article-title>
          . In: Balke,
          <string-name>
            <given-names>T.</given-names>
            ,
            <surname>Dignum</surname>
          </string-name>
          , F.,
          <string-name>
            <surname>van Riemsdijk</surname>
            ,
            <given-names>M.B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Chopra</surname>
            ,
            <given-names>A</given-names>
          </string-name>
          . (eds.)
          <source>COIN. LNCS</source>
          , vol.
          <volume>8386</volume>
          , pp.
          <volume>157</volume>
          {
          <fpage>176</fpage>
          . Springer (
          <year>2013</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref23">
        <mixed-citation>
          23.
          <string-name>
            <surname>Simon</surname>
          </string-name>
          , H.:
          <article-title>The architecture of complexity</article-title>
          .
          <source>Proc. American Philosophical Society</source>
          <volume>106</volume>
          (
          <issue>6</issue>
          ),
          <volume>467</volume>
          {
          <fpage>482</fpage>
          (
          <year>1962</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref24">
        <mixed-citation>
          24.
          <string-name>
            <surname>Valckenaers</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Brussel</surname>
            ,
            <given-names>H.V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Holvoet</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          :
          <article-title>Fundamentals of holonic systems and their implications for self-adaptive and self-organizing systems</article-title>
          .
          <source>In: IEEE SASO Workshops (SASOW)</source>
          (
          <year>2008</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref25">
        <mixed-citation>
          25.
          <string-name>
            <surname>Vasalou</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Hopfensitz</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pitt</surname>
            ,
            <given-names>J.:</given-names>
          </string-name>
          <article-title>In praise of forgiveness: Ways for repairing trust breakdowns in one-o online interactions</article-title>
          .
          <source>Int. J. Hum.-Comput. Stud</source>
          .
          <volume>66</volume>
          (
          <issue>6</issue>
          ),
          <volume>466</volume>
          {
          <fpage>480</fpage>
          (
          <year>2008</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>