What is hard in economic calculation?

NOTE HXA7241 2016-10-30T12:29Z

The reason a computationally automated, or rather assisted, economy is currently infeasible is because we lack sufficient AI capability for general ‘similarity-finding’ (similizesis). It is not, as commonly opined, that the required calculation or communication is intractable.

————

Periodically, comments revisit the question of ‘could computation (now) automate, and replace, markets?’. And the reply is always reflexively “Hayek! – ‘The use of knowledge in society’! – centralisation/etc was proven impossible long ago”. ... But this reply is wrong, in an oblique way, and the inadequacy of the arguments is easy to spot.

The market – the one we see currently working – itself computes the distribution of goods. If such computation is intractable, the market could not do it. And if any approximation that is tractable must be inadequate, then the market itself must be too. In so far as the market is working as a ‘machine’ – and that is the only way we can understand it – it is equal in power to any other general computer: what it can do, any computer can (and vice-versa). So the problem cannot, we are forced to conclude, be one of computational complexity.

The market also gathers all the data it needs, as well as performing its computation. And it does so effectively by coins and notes moving between pockets. Are we to say that this network-computation infrastructure is better than the internet plus computers? – that money in pockets is more communicationally/computationally powerful than actual networked computers – smartphones – in pockets? Money is no better a data-bearing medium than bits and electromagnetism. So the problem cannot, we are once more forced to conclude, be one of communicational difficulty.

The traditional ‘informational’, Hayekian, criticism of non-market alternatives is, on very light scrutiny, obviously faulty. So what is wrong? If computational automation to replace markets is not feasible, why not? What is the real reason? Or is there a slightly different question with a more plausible answer?.

————

The crux of ‘economic calculation’ is not (or no longer) data-gathering or computational complexity, it is what division to make between automation and delegation to people. It is about which problem it consigns to algorithm, and what form of questions and answers it poses to people.

The principle of operation of markets is taken to be prices, but this is in truth more subsidiary to their larger process. Markets ‘externalise’ the main part of their computation to people's decisions. The market's computation is really largely human's – they are doing the hard work.

In an economy, the hard work is similarity-finding.

————

Markets are coordinative: they communicate each individual's behaviour so as to shape everyone else's – prices diffuse through the system applying pressure to each individual's behaviour from all others. This is the market's part in a joint process.

In response, individuals need to be able to modify their actions, and the plans behind them. This is the axis of the whole. They cannot merely change ad-hoc, randomly, for then their whole behaviour would become random – they must have significant, complex, perhaps rational, direction. The least such capability individuals need to adjust something – coherently – is this: to see and find similarity in any alternative options available. (We can name this similarity-finding ‘similizesis’ (noun), from: ‘Similizetic’ – adj.: similarity-seeking (algorithm) – made from Latin and Greek: similis ‘like’ + zeteo ‘seek’.).

Prices induce balancing of resource usage at large scale, but something else is needed for group cooperation: coherent action, aligning on common structure – and that is what similizesis induces between individuals.

This is the substantial work that markets require and delegate to humans, and that we currently have no automation for. But though it seems, on one hand, to be a demanding problem for software engineering, on the other hand, it seems not deeply hard. The most recent growth in AI in broadly recognition tasks seems adjacently related.

————

Prompted most recently by:

Major reference:

(This has only a hint of similizesis: "(IIA) and (IIB) require us to disaggregate all the goods (and services) of the economy to the point where everything inside each category is substitutable.").