Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Automated Theory Formation in Pure Mathematics (Paperback, Softcover reprint of the original 1st ed. 2002)
Loot Price: R2,991
Discovery Miles 29 910
|
|
Automated Theory Formation in Pure Mathematics (Paperback, Softcover reprint of the original 1st ed. 2002)
Series: Distinguished Dissertations
Expected to ship within 10 - 15 working days
|
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 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. HR uses various pieces of
mathematical software, including automated theorem provers, model
generators and databases, to build a theory from the bare minimum
of information - the axioms of a domain. The main application of
this work has been mathematical discovery, and HR has had many
successes. In particular, it has invented 20 new types of number of
sufficient interest to be accepted into the Encyclopaedia of
Integer Sequences, a repository of over 60,000 sequences
contributed by many (human) mathematicians.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.