Automatic Generation of Scientific Theories

Lead Research Organisation: University of Liverpool
Department Name: Institute of Psychology Health & Society

Abstract

Creativity is at the heart of scientific research, both in the natural and the social sciences. It is also at the basis of innovation in business and industry. Psychological research suggests that the Darwinian mechanisms of variation and selection are the key constituents of creativity. Similarly, philosophers of science such as Popper have noted the evolutionary character of scientific knowledge. However, with the exception of preliminary work by the PI, there has been no attempt to use computers to evolve scientific theories using mechanisms based on natural evolution.

The aim of this research is to fill in this gap by proposing a novel way to generate theories. Theories will be automatically generated by computer programs using algorithms based on natural evolution. The success of the theories will be estimated by the extent to which they account for the experimental data, and the best theories will be selected for the next generation, possibly modified by mutation or crossover. The method will be applied to experiments in cognitive psychology, health psychology and behavioural economics.

Currently, the development of scientific theories is considered the exclusive province of humans. This project will genuinely be transformative as it will challenge this conception and change the way theories are viewed in the social sciences: from static abstract objects to concrete objects that can be manipulated by computer programs. The proposed method will lead to more efficient ways to exploit empirical data for the development of theoretical knowledge, with implications for applied research in the long term.

Planned Impact

The current project is primarily a piece of basic rather than applied research, and its main beneficiaries, at least in the short and medium term, will be other academics. Our impact strategy will therefore emphasise academic channels, including a dedicated website, conference presentations and publications, and articles in peer-reviewed journals. In addition, a workshop on automatic generation of scientific theories will be organised at the University of Liverpool to disseminate our findings, promote our novel methodology and receive comments from colleagues. Finally, the implementation of our methodology as well as a sample of the models that it will develop will be made publicly available on our website. These online resources will encourage discussion, spur new developments in cognitive psychology, cognitive science, evolutionary computation and philosophy of science, and provide a forum for critical, comparative and interdisciplinary research.

Our research is also likely to have impact outside of academia, but only in the longer term, which makes it difficult to foresee the exact nature of this impact at this point in time. The better our understanding of natural and artificial phenomena, the better the applications that can be developed. As our methodology has the potential to develop better theories than those currently used and thus to make better use of empirical data, it should have impact for applications as well.

We are also aware that our inter-disciplinary research, due to its transformative and ambitious nature, will be of interest to the public at large. We will therefore ensure wider understanding of the issues involved through press releases in newspapers, public-oriented webpages, public lectures, radio and TV. Note that the applicants already have an excellent track record of publicizing their work to the general public, and their work has been described in national and international newspapers (e.g. The Times, The Financial Time, NRC-Handelsblad, La Nación, Die Zeit), magazines (e.g. Times Higher Education, Scientific American, New Scientist, Psychology Today), radio and TV (e.g. BBC, HBO, National Public Radio, Arte).
 
Description 1) The project has produced a system for representing psychological data, a class of process based models, and algorithms for evolving models have been developed. A theory language for implementing cognitive models in a symbolic process based paradigm has been devised. It covers language for controlling internal processes, broad cognitive structures, and forms of input and output.

2) The methodology has been applied to model delayed match to sample experiments, Hick-Hyman experiments, categorisation experiments and experiments on decision making under uncertainty and risk (Kahneman and Tversky's gambling experiments)

3) With respect to dissemination, the project was very productive. Counting outputs in press, the project has led to the organisation of 4 conferences/symposia and generated one edited conference proceedings, 2 book chapters and 4 refereed conferences papers. The research has been presented in 16 conference presentations and 5 invited talks.
Exploitation Route While technically challenging, the methodologically essentially works and could be applied to develop theories in any domain in which there are experimental data.
Sectors Other

 
Description Addis M. Genetic programming for theory construction in social science. RESCON14, Birmingham City University, 15 December 2014 
Form Of Engagement Activity A formal working group, expert panel or dialogue
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.

Requests for further information.
Year(s) Of Engagement Activity 2011,2014
 
Description Addis M. Using genetic programming to automatically generate scientific theories. National Technical University of Athens, 5 November 2014 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Local
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.



Requests for further information.
Year(s) Of Engagement Activity 2014
 
Description Addis, M. Computational Scientific Discovery and Cognitive Science Theories. Conference of the International Association for Computing and Philosophy. Thessaloniki, 2-4 July 2014 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.

Requests for further information.
Year(s) Of Engagement Activity 2014
 
Description Addis, M. Computational theory construction in science. Birmingham City University, 10 October 2013. 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.



Requests for further information.
Year(s) Of Engagement Activity 2013
 
Description Addis, M. Explanation in social science and genetic programming. Rethinking Theory Construction in Social Science. London School of Economics, 11 March 2014 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.



Requests for further information.
Year(s) Of Engagement Activity 2014
 
Description Gobet F., Addis M., Lane P.and Sozou P. Automatically generating scientific theories about decision-making under uncertainty. Forecasting, Monitoring, Controlling: Dealing with a Dynamic World. University College London, September 19-20 2013 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.



Requests for further information.
Year(s) Of Engagement Activity 2014
 
Description Gobet, F. Automatic generation of scientific theories. Scientific Discovery in the Social Sciences. London School of Economics, 30-31 January 2015 
Form Of Engagement Activity A formal working group, expert panel or dialogue
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.

Requests for further information.
Year(s) Of Engagement Activity 2015
 
Description Gobet, F. Génération automatique de théories. Station de Primatologie du CNRS. Marseille, France, November 2014 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Local
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.



Requests for further information.
Year(s) Of Engagement Activity 2014
 
Description Gobet, F. How to generate transformative ideas? Annual North West Doctoral Training Centre Student Event, Transformative Social Science. University of Liverpool, October 2014 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Postgraduate students
Results and Impact Talk sparked questions and discussion afterwards.

Requests for further information.
Year(s) Of Engagement Activity 2014
 
Description Gobet, F. Social science modelling through genetic programming. Rethinking Theory Construction in Social Science. London School of Economics, 11 March 2014 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.



Requests for further information.
Year(s) Of Engagement Activity 2014
 
Description Gobet, F. Transformative research: A case study. Developing Transformative Research in the Social Sciences. University of Liverpool, November 2014 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Local
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.

Requests for further information.
Year(s) Of Engagement Activity 2014
 
Description Gobet, F., Automatic generation of scientific theories in psychology. Association for Psychological Science Annual Convention. San Francisco, May 22-25 2014 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.



Requests for further information.
Year(s) Of Engagement Activity 2014
 
Description Lane, P. Automatically developing scientific theories. London Judgement and Decision Making Group seminar series, University College London, 4 June, 2014 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.



Requests for further information.
Year(s) Of Engagement Activity 2014
 
Description Lane, P., Evolving process-based models from psychological data using genetic programming. 50th Anniversary Convention of the AISB. Goldsmiths College, 1-4 April 2014 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.



Requests for further information.
Year(s) Of Engagement Activity 2014
 
Description Rethinking Theory Construction in Social Science Workshop, London School of Economics, 11 March 2014 
Form Of Engagement Activity A formal working group, expert panel or dialogue
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Dissemination of knowledge on theory construction in the social sciences.
Year(s) Of Engagement Activity 2014
URL http://cpnssevents.org/events/rethinking-theory-construction-in-social-science/
 
Description Scientific Discovery in the Social Sciences International Conference, London School of Economics, 30-31 January 2015 
Form Of Engagement Activity A formal working group, expert panel or dialogue
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Put together researchers from different disciplines studying scientific discovery.

Dissemination of research on scientific discovery.
Year(s) Of Engagement Activity 2015
URL http://generating-theories.peterlane.info/sdss.html
 
Description Sozou, P. Analysing psychological data by evolving computational models. European Conference on Data Analysis. Bremen, 2-4 July 2014 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.

Requests for further information.
Year(s) Of Engagement Activity 2014
 
Description Sozou, P. Automatic generation of scientific theories to fit experimental data. International Conference of the Royal Statistical Society. Sheffield, 2 September 2014 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.


Requests for further information.
Year(s) Of Engagement Activity 2014
 
Description Sozou, P. Computational Scientific Discovery and Cognitive Science Theories. Cognitive Science of Science: Kazimierz Naturalist Workshop 2014. Kazimierz, 18-22 August 2014 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Talk sparked questions and discussion afterwards.

Requests for further information.
Year(s) Of Engagement Activity 2014
 
Description Symposium on Computational Scientific Discovery, 50th Anniversary Convention of the AISB, Goldsmiths College, 1-4 April 2014 
Form Of Engagement Activity A formal working group, expert panel or dialogue
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Other academic audiences (collaborators, peers etc.)
Results and Impact Dissemination of scientific knowledge on scientific discovery.
Year(s) Of Engagement Activity 2014
URL http://generating-theories.peterlane.info/symposium.html