Projects per year
Abstract
We describe a single-significant-digit calculus for estimating approximate solutions to guesstimation problems. The calculus is formalised as a collection of proof methods, which are combined into proof plans. These proof methods have been implemented as rewrite rules and successfully evaluated in an interactive system, gort, which forms a customised proof plan for each problem and then executes the plan to obtain a solution.
| Original language | English |
|---|---|
| Title of host publication | Automated Reasoning |
| Subtitle of host publication | 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings |
| Place of Publication | Berlin |
| Publisher | Springer |
| Pages | 354-368 |
| Number of pages | 15 |
| ISBN (Print) | 978-3-642-14202-4 |
| DOIs | |
| Publication status | Published - 2010 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Berlin / Heidelberg |
| Volume | 6173 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Fingerprint
Dive into the research topics of 'A Single-Significant-Digit Calculus for Semi-Automated Guesstimation'. Together they form a unique fingerprint.Projects
- 1 Finished
-
Integration and Interaction of multiple mathematical reasoning processes
Bundy, A. (Principal Investigator), Colton, S. (Sponsor), Aspinall, D. (Co-Investigator (External)), Dennis, L. (Co-Investigator (External)), Fleuriot, J. (Co-Investigator (External)), Georgieva, L. (Co-Investigator (External)), Ireland, A. (Co-Investigator (External)), Jackson, P. (Co-Investigator (External)) & Smaill, A. (Co-Investigator (External))
1/04/07 → 31/03/11
Project: Research