Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published September 16, 2019 | Version v1
Conference paper Open

The Importance of Applying Computational Creativity to Scientific and Mathematical Domains

  • 1. University of Dundee
  • 2. Queen Mary University of London
  • 3. Heriot-Watt, University of Dundee

Description

Science and mathematics are currently underrepresented in the computational creativity (CC) community. We discuss why the CC community should apply their work to mathematical and scientific domains, and argue that this would be mutually beneficial for the domains in question. We identify a key challenge in Automated Reasoning – that it has not achieved widespread adoption by mathematicians; and one in Automated Scientific Discovery – the need for communicability of automatically generated scientific knowledge. We recommend that CC researchers help to address these two challenges by: (i) applying systems based on cognitive mechanisms to scientific and mathematical domains; (ii) employing experience in building and evaluating interactive systems to this context; and (iii) using expertise in automatically producing framing functionality to enhance the communicability of automatically generated scientific knowledge.

Notes

EPSRC funded project EP/P017320/1 "Example-driven machine-human collaboration in mathematics"

Files

38583a45542913c1dffe2f8530f8fbee0d6a.pdf

Files (123.7 kB)

Name Size Download all
md5:b0cc348eed78b46864d942fdffe14336
123.7 kB Preview Download

Additional details

Funding

Example-driven machine-human collaboration in mathematics EP/P017320/1
UK Research and Innovation