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

  • Jonathan A. Abourbih
  • Luke Blaney
  • Alan Bundy
  • Fiona McNeill
Conference paper

DOI: 10.1007/978-3-642-14203-1_31

Volume 6173 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Abourbih J.A., Blaney L., Bundy A., McNeill F. (2010) A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. In: Giesl J., Hähnle R. (eds) Automated Reasoning. IJCAR 2010. Lecture Notes in Computer Science, vol 6173. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jonathan A. Abourbih
    • 1
  • Luke Blaney
    • 1
  • Alan Bundy
    • 1
  • Fiona McNeill
    • 1
  1. 1.School of InformaticsUniversity of Edinburgh