Bøger af Simon Colton

Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer.

This new approach called the Digital Synaptic Neural Substrate (DSNS) mimics the brain's ability to combine fragments of seemingly unrelated information from different domains (such as chess, photographs and music) to inspire itself to create new objects in any of them.