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

Authors:
Jonathan A. Abourbih;Luke Blaney;Alan Bundy;Fiona McNeill
Affiliations:
School of Informatics, University of Edinburgh;School of Informatics, University of Edinburgh;School of Informatics, University of Edinburgh;School of Informatics, University of Edinburgh
Venue:
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Year:
2010

Citing 4
Cited 0

CYC: a large-scale investment in knowledge infrastructure

Communications of the ACM
CS AKTive Space, or How We Learned to Stop Worrying and Love the Semantic Web

IEEE Intelligent Systems
Towards Ontology Evolution in Physics

WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Next generation semantic web applications

ASWC'06 Proceedings of the First Asian conference on The Semantic Web

Quantified Score

Hi-index	0.00

Visualization

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.