Variety (cybernetics)

Last updated

In cybernetics, the term variety denotes the total number of distinguishable elements of a set, most often the set of states, inputs, or outputs of a finite-state machine or transformation, or the binary logarithm of the same quantity. [1] Variety is used in cybernetics as an information theory that is easily related to deterministic finite automata, and less formally as a conceptual tool for thinking about organization, regulation, and stability. It is an early theory of complexity in automata, complex systems, [1] :6 and operations research. [2]

Contents

Overview

The term "variety" was introduced by W. Ross Ashby to extend his analysis of machines to their set of possible behaviors. [3] :121 Ashby says: [1] :126

The word variety, in relation to a set of distinguishable elements, will be used to mean either (i) the number of distinct elements, or (ii) the logarithm to the base 2 of the number, the context indicating the sense used.

In the second case, variety is measured in bits. For example, a machine with states has a variety of four states or two bits. The variety of a sequence or multiset is the number of distinct symbols in it. For example, the sequence has a variety of four. As a measure of uncertainty, variety is directly related to information: . [4] :26

Since the number of distinguishable elements depends on both the observer and the set, "the observer and his powers of discrimination may have to be specified if the variety is to be well defined". [1] :125 Gordon Pask distinguished between the variety of the chosen reference frame and the variety of the system the observer builds up within the reference frame. The reference frame consists of a state space and the set of measurements available to the observer, which have total variety , where is the number of states in the state space. The system the observer builds up begins with the full variety , which is reduced as the observer loses uncertainty about the state by learning to predict the system. If the observer can perceive the system as a deterministic machine in the given reference frame, observation may reduce the variety to zero as the machine becomes completely predictable. [4] :27

Laws of nature constrain the variety of phenomena by disallowing certain behavior. [1] :130 Ashby made two observations he considered laws of nature, the law of experience and the law of requisite variety. The law of experience holds that machines under input tend to lose information about their original state, and the law of requisite variety states a necessary, though not sufficient, condition for a regulator to exert anticipatory control by responding to its current input (rather than the previous output as in error-controlled regulation).

Law of experience

The law of experience refers to the observation that the variety of states exhibited by a deterministic machine in isolation cannot increase, and a set of identical machines fed the same inputs cannot exhibit increasing variety of states, and tend to synchronize instead. [5]

Some name is necessary by which this phenomenon can be referred to. I shall call it the law of Experience. It can be described more vividly by the statement that information put in by change at a parameter tends to destroy and replace information about the system's initial state. [1] :139

This is a consequence of the decay of variety: a deterministic transformation cannot increase the variety of a set. As a result, an observer's uncertainty about the state of the machine either remains constant or decreases with time. Ashby shows that this holds for machines with inputs as well. Under any constant input the machines' states move toward any attractors that exist in the corresponding transformation and some may synchronize at these points. If the input changes to some other input and the machines' behavior enacts a different transformation, more than one of these attractors may sit in the same basin of attraction under . States which arrived and possibly synchronized at those attractors under then synchronize further under . "In other words," Ashby says, "changes at the input of a transducer tend to make the system's state (at a given moment) less dependent on the transducer's individual initial state and more dependent on the particular sequence of parameter-values used as input." [1] :136–138

While there is a law of non-increase, there is only a tendency to decrease, since the variety can hold steady without decreasing if the set undergoes a one-to-one transformation, or if the states have synchronized into a subset for which this is the case. In the formal language analysis of finite machines, an input sequence that synchronizes identical machines (no matter the variety of their initial states) is called a synchronizing word.

Law of requisite variety

D emits disturbances, to which R emits responses. The table T describes the interaction between D and R's output, and the outcome of this interaction is expressed in E. LRV game.svg
D emits disturbances, to which R emits responses. The table T describes the interaction between D and R's output, and the outcome of this interaction is expressed in E.

Ashby used variety to analyze the problem of regulation by considering a two-player game, where one player, , supplies disturbances which another player, , must regulate to ensure acceptable outcomes. and each have a set of available moves, which choose the outcome from a table with as many rows as has moves and as many columns as has moves. is allowed full knowledge of 's move, and must pick moves in response so that the outcome is acceptable. [1] :202

Since many games pose no difficulty for , the table is chosen so that no outcome is repeated in any column, which ensures that in the corresponding game any change in 's move means a change in outcome, unless has a move to keep the outcome from changing. With this restriction, if never changes moves, the outcome fully depends on 's choice, while if multiple moves are available to it can reduce the variety of outcomes, if the table allows it, dividing by as much as its own variety of moves. [1] :204

The law of requisite variety is that a deterministic strategy for can at best limit the variety in outcomes to , and only adding variety in 's moves can reduce the variety of outcomes: "only variety can destroy variety". [1] :207 For example, in the table above, has a strategy (shown in bold) to reduce the variety in outcomes to , which is in this case. Ashby considered this a fundamental observation to the theory of regulation.

It is not possible for to reduce the outcomes any further and still respond to all potential moves from , but it is possible that another table of the same shape would not allow to do so well. Requisite variety is necessary, but not sufficient to control the outcomes. If and are machines, they cannot possibly choose more moves than they have states. Thus, a perfect regulator must have at least as many distinguishable states as the phenomenon it is intended to regulate (the table must be square, or wider).

Stated in bits, the law is . In Shannon's information theory, , , and are information sources. The condition that if never changes moves, the uncertainty in outcomes is no less than the uncertainty in 's move is expressed as , and since 's strategy is a deterministic function of set . With the rules of the game expressed this way, it can be shown that . [1] :207–208 Ashby described the law of requisite variety as related to the tenth theorem in Shannon's Mathematical Theory of Communication (1948): [6]

This law (of which Shannon's theorem 10 relating to the suppression of noise is a special case) says that if a certain quantity of disturbance is prevented by a regulator from reaching some essential variables, then that regulator must be capable of exerting at least that quantity of selection.

Ashby also postulated that the law of requisite variety allows for the measurement of regulation, namely that the requirement for a well-functioning regulation is that the regulator or regulators in place are designed to account for all the possible states in which the variable or variables to be regulated may fall within, so as to ensure that the outcome is always within acceptable range. [1] :209 Ashby saw this law as relevant to problems in biology such as homeostasis, and a "wealth of possible applications". Later, in 1970, Conant working with Ashby produced the good regulator theorem [7] which required autonomous systems to acquire an internal model of their environment to persist and achieve stability (e.g. Nyquist stability criterion) or dynamic equilibrium.

Boisot and McKelvey updated this law to the "law of requisite complexity", that holds that, in order to be efficaciously adaptive, the internal complexity of a system must match the external complexity it confronts. A further practical application of this law is the view that information systems (IS) alignment is a continuous coevolutionary process that reconciles top-down ‘rational designs’ and bottom-up ‘emergent processes’ of consciously and coherently interrelating all components of the Business/IS relationships in order to contribute to an organization’s performance over time. [8] [9]

The application in project management of the law of requisite complexity is the model of positive, appropriate and negative complexity proposed by Stefan Morcov.

Applications

Applications to organization and management were immediately apparent to Ashby. One implication is that individuals have a finite capacity for processing information, and beyond this limit what matters is the organization between individuals. [2]

Thus the limitation which holds over a team of n men may be much higher, perhaps n times as high, as the limitation holding over the individual man. To make use of the higher limit, however, the team must be efficiently organized; and until recently our understanding of organization has been pitifully small.

Stafford Beer took up this analysis in his writings on management cybernetics. Beer defines variety as "the total number of possible states of a system, or of an element of a system". [10] Beer restates the Law of Requisite Variety as "Variety absorbs variety." [11] Stated more simply, the logarithmic measure of variety represents the minimum number of choices (by binary chop) needed to resolve uncertainty. Beer used this to allocate the management resources necessary to maintain process viability.

The cybernetician Frank George discussed the variety of teams competing in games like football or rugby to produce goals or tries. A winning chess player might be said to have more variety than his losing opponent. Here a simple ordering is implied. The attenuation and amplification of variety were major themes in Stafford Beer's work in management [10] (the profession of control, as he called it). The number of staff needed to answer telephones, control crowds or tend to patients are clear examples.

The application of natural and analogue signals to variety analysis require an estimate of Ashby's "powers of discrimination" (see above quote). Given the butterfly effect of dynamical systems care must be taken before quantitative measures can be produced. Small quantities, which might be overlooked, can have big effects. In his Designing Freedom Stafford Beer discusses the patient in a hospital with a temperature denoting fever. [12] Action must be taken immediately to isolate the patient. Here no amount of variety recording the patients' average temperature would detect this small signal which might have a big effect. Monitoring is required on individuals thus amplifying variety (see Algedonic alerts in the viable system model or VSM). Beer's work in management cybernetics and VSM is largely based on variety engineering.

Further applications involving Ashby's view of state counting include the analysis of digital bandwidth requirements, redundancy and software bloat, the bit representation of data types and indexes, analogue to digital conversion, the bounds on finite state machines and data compression. See also, e.g., Excited state, State (computer science), State pattern, State (controls) and Cellular automaton. Requisite Variety can be seen in Chaitin's Algorithmic information theory where a longer, higher variety program or finite state machine produces incompressible output with more variety or information content.

In general a description of the required inputs and outputs is established then encoded with the minimum variety necessary. The mapping of input bits to output bits can then produce an estimate of the minimum hardware or software components necessary to produce the desired control behaviour; for example, in a piece of computer software or computer hardware.

Variety is one of nine requisites that are required by an ethical regulator. [13]

See also

Related Research Articles

<span class="mw-page-title-main">Finite-state machine</span> Mathematical model of computation

A finite-state machine (FSM) or finite-state automaton, finite automaton, or simply a state machine, is a mathematical model of computation. It is an abstract machine that can be in exactly one of a finite number of states at any given time. The FSM can change from one state to another in response to some inputs; the change from one state to another is called a transition. An FSM is defined by a list of its states, its initial state, and the inputs that trigger each transition. Finite-state machines are of two types—deterministic finite-state machines and non-deterministic finite-state machines. A deterministic finite-state machine can be constructed equivalent to any non-deterministic one.

A mathematical model is an abstract description of a concrete system using mathematical concepts and language. The process of developing a mathematical model is termed mathematical modeling. Mathematical models are used in applied mathematics and in the natural sciences and engineering disciplines, as well as in non-physical systems such as the social sciences (such as economics, psychology, sociology, political science). It can also be taught as a subject in its own right.

In theoretical computer science, a nondeterministic Turing machine (NTM) is a theoretical model of computation whose governing rules specify more than one possible action when in some given situations. That is, an NTM's next state is not completely determined by its action and the current symbol it sees, unlike a deterministic Turing machine.

<span class="mw-page-title-main">Automata theory</span> Study of abstract machines and automata

Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science. The word automata comes from the Greek word αὐτόματος, which means "self-acting, self-willed, self-moving". An automaton is an abstract self-propelled computing device which follows a predetermined sequence of operations automatically. An automaton with a finite number of states is called a Finite Automaton (FA) or Finite-State Machine (FSM). The figure on the right illustrates a finite-state machine, which is a well-known type of automaton. This automaton consists of states and transitions. As the automaton sees a symbol of input, it makes a transition to another state, according to its transition function, which takes the previous state and current input symbol as its arguments.

In theoretical computer science, a probabilistic Turing machine is a non-deterministic Turing machine that chooses between the available transitions at each point according to some probability distribution. As a consequence, a probabilistic Turing machine can—unlike a deterministic Turing Machine—have stochastic results; that is, on a given input and instruction state machine, it may have different run times, or it may not halt at all; furthermore, it may accept an input in one execution and reject the same input in another execution.

<span class="mw-page-title-main">W. Ross Ashby</span> English psychiatrist (1903–1972)

William Ross Ashby was an English psychiatrist and a pioneer in cybernetics, the study of the science of communications and automatic control systems in both machines and living things. His first name was not used: he was known as Ross Ashby.

In control systems, sliding mode control (SMC) is a nonlinear control method that alters the dynamics of a nonlinear system by applying a discontinuous control signal that forces the system to "slide" along a cross-section of the system's normal behavior. The state-feedback control law is not a continuous function of time. Instead, it can switch from one continuous structure to another based on the current position in the state space. Hence, sliding mode control is a variable structure control method. The multiple control structures are designed so that trajectories always move toward an adjacent region with a different control structure, and so the ultimate trajectory will not exist entirely within one control structure. Instead, it will slide along the boundaries of the control structures. The motion of the system as it slides along these boundaries is called a sliding mode and the geometrical locus consisting of the boundaries is called the sliding (hyper)surface. In the context of modern control theory, any variable structure system, like a system under SMC, may be viewed as a special case of a hybrid dynamical system as the system both flows through a continuous state space but also moves through different discrete control modes.

<span class="mw-page-title-main">Time complexity</span> Estimate of time taken for running an algorithm

In computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations performed by the algorithm, supposing that each elementary operation takes a fixed amount of time to perform. Thus, the amount of time taken and the number of elementary operations performed by the algorithm are taken to be related by a constant factor.

<span class="mw-page-title-main">Complexity class</span> Set of problems in computational complexity theory

In computational complexity theory, a complexity class is a set of computational problems of related resource-based complexity. The two most commonly analyzed resources are time and memory.

<span class="mw-page-title-main">Array processing</span>

Array processing is a wide area of research in the field of signal processing that extends from the simplest form of 1 dimensional line arrays to 2 and 3 dimensional array geometries. Array structure can be defined as a set of sensors that are spatially separated, e.g. radio antenna and seismic arrays. The sensors used for a specific problem may vary widely, for example microphones, accelerometers and telescopes. However, many similarities exist, the most fundamental of which may be an assumption of wave propagation. Wave propagation means there is a systemic relationship between the signal received on spatially separated sensors. By creating a physical model of the wave propagation, or in machine learning applications a training data set, the relationships between the signals received on spatially separated sensors can be leveraged for many applications.

In computational complexity theory, Yao's principle is a way to prove lower bounds on the worst-case performance of randomized algorithms, by comparing them to deterministic (non-random) algorithms. It states that, for any randomized algorithm, there exists a probability distribution on inputs to the algorithm, so that the expected cost of the randomized algorithm on its worst-case input is at least as large as the cost of the best deterministic algorithm on a random input from this distribution. Thus, to establish a lower bound on the performance of randomized algorithms, it suffices to find an appropriate distribution of difficult inputs, and to prove that no deterministic algorithm can perform well against that distribution. This principle is named after Andrew Yao, who first proposed it.

In control theory, the linear–quadratic–Gaussian (LQG) control problem is one of the most fundamental optimal control problems, and it can also be operated repeatedly for model predictive control. It concerns linear systems driven by additive white Gaussian noise. The problem is to determine an output feedback law that is optimal in the sense of minimizing the expected value of a quadratic cost criterion. Output measurements are assumed to be corrupted by Gaussian noise and the initial state, likewise, is assumed to be a Gaussian random vector.

Full state feedback (FSF), or pole placement, is a method employed in feedback control system theory to place the closed-loop poles of a plant in pre-determined locations in the s-plane. Placing poles is desirable because the location of the poles corresponds directly to the eigenvalues of the system, which control the characteristics of the response of the system. The system must be considered controllable in order to implement this method.

The good regulator is a theorem conceived by Roger C. Conant and W. Ross Ashby that is central to cybernetics. Originally stated that "every good regulator of a system must be a model of that system", but more accurately, every good regulator must contain a model of the system. That is, any regulator that is maximally simple among optimal regulators must behave as an image of that system under a homomorphism; while the authors sometimes say 'isomorphism', the mapping they construct is only a homomorphism.

A read-only Turing machine or two-way deterministic finite-state automaton (2DFA) is class of models of computability that behave like a standard Turing machine and can move in both directions across input, except cannot write to its input tape. The machine in its bare form is equivalent to a deterministic finite automaton in computational power, and therefore can only parse a regular language.

<span class="mw-page-title-main">Cybernetics</span> Transdisciplinary field concerned with regulatory and purposive systems

Cybernetics is a wide-ranging field concerned with circular causal processes such as feedback. Norbert Wiener named the field after an example of circular causal feedback—that of steering a ship where the helmsman adjusts their steering in response to the effect it is observed as having, enabling a steady course to be maintained amongst disturbances such as cross-winds or the tide.

Quantum complexity theory is the subfield of computational complexity theory that deals with complexity classes defined using quantum computers, a computational model based on quantum mechanics. It studies the hardness of computational problems in relation to these complexity classes, as well as the relationship between quantum complexity classes and classical complexity classes.

Self-organization, a process where some form of overall order arises out of the local interactions between parts of an initially disordered system, was discovered in cybernetics by William Ross Ashby in 1947. It states that any deterministic dynamic system automatically evolves towards a state of equilibrium that can be described in terms of an attractor in a basin of surrounding states. Once there, the further evolution of the system is constrained to remain in the attractor. This constraint implies a form of mutual dependency or coordination between its constituent components or subsystems. In Ashby's terms, each subsystem has adapted to the environment formed by all other subsystems.

<span class="mw-page-title-main">Ethical regulator theorem</span>

Mick Ashby's ethical regulator theorem builds upon the Conant-Ashby good regulator theorem, which is ambiguous because being good at regulating does not imply being good ethically.

An Introduction to Cybernetics is a book by W. Ross Ashby, first published in 1956 in London by Chapman and Hall. An Introduction is considered the first textbook on cybernetics, where the basic principles of the new field were first rigorously laid out. It was intended to serve as an elementary introduction to cybernetic principles of homeostasis, primarily for an audience of physiologists, psychologists, and sociologists. Ashby addressed adjacent topics in addition to cybernetics such as information theory, communications theory, control theory, game theory and systems theory.

References

  1. 1 2 3 4 5 6 7 8 9 10 11 12 13 Ashby, William Ross (1956). An Introduction to Cybernetics.
  2. 1 2 Ashby, William Ross (1958). "Requisite Variety and its Implications for the Control of Complex Systems" (PDF). Cybernetica. 1 (2).
  3. Ashby 1956 , p. 121: "In Part I we considered the main properties of the machine, usually with the assumption that we had before us the actual thing ... To progress in cybernetics, however, we shall have to extend our range of consideration. The fundamental questions in regulation and control can be answered only when we are able to consider the broader set of what it might do..."
  4. 1 2 Pask, Gordon (1961). An Approach to Cybernetics.
  5. Ashby 1956 , p. 138: "It is easy to see, therefore, that, provided the same change is made to all, change of parameter-value to the whole set cannot increase the set's variety ... change of parameter value makes possible a fall to a new, and low, minimum ... Since this will often happen we can make the looser, but more vivid statement that a uniform change at the inputs of a set of transducers tends to drive the set's variety down."
  6. W. R. Ashby (1960), "Design for a Brain", p. 229.
  7. Conant 1970
  8. Benbya, H.; McKelvey, B. (2006). "Using coevolutionary and complexity theories to improve IS alignment: a multi-level approach". Journal of Information Technology. 21 (4): 284–298. doi:10.1057/palgrave.jit.2000080. S2CID   15214275.
  9. Boisot, M.; McKelvey, B. (2011). "Complexity and organization-environment relations: revisiting Ashby's law of requisite variety". P. Allen, the Sage Handbook of Complexity and Management: 279–298.
  10. 1 2 Beer (1981)
  11. Beer (1979) p286
  12. Beer (1974)
  13. M. Ashby, "Ethical Regulators and Super-Ethical Systems", 2017

Further reading