Chapter

Automated Reasoning

Volume 6173 of the series Lecture Notes in Computer Science pp 354-368

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

  • Jonathan A. AbourbihAffiliated withCarnegie Mellon UniversitySchool of Informatics, University of Edinburgh
  • , Luke BlaneyAffiliated withCarnegie Mellon UniversitySchool of Informatics, University of Edinburgh
  • , Alan BundyAffiliated withCarnegie Mellon UniversitySchool of Informatics, University of Edinburgh
  • , Fiona McNeillAffiliated withCarnegie Mellon UniversitySchool of Informatics, University of Edinburgh

* Final gross prices may vary according to local VAT.

Get Access

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.