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

  • Jonathan A. Abourbih
  • Luke Blaney
  • Alan Bundy
  • Fiona McNeill
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6173)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abourbih, J.A.: Method and system for semi-automatic guesstimation. Master’s thesis, University of Edinburgh, Edinburgh, Scotland (August 2009)Google Scholar
  2. 2.
    Blaney, L.: Semi-automatic guesstimation. University of Edinburgh, Undergraduate Project Dissertation (2010)Google Scholar
  3. 3.
    Bundy, A.: A science of reasoning. In: Lassez, J.-L., Plotkin, G. (eds.) Computational Logic: Essays in Honor of Alan Robinson, pp. 178–198. MIT Press, Cambridge (1991)Google Scholar
  4. 4.
    Bundy, A., Chan, M.: Towards ontology evolution in physics. In: Hodges, W., de Queiroz, R. (eds.) WoLLIC 2008. LNCS (LNAI), vol. 5110, pp. 98–110. Springer, Heidelberg (2008)Google Scholar
  5. 5.
    Hilbert, D., Bernays, P.: Die Grundlagen der Mathematik — Zweiter Band. In: Number L in Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen. Springer, Heidelberg (1939)Google Scholar
  6. 6.
    Lenat, D.B.: CYC: a large-scale investment in knowledge infrastructure. ACM Commun. 38(11), 33–38 (1995)CrossRefGoogle Scholar
  7. 7.
    Lopez, V., Guidi, D., Motta, E., Peroni, S., d’Aquin, M., Gridinoc, L.: Evaluation of semantic web applications. OpenKnowledge Deliverable D8.5, Knowledge Media Institute, The Open University, Milton Keynes, England (October 2008) (accessed August 10, 2009)Google Scholar
  8. 8.
    McNeill, F., Bundy, A.: Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution. International Journal On Semantic Web and Information Systems 3(3), 1–35 (2007); Special issue on ontology matchingGoogle Scholar
  9. 9.
    Motta, E., Sabou, M.: Next Generation Semantic Web Applications. In: Mizoguchi, R., Shi, Z.-Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol. 4185, pp. 24–29. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Santos, A.: How Many Licks: Or, How to Estimate Damn Near Anything. Perseus Books, Cambridge (2009)Google Scholar
  11. 11.
    Shadbolt, N., Gibbins, N., Glaser, H., Harris, S., Schraefel, M.C.: CS AKTive space, or how we learned to stop worrying and love the semantic web. IEEE Intelligent Systems 19(3), 41–47 (2004)Google Scholar
  12. 12.
    Waldinger, R., Hobbs, J., Appelt, D.E., Fry, J., Israel, D.J., Jarvis, P., Martin, D., Riehemann, S., Stickel, M.E., Tyson, M., Dungan, J.L.: Deductive question answering from multiple resources. In: New Directions in Question Answering, pp. 253–262. AAAI Press, Menlo Park (2003)Google Scholar
  13. 13.
    Weinstein, L., Adam, J.A.: Guesstimation: solving the world’s problems on the back of a cocktail napkin. Princeton University Press, Princeton (2008)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jonathan A. Abourbih
    • 1
  • Luke Blaney
    • 1
  • Alan Bundy
    • 1
  • Fiona McNeill
    • 1
  1. 1.School of InformaticsUniversity of Edinburgh 

Personalised recommendations