Artificial intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on the big picture - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be automated. Building...
Artificial intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on the big picture - automatin...
In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be...
In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big p...
This book describes a new computational approach to creativity. With chess as the domain of investigation, the authors show experimentally how a computer can be imbued with the 'spark' of creativity that enables it to compose chess problems or puzzles that are both challenging and aesthetically appealing to humans. 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....
This book describes a new computational approach to creativity. With chess as the domain of investigation, the authors show experimentally how a compu...
