-
Staged Models for Interdisciplinary Research
Authors:
Luis F. Lafuerza,
Louise Dyson,
Bruce Edmonds,
Alan J. McKane
Abstract:
Modellers of complex biological or social systems are often faced with an invidious choice: to use simple models with few mechanisms that can be fully analysed, or to construct complicated models that include all the features which are thought relevant. The former ensures rigour, the latter relevance. We discuss a method that combines these two approaches, beginning with a complex model and then m…
▽ More
Modellers of complex biological or social systems are often faced with an invidious choice: to use simple models with few mechanisms that can be fully analysed, or to construct complicated models that include all the features which are thought relevant. The former ensures rigour, the latter relevance. We discuss a method that combines these two approaches, beginning with a complex model and then modelling the complicated model with simpler models. The resulting "chain" of models ensures some rigour and relevance. We illustrate this process on a complex model of voting intentions, constructing a reduced model which agrees well with the predictions of the full model. Experiments with variations of the simpler model yield additional insights which are hidden by the complexity of the full model. This approach facilitated collaboration between social scientists and physicists -- the complex model was specified based on the social science literature, and the simpler model constrained to agree (in core aspects) with the complicated model.
△ Less
Submitted 3 July, 2016; v1 submitted 4 April, 2016;
originally announced April 2016.
-
Simplification and analysis of a model of social interaction in voting
Authors:
Luis F. Lafuerza,
Louise Dyson,
Bruce Edmonds,
Alan J. McKane
Abstract:
A recently proposed model of social interaction in voting is investigated by simplifying it down into a version that is more analytically tractable and which allows a mathematical analysis to be performed. This analysis clarifies the interplay of the different elements present in the system --- social influence, heterogeneity and noise --- and leads to a better understanding of its properties. The…
▽ More
A recently proposed model of social interaction in voting is investigated by simplifying it down into a version that is more analytically tractable and which allows a mathematical analysis to be performed. This analysis clarifies the interplay of the different elements present in the system --- social influence, heterogeneity and noise --- and leads to a better understanding of its properties. The origin of a regime of bistability is identified. The insight gained in this way gives further intuition into the behaviour of the original model.
△ Less
Submitted 10 July, 2016; v1 submitted 17 August, 2015;
originally announced August 2015.
-
Modelling Complexity for Policy: Opportunities and Challenges
Authors:
Bruce Edmonds,
Carlos Gershenson
Abstract:
This chapter reviews the purpose and use of models from the field of complex systems and, in particular, the implications of trying to use models to understand or make decisions within complex situations, such as policy makers usually face. A discussion of the different dimensions one can formalise situations, the different purposes for models and the different kinds of relationship they can have…
▽ More
This chapter reviews the purpose and use of models from the field of complex systems and, in particular, the implications of trying to use models to understand or make decisions within complex situations, such as policy makers usually face. A discussion of the different dimensions one can formalise situations, the different purposes for models and the different kinds of relationship they can have with the policy making process, is followed by an examination of the compromises forced by the complexity of the target issues. Several modelling approaches from complexity science are briefly described, with notes as to their abilities and limitations. These approaches include system dynamics, network theory, information theory, cellular automata, and agent-based modelling. Some examples of policy models are presented and discussed in the context of the previous analysis. Finally we conclude by outlining some of the major pitfalls facing those wishing to use such models for policy evaluation.
△ Less
Submitted 8 October, 2013;
originally announced October 2013.
-
Towards a living earth simulator
Authors:
M. Paolucci,
D. Kossman,
R. Conte,
P. Lukowicz,
P. Argyrakis,
A. Blandford,
G. Bonelli,
S. Anderson,
S. de Freitas,
B. Edmonds,
N. Gilbert,
M. Gross,
J. Kohlhammer,
P. Koumoutsakos,
A. Krause,
B. -O. Linnér,
P. Slusallek,
O. Sorkine,
R. W. Sumner,
D. Helbing
Abstract:
The Living Earth Simulator (LES) is one of the core components of the FuturICT architecture. It will work as a federation of methods, tools, techniques and facilities supporting all of the FuturICT simulation-related activities to allow and encourage interactive exploration and understanding of societal issues. Society-relevant problems will be targeted by leaning on approaches based on complex sy…
▽ More
The Living Earth Simulator (LES) is one of the core components of the FuturICT architecture. It will work as a federation of methods, tools, techniques and facilities supporting all of the FuturICT simulation-related activities to allow and encourage interactive exploration and understanding of societal issues. Society-relevant problems will be targeted by leaning on approaches based on complex systems theories and data science in tight interaction with the other components of FuturICT. The LES will evaluate and provide answers to real-world questions by taking into account multiple scenarios. It will build on present approaches such as agent-based simulation and modeling, multiscale modelling, statistical inference, and data mining, moving beyond disciplinary borders to achieve a new perspective on complex social systems.
△ Less
Submitted 6 April, 2013;
originally announced April 2013.
-
Learning, Social Intelligence and the Turing Test - why an "out-of-the-box" Turing Machine will not pass the Turing Test
Authors:
Bruce Edmonds,
Carlos Gershenson
Abstract:
The Turing Test (TT) checks for human intelligence, rather than any putative general intelligence. It involves repeated interaction requiring learning in the form of adaption to the human conversation partner. It is a macro-level post-hoc test in contrast to the definition of a Turing Machine (TM), which is a prior micro-level definition. This raises the question of whether learning is just anothe…
▽ More
The Turing Test (TT) checks for human intelligence, rather than any putative general intelligence. It involves repeated interaction requiring learning in the form of adaption to the human conversation partner. It is a macro-level post-hoc test in contrast to the definition of a Turing Machine (TM), which is a prior micro-level definition. This raises the question of whether learning is just another computational process, i.e. can be implemented as a TM. Here we argue that learning or adaption is fundamentally different from computation, though it does involve processes that can be seen as computations. To illustrate this difference we compare (a) designing a TM and (b) learning a TM, defining them for the purpose of the argument. We show that there is a well-defined sequence of problems which are not effectively designable but are learnable, in the form of the bounded halting problem. Some characteristics of human intelligence are reviewed including it's: interactive nature, learning abilities, imitative tendencies, linguistic ability and context-dependency. A story that explains some of these is the Social Intelligence Hypothesis. If this is broadly correct, this points to the necessity of a considerable period of acculturation (social learning in context) if an artificial intelligence is to pass the TT. Whilst it is always possible to 'compile' the results of learning into a TM, this would not be a designed TM and would not be able to continually adapt (pass future TTs). We conclude three things, namely that: a purely "designed" TM will never pass the TT; that there is no such thing as a general intelligence since it necessary involves learning; and that learning/adaption and computation should be clearly distinguished.
△ Less
Submitted 15 March, 2012;
originally announced March 2012.
-
Cylindrical gravitational waves in expanding universes: Models for waves from compact sources
Authors:
Robert H. Gowdy,
B. Douglas Edmonds
Abstract:
New boundary conditions are imposed on the familiar cylindrical gravitational wave vacuum spacetimes. The new spacetime family represents cylindrical waves in a flat expanding (Kasner) universe. Space sections are flat and nonconical where the waves have not reached and wave amplitudes fall off more rapidly than they do in Einstein-Rosen solutions, permitting a more regular null inifinity.
New boundary conditions are imposed on the familiar cylindrical gravitational wave vacuum spacetimes. The new spacetime family represents cylindrical waves in a flat expanding (Kasner) universe. Space sections are flat and nonconical where the waves have not reached and wave amplitudes fall off more rapidly than they do in Einstein-Rosen solutions, permitting a more regular null inifinity.
△ Less
Submitted 6 April, 2007; v1 submitted 29 January, 2007;
originally announced January 2007.
-
Constraint Exploration and Envelope of Simulation Trajectories
Authors:
Oswaldo Teran,
Bruce Edmonds,
Steve Wallis
Abstract:
The implicit theory that a simulation represents is precisely not in the individual choices but rather in the 'envelope' of possible trajectories - what is important is the shape of the whole envelope. Typically a huge amount of computation is required when experimenting with factors bearing on the dynamics of a simulation to tease out what affects the shape of this envelope. In this paper we pr…
▽ More
The implicit theory that a simulation represents is precisely not in the individual choices but rather in the 'envelope' of possible trajectories - what is important is the shape of the whole envelope. Typically a huge amount of computation is required when experimenting with factors bearing on the dynamics of a simulation to tease out what affects the shape of this envelope. In this paper we present a methodology aimed at systematically exploring this envelope. We propose a method for searching for tendencies and proving their necessity relative to a range of parameterisations of the model and agents' choices, and to the logic of the simulation language. The exploration consists of a forward chaining generation of the trajectories associated to and constrained by such a range of parameterisations and choices. Additionally, we propose a computational procedure that helps implement this exploration by translating a Multi Agent System simulation into a constraint-based search over possible trajectories by 'compiling' the simulation rules into a more specific form, namely by partitioning the simulation rules using appropriate modularity in the simulation. An example of this procedure is exhibited.
Keywords: Constraint Search, Constraint Logic Programming, Proof, Emergence, Tendencies
△ Less
Submitted 3 July, 2000;
originally announced July 2000.
-
A Proposal for the Establishment of Review Boards - a flexible approach to the selection of academic knowledge
Authors:
Bruce Edmonds
Abstract:
Paper journals use a small number of trusted academics to select information on behalf of all their readers. This inflexibility in the selection was justified due to the expense of publishing. The advent of cheap distribution via the internet allows a new trade-off between time and expense and the flexibility of the selection process. This paper explores one such possible process one where the r…
▽ More
Paper journals use a small number of trusted academics to select information on behalf of all their readers. This inflexibility in the selection was justified due to the expense of publishing. The advent of cheap distribution via the internet allows a new trade-off between time and expense and the flexibility of the selection process. This paper explores one such possible process one where the role of mark-up and archiving is separated from that of review. The idea is that authors publish their papers on their own web pages or in a public paper archive, a board of reviewers judge that paper on a number of different criteria. The detailed results of the reviews are stored in such a way as to enable readers to use these judgements to find the papers they want using search engines on the web. Thus instead of journals using generic selection criteria readers can set their own to suit their needs. The resulting system might be even cheaper than web-journals to implement.
△ Less
Submitted 1 April, 1999;
originally announced April 1999.
