Edinburgh Research Explorer

Automatic Concept Formation in Pure Mathematics

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://hdl.handle.net/1842/4570
Original languageEnglish
Title of host publicationProceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99
PublisherMORGAN KAUFMANN PUB INC
Pages786-791
ISBN (Print)1-55860-613-0
StatePublished - 1999

Abstract

The HR program forms concepts and makes conjectures in domains of pure mathematics and uses theorem prover OTTER and model generator MACE to prove or disprove the conjectures. HR measures properties of concepts and assesses the theorems and proofs involving them to estimate the interestingness of each concept and employ a best first search. This approach has led HR to the discovery of interesting new mathematics and enables it to build theories from just the axioms of finite algebras.

Download statistics

No data available

ID: 403226