TITLE AND ABSTRACT FOR TALK IN ZURICH
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):
A messy video explaining how to interpret the above diagram is available at:
http://www.cs.bham.ac.uk/research/projects/cogaff/movies/meta-config.webm
(It starts with a different diagram.)
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
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