A Single-Significant-Digit Calculus for Semi-Automated Guesstimation

J. A. Abourbih, L. Blaney, Alan Bundy, F. McNeill

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

Abstract / Description of output

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 languageEnglish
Title of host publicationAutomated Reasoning
Subtitle of host publication5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
Place of PublicationBerlin
PublisherSpringer-Verlag GmbH
Number of pages15
ISBN (Print)978-3-642-14202-4
Publication statusPublished - 2010

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'A Single-Significant-Digit Calculus for Semi-Automated Guesstimation'. Together they form a unique fingerprint.

Cite this