Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >
Please use this identifier to cite or link to this item:
|Title: ||A Single-Significant-Digit Calculus for Semi-Automated Guesstimation|
|Authors: ||Abourbih, J.A.|
|Issue Date: ||2010|
|Journal Title: ||Automated Reasoning|
|Page Numbers: ||354–368|
|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.
This paper is based on the MSc project of Jonathan A. Abourbih and the undergraduate project of Luke Blaney. Dr McNeill was funded by onr project N000140910467. We would like to thank 3 anonymous ijcar referees for their constructive comments, and Aparna Ghagre for information on the quark system.|
|Appears in Collections:||Informatics Publications|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.