School of Computer Science THE UNIVERSITY OF BIRMINGHAM Ghost Machine

TITLE AND ABSTRACT FOR TALK IN ZURICH

The talk (invited by philosophy students) was given in the philosophy department of the University of Zurich on Monday 11th March 2019.


Details provided here were provisional and illustrative because I expected the presentation to be highly interactive, with topics selected in response to the audience, and partly because I offered an unfamiliar combination of topics, linking philosophy, biology (especially evolution), mathematics, AI/robotics, linguistics, psychology, neuroscience and physics/chemistry. Links are provided below for following up the main themes.
This page is http://www.cs.bham.ac.uk/research/projects/cogaff/misc/zurich-talk.html (also PDF)
The "official" announcement is http://www.agenda.uzh.ch/record.php?id=41180
The remaining lectures in this series can be found in this (shrinking) list:
https://www.uzh.ch/cmsssl/de/outreach/events/rv/2019fs/philosophie.html
Unshrinking list of speakers (PDF):
https://www.uzh.ch/cmsssl/dam/jcr:737fd39d-5e06-4408-b633-c3c1c5a57fa3/RVL_FS2019_Philosophie_Flyer.pdf

How can a physical universe produce mathematical minds?
And why are they so hard to replicate in current AI systems?

SPEAKER
Aaron Sloman
http://www.cs.bham.ac.uk/~axs
Honorary Professor of AI and Cognitive Science
School of Computer Science, University of Birmingham, UK

EXTENDED ABSTRACT:
Last updated: 17 Mar 2019
This is a progress report on a long-term project. Most theories of learning assume there's a fixed type of world to be understood by learners, whereas biological evolution, in collaboration with its products, is metaphysically creative, constantly extending the diversity and complexity of the world to be understood, using ever expanding forms of compositionality, requiring increasingly complex mathematical mechanisms in understanders. (Its powers and achievements exceed all other known examples of creativity, including the forms of "transformational creativity" in humans discussed by Margaret Boden.) Extending the types of learners adds to the mathematical and causal complexity of what needs to be understood, especially in recently evolved learners trying to understand themselves. Human mathematical competences are not yet understood well enough, to be modelled or replicated (despite fashionable claims), though Immanuel Kant identified some key aspects of the task in 1781, summarised in [1].

Background: Evolution -- the blind mathematician
It is not widely appreciated that as evolution produces increasingly complex organisms, with increasingly complex behaviours, it uses increasingly sophisticated mathematical discoveries. There are infinitely many different mathematical structures of different kinds, including: Boolean logic, the natural numbers (0, 1, 2, 3, 4, ....), the positive ratios (1/2, 1/3, 2/3, 1/4, ....), groups and other algebraic structures, Euclidean geometry, the topological (non-metrical) subset of Euclidean geometry, negative feedback and other information-based control structures, the probability space for "throws" of N perfectly balanced six sided dice, and Turing's "universal" computing machines.

These structures are abstract structured types, that exist whether or not physical instances of those types exist, and whether or not any thinkers notice or make use of their existence.

Among the mathematical structures/types "discovered" and used by biological evolution are designs for increasingly complex organisms, for types of mechanism used by such organism, and types of information used for control, e.g. control of reproduction, control of growth, control of temperature, control of chemical balances, and, more obviously, control of motivation, perception, learning, communication, and many more.

E.g. use of negative-feedback control loops to keep systems within safe parts of their state-space, or to move them toward desirable states or away from undesirable states, is commonplace in organisms, though human engineers (e.g. James Watt, who invented the Watt centrifugal speed governor for steam engines) did not discover and use such control structures until millions of years after they began to be used by evolution and its products. This points to the deep connection between mathematical cognition and causal cognition.
See also WONAC talks(2007)

Not all such information-based control mechanisms need to use precise numerical values. E.g. sometimes it is enough to be able to detect whether something is changing, or whether it is increasing or decreasing, or whether the rate of increase or decrease is changing, or whether one object is moving toward or away from another, or whether some object is moving into or out of a particular volume of space. (Evolution can be more broad-minded than some science teachers.)
     [ I use "information" in the sense of novelist Jane Austen, not Claude Shannon,
     as explained here:
     http://www.cs.bham.ac.uk/research/projects/cogaff/misc/austen-info.html ]

In more complex organisms, evolution discovered the power of layered epigenetic mechanisms that use different mathematical structures (including new combinations of simpler structures) at different stages of development. As a result, recently evolved sophisticated learners have multi-stage, "meta-configured" genomes [2], whose later stages of gene expression produce more complex, more recently evolved, more mathematically complex and abstract, discovery and learning mechanisms with different evolutionary histories. The best known example of this is the collection of different developmental transitions in (signed, spoken and written) language "learning" capabilities. (Strictly, these are language creation capabilities, which is why there are so many different human languages.)

If humans had to learn languages, instead of being able to create them (cooperatively), then the thousands of known human languages could not have existed, because there were originally no language users to learn from, at least not on this planet.

A meta-configured genome repeatedly produces new learning powers within each developing individual. The "layered" developmental processes are depicted crudely in this diagram (joint work with Jackie Chappell):

XX

A key feature is that the specific powers produced during development are not all specified in the genome: some of them, e.g. later acquisition of skills and knowledge, are absorbed from aspects of the environment influenced by ancestors, e.g. results of prior stages of cultural evolution, or changes in other species, as illustrated by evolved symbiosis.

E.g. in 2019, development in many young children is strongly influenced by computer based products of older generations who did not have access to those products when they were children.
Likewise, when I was a child (in the 1940s-1950s) after I had been deeply influenced by playing with a series of increasingly complex Meccano sets (construction kits with vast generative powers, yet highly constrained) my development was strongly influenced by others who had written books on Euclidean geometry, whereas a few thousand years earlier there were no teachers with knowledge of Euclidean geometry nor books on Euclidean geometry. The minds of humans in those days had significant gaps some of which were filled in later generations by the works of mathematicians who made new discoveries and produced teaching practices and materials passing on those discoveries. (There will always be unfilled gaps.)
(Some of those discoveries are no longer taught in all schools because of misguided educational decisions in the 20th Century. As a result there are now many AI researchers and knowledge engineers whose minds lack important relevant information that had been removed from their school syllabus.)

Some of the more recently evolved parts of the human genome, whose expression occurs relatively late during development, produce enormously varied adult competences, including inventive powers that cannot result simply from a uniform learning mechanism presented with examples of invention[3].

We can think of competences produced by later stages of gene expression as being parametrised: information in the relevant genes has gaps for parameters that are extracted from relevant subsets of the records derived from the environment during earlier gene expression (box on left). Since those records can be very different in different cultures, the genes expressed late may have very different effects in individuals born with identical genomes developing in different environments. Language development is an obvious example, but there are many more. Moreover, these processes can constantly modify the environment in which individuals develop, so the same genome can produce enormously varied late developing products. This is evident in the history of mathematics, science, art, literature, engineering, architecture, etc. (I believe these ideas are related to but different from Annette Karmiloff-Smith's ideas about "representational redescription" in her book Beyond Modularity (1992).

All that diversity can therefore be attributed, at base, to the creativity of biological evolution, including both its ability to produce meta-configured genomes and its ability to produce constantly changing external products of roughly the same genomes.

Despite impressive recent results, nothing in current AI matches or explains the evolved types of spatial intelligence found in squirrels, weaver birds, elephants, human toddlers and ancient mathematicians, e.g. Archimedes, Euclid, Zeno, and others. (That's why I'll refuse to use a self-drive car in cluttered busy urban environments.) Current psychology and neuroscience also lack the required explanatory power.

These claims will be supported by a collection of examples, including spatial reasoning competences of pre-verbal toddlers, squirrels, nest-building birds, and others. (For a sample, see this discussion of "toddler theorems": http://www.cs.bham.ac.uk/research/projects/cogaff/misc/toddler-theorems.html (Also PDF )

Partly inspired by Immanuel Kant and Alan Turing I'll outline a research programme, the Meta-Morphogenesis project, aiming to fill deep gaps in our scientific and philosophical theories, including perhaps chemistry-based extensions to Turing-computability[4], which Turing himself implied might be needed in his PhD Thesis.

[1]
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/kant-maths.html
     A collection of examples:
     http://www.cs.bham.ac.uk/research/projects/cogaff/misc/impossible.html
[2]
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/meta-configured-genome.html
using ideas developed in collaboration with Jackie Chappell.
[3]
Compare uses of spatial intelligence in our ancestors to make deep mathematical discoveries (e.g. in geometry and topology) and recent advances in theoretical physics that those ancient thinkers could not have produced.
[4]
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/turing-intuition.html

Video of related talk
20 min video of unscripted talk to a collection of artists at Eastside Gallery November 2018
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/sloman-eastside-2018.html

Boden: Three types of creativity
Margaret Boden has famously distinguished (at least) three types of creativity:
(i) making unfamiliar, but in some way valuable, combinations of familiar ideas
(ii) exploring new regions of a conceptual space
(iii) transformational creativity (including creating new conceptual spaces)
M. A. Boden, The Creative Mind: Myths and Mechanisms (London: Routledge, 2004)
For an introduction see this abstract:
https://www.researchgate.net/publication/209436199_Creativity_in_a_nutshell

Additional references (all work in progress)
The Turing-Inspired Meta-Morphogenesis Project
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/meta-morphogenesis.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/construction-kits.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/super-turing-geom.html
Compositionality in evolution's products:
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/compositionality.html
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/m-m-overview.html

Kantian philosophy of mathematics and causation:
Jackie Chappell and Aaron Sloman, (2007b) Two ways of understanding causation: Humean and Kantian,
Contributions to WONAC: International Workshop on Natural and Artificial Cognition Pembroke College, Oxford, June 25-26, 2007, http://www.cs.bham.ac.uk/research/projects/cogaff/talks/wonac


An account of how Science and Philosophy (Metaphysics) share a deep concern for investigation of what sorts of things are possible and how they are possible, can be found in Chapter 2 of my 1978 Book (The Computer Revolution in Philosophy), now online, partially updated:
http://www.cs.bham.ac.uk/research/projects/cogaff/crp/#chap2


Some of these ideas are related to, and have been influenced by,
the Birmingham FraMEPhys project, @FraMEPhys.

The Meta-configured genome idea was developed in collaboration with Dr Jackie Chappell
https://www.birmingham.ac.uk/staff/profiles/biosciences/chappell-jackie.aspx