TY - GEN
T1 - A Single-Significant-Digit Calculus for Semi-Automated Guesstimation
AU - Abourbih,J. A.
AU - Blaney,L.
AU - Bundy,Alan
AU - McNeill,F.
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=77955261995&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-14203-1_31
DO - 10.1007/978-3-642-14203-1_31
M3 - Conference contribution
SN - 978-3-642-14202-4
T3 - Lecture Notes in Computer Science
SP - 354
EP - 368
BT - Automated Reasoning
PB - Springer-Verlag GmbH
CY - Berlin
ER -