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

J. A. Abourbih; L. Blaney; Alan Bundy; F. McNeill

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

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

J. A. Abourbih, L. Blaney, Alan Bundy, F. McNeill

School of Informatics

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

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
Place of Publication	Berlin
Publisher	Springer-Verlag GmbH
Pages	354-368
Number of pages	15
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
Publisher	Springer Berlin / Heidelberg
Volume	6173
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

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

IJCAR 2010 Guesstimation 1Submitted manuscript, 207 KB

1 Finished

Integration and Interaction of multiple mathematical reasoning processes
Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.
EPSRC
1/04/07 → 31/03/11
Project: Research

Cite this

Abourbih, J. A., Blaney, L., Bundy, A., & McNeill, F. (2010). A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. In Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings (pp. 354-368). (Lecture Notes in Computer Science; Vol. 6173). Springer-Verlag GmbH. https://doi.org/10.1007/978-3-642-14203-1_31

@inproceedings{4842ad2fd4d74db5bccad01c1f675ec9,

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, {J. A.} and L. Blaney and Alan Bundy and F. McNeill",

year = "2010",

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

language = "English",

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

series = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag GmbH",

pages = "354--368",

booktitle = "Automated Reasoning",

}

Abourbih, JA, Blaney, L, Bundy, A & McNeill, F 2010, A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. in Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Lecture Notes in Computer Science, vol. 6173, Springer-Verlag GmbH, Berlin, pp. 354-368. https://doi.org/10.1007/978-3-642-14203-1_31

A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. / Abourbih, J. A.; Blaney, L.; Bundy, Alan ; McNeill, F.

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin : Springer-Verlag GmbH, 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, 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 -

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

Abstract

Publication series

Access to Document

Integration and Interaction of multiple mathematical reasoning processes

Cite this