### 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 | |

Publication status | Published - 2010 |

### Publication series

Name | Lecture Notes in Computer Science |
---|---|

Volume | 6173 |

ISSN (Print) | 0302-9743 |

## 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