Output details
11 - Computer Science and Informatics
University of Edinburgh
A Single-Significant-Digit Calculus for Semi-Automated Guesstimation
<22> Originality: The paper describes the first attempt to provide automated assistance for solving guesstimation problems. It is rare for question answering systems to do quantitative reasoning.
Significance: Guesstimates are widely used in science, engineering and commerce. The tool assists users to reduce their question to sub-queries that are then answered by automatically retrieving RDF triples from the internet. IJCAR (which incorporates CADE) is the top conference in automated reasoning.
Rigour: A formal calculus for order-of-magnitude quantitative reasoning is presented and used to derive dependency results. This theory forms the basis for an implementation, which is then thoroughly experimentally evaluated.