Automated Theory Formation in Pure Mathematics
Simon Colton
€ 135.65
FREE Delivery in Ireland
Description for Automated Theory Formation in Pure Mathematics
Hardback. The doctoral thesis upon which Simon Colton's book is based addressed the automation of the whole mathematical theory formation process. His method depends on the HR program which implements a new model for theory formation. Series: Distinguished Dissertations. Num Pages: 380 pages, biography. BIC Classification: PB. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 1640.
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 automated. Building on over 20 years of research into constructing an ... Read more
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 automated. Building on over 20 years of research into constructing an ... Read more
Product Details
Format
Hardback
Publication date
2002
Publisher
Springer London Ltd United Kingdom
Number of pages
380
Condition
New
Series
Distinguished Dissertations
Number of Pages
380
Place of Publication
England, United Kingdom
ISBN
9781852336097
SKU
V9781852336097
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Theory Formation in Pure Mathematics