A single-significant-digit calculus for semi-automated guesstimation

Jonathan A. Abourbih, Luke Blaney, Alan Bundy, Fiona McNeill

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

1 Citation (Scopus)

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.
Original languageEnglish
Title of host publicationAutomated Reasoning
Subtitle of host publication5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
EditorsJürgen Giesl, Reiner Hähnle
PublisherSpringer
Pages354-368
Number of pages15
Volume6173
ISBN (Electronic)978-3-642-14203-1
ISBN (Print)978-3-642-14202-4
DOIs
Publication statusPublished - 2010

Publication series

NameLecture Notes in Computer Science
Volume6173
ISSN (Print)0302-9743

Cite this

Abourbih, J. A., Blaney, L., Bundy, A., & McNeill, F. (2010). A single-significant-digit calculus for semi-automated guesstimation. In J. Giesl, & R. Hähnle (Eds.), Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings (Vol. 6173, pp. 354-368). (Lecture Notes in Computer Science; Vol. 6173). Springer. https://doi.org/10.1007/978-3-642-14203-1_31