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.
|Title of host publication||Automated Reasoning|
|Subtitle of host publication||5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings|
|Editors||Jürgen Giesl, Reiner Hähnle|
|Number of pages||15|
|Publication status||Published - 2010|
|Name||Lecture Notes in Computer Science|