Skip to main content
SpringerLink
Log in

A model of costs and benefits of meta-level computation

  • Conference paper
  • First Online:
Logic Program Synthesis and Transformation — Meta-Programming in Logic (META 1994, LOPSTR 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 883))

Abstract

It is well known that meta-computation can be used to guide other computations (at the object-level), and thereby reduce the costs of these computations. However, the question arises to what extent the cost of meta-computation offsetts the gains made by object-level savings. In this paper we discuss a set of equations that model this trade-off between object-savings and meta-costs. The model shows that there are a number of important limitations on the usefulness of meta-computation, and we investigate the parameters that determine these limitations.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Hesketh A. Bundy, F. van Harmelen and A. Smaill. Experiments with proof plans for induction. Journal of Automated Reasoning, 7:303–324, 1991. Earlier version available from Edinburgh as DAI Research Paper No 413.

    MathSciNet  Google Scholar 

  2. H. Lowe. Empirical evaluation of meta-level interpreters. Master's thesis, Department of Artificial Intelligence, University of Edinburgh, 1988. (M.Sc. Thesis).

    Google Scholar 

  3. S. Minton. Quantitative results concerning the utility of explanation-based learning. Artificial Intelligence, 42:363–392, 1990.

    Google Scholar 

  4. R. A. Okeefe. The Craft of Prolog. MIT Press, Massachussetts, 1990.

    Google Scholar 

  5. S. Owen. The development of explicit interpreters and transformers to control reasoning about protein topology. Technical Memo HPL-ISC-TM-88-015, Hewlett-Packard Laboratories Bristol Research Centre, Bristol, U.K., 1988.

    Google Scholar 

  6. J.S. Rosenschein and V. Singh. The utility of meta-level effort. Report HPP-83-20, Stanford Heuristic Programming Project, March 1983.

    Google Scholar 

  7. D. von Winterfeldt and Ward Edwards. Decision Analysis and Behavioral Research. Cambridge University Press, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SWI, University of Amsterdam, The Netherlands

    Frank van Harmelen

Authors
  1. Frank van Harmelen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Laurent Fribourg Franco Turini

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van Harmelen, F. (1994). A model of costs and benefits of meta-level computation. In: Fribourg, L., Turini, F. (eds) Logic Program Synthesis and Transformation — Meta-Programming in Logic. META LOPSTR 1994 1994. Lecture Notes in Computer Science, vol 883. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58792-6_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-58792-6_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58792-7

  • Online ISBN: 978-3-540-49104-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation