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

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

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

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 proceeding › Conference 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 language	English
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
Publisher	Springer
Pages	354-368
Number of pages	15
Volume	6173
ISBN (Electronic)	978-3-642-14203-1
ISBN (Print)	978-3-642-14202-4
DOIs	https://doi.org/10.1007/978-3-642-14203-1_31
Publication status	Published - 2010

Publication series

Name	Lecture Notes in Computer Science
Volume	6173
ISSN (Print)	0302-9743

Access to Document

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

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

Abourbih, Jonathan A. ; Blaney, Luke ; Bundy, Alan ; McNeill, Fiona. / A single-significant-digit calculus for semi-automated guesstimation. Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. editor / Jürgen Giesl ; Reiner Hähnle. Vol. 6173 Springer, 2010. pp. 354-368 (Lecture Notes in Computer Science).

@inproceedings{eed236f2b9a44dd194ac4caf01e9a1f8,

title = "A single-significant-digit calculus for semi-automated guesstimation",

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.",

author = "Abourbih, {Jonathan A.} and Luke Blaney and Alan Bundy and Fiona McNeill",

year = "2010",

doi = "10.1007/978-3-642-14203-1_31",

language = "English",

isbn = "978-3-642-14202-4",

volume = "6173",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "354--368",

editor = "J{\"u}rgen Giesl and Reiner H{\"a}hnle",

booktitle = "Automated Reasoning",

}

Abourbih, JA, 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, Lecture Notes in Computer Science, vol. 6173, Springer, pp. 354-368. https://doi.org/10.1007/978-3-642-14203-1_31

A single-significant-digit calculus for semi-automated guesstimation. / Abourbih, Jonathan A.; Blaney, Luke; Bundy, Alan; McNeill, Fiona.

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. ed. / Jürgen Giesl; Reiner Hähnle. Vol. 6173 Springer, 2010. p. 354-368 (Lecture Notes in Computer Science; Vol. 6173).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

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

AU - Abourbih, Jonathan A.

AU - Blaney, Luke

AU - Bundy, Alan

AU - McNeill, Fiona

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.

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

VL - 6173

T3 - Lecture Notes in Computer Science

SP - 354

EP - 368

BT - Automated Reasoning

A2 - Giesl, Jürgen

A2 - Hähnle, Reiner

PB - Springer

ER -

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