Skip to main content
SpringerLink
Log in

Meta-Programming for Knowledge Base Systems

(extended abstract)

  • Conference paper
Wissensbasierte Systeme

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 227))

Abstract

We consider an architecture for knowledge base systems based on first order logic and meta-programming techniques. Knowledge base systems consist of four kinds of components: knowledge bases, integrity constraint theories, assimilators, and query processors. A knowledge base is a first order theory, restricted in such a way that there are efficient theorem proving techniques available for processing queries to the knowledge base. An integrity constraint theory is a first order theory. An assimilator performs user updates on a knowledge base, taking care that the updated knowledge base satisfies the appropriate integrity constraint theory. A query processor implements the query answering process.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H.D. Abramson and M.H. Rogers, editors. Meta-Programming in Logic Programming, MIT Press, 1989. Proceedings of the Meta88 Workshop, June 1988.

    Google Scholar 

  2. H. Bacha. Meta-level programming: a compiled approach. In J.-L. Lassez, editor, Proceedings of the Fourth International Conference on Logic Programming, pages 394–410, MIT Press, Melbourne, 1987.

    Google Scholar 

  3. K. Benkerimi and J.W. Lloyd. A Procedure for the Partial Evaluation of Logic Programs. Technical Report TR-89-04, Department of Computer Science, University of Bristol, 1989.

    Google Scholar 

  4. D. Black and J. Manley. A Logic-Based Architecture for Knowledge Management. Technical Memo HPL-BRC-TM-86-037, Hewlett-Packard Bristol Research Centre, 1986.

    Google Scholar 

  5. K.A. Bowen. Meta-level programming and knowledge representation. New Generation Computing, 3 (3): 359–383, 1985.

    Article  Google Scholar 

  6. K.A. Bowen and R.A. Kowalski. Amalgamating language and metalanguage in logic programming. In K.L. Clark and S.-A. Tarnlund, editors, Logic Programming, pages 153–172, Academic Press, London, 1982.

    Google Scholar 

  7. K.A. Bowen and T. Weinberg. A meta-level extension of prolog. In IEEE Symposium on Logic Programming, pages 669–675, Boston, 1985.

    Google Scholar 

  8. I. Cicekli. Design and implementation of an abstract MetaProlog engine for MetaProlog. In H.D. Abramson and M.H. Rogers, editors, Meta-Programming in Logic Programming, pages 417–434, MIT Press, 1989. Proceedings of the Meta88 Workshop, June 1988.

    Google Scholar 

  9. P. Coscia, P. Franceschi, G. Levi, G. Sardu, and L. Torre. Meta-level definition and compilation of inference engines in the Epsilon logic programming environment. In R.A. Kowalski and K.A. Bowen, editors, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 359–373, MIT Press, 1988.

    Google Scholar 

  10. P. Coscia, P. Franceschi, G. Levi, G. Sardu, and L. Torre. Object level reflection of inference rules by partial evaluation. In P. Maes and D. Nardi, editors, Meta Level Architectures and Reflection, North-Holland, 1988.

    Google Scholar 

  11. K. Eshghi. Meta-Language in Logic Programming. PhD thesis, Department of Computing, Imperial College, 1986.

    Google Scholar 

  12. A. Guessoum and J.W. Lloyd. Updating Knowledge Bases. Technical Report TR-89-05, Department of Computer Science, University of Bristol, 1989.

    Google Scholar 

  13. P.M. Hill and J.W. Lloyd. Analysis of meta-programs. In H.D. Abramson and M.H. Rogers, editors, Meta-Programming in Logic Programming, pages 23–52, MIT Press, 1989. Proceedings of the Meta88 Workshop, June 1988.

    Google Scholar 

  14. P.M. Hill and J.W. Lloyd. Meta-Programming for Dynamic Knowledge Bases. Technical Report CS-88-18, Department of Computer Science, University of Bristol, 1988.

    Google Scholar 

  15. G. Levi and G. Sardu. Partial evaluation of metaprograms in a “multiple worlds” logic language. In D. Bjorner, A.P. Ershov, and N.D. Jones, editors, Workshop on Partial Evaluation and Mixed Computation, pages 213–223, Gl. Avernaes, Denmark, October 1987.

    Google Scholar 

  16. J.W. Lloyd. Directions for meta-programming. In Proceedings of the International Conference on Fifth Generation Computer Systems, pages 609–617, Tokyo, 1988.

    Google Scholar 

  17. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.

    MATH  Google Scholar 

  18. J.W. Lloyd and J.C. Shepherdson. Partial Evaluation in Logic Programming. Technical Re-port CS-87-09, Department of Computer Science, University of Bristol, 1987. Revised July 1989. To appear in The Journal of Logic Programming.

    Google Scholar 

  19. T. Miyachi, S. Kunifuji, H. Kitami, K. Furukawa, A. Takeuchi, and H. Yokota. A Knowledge Assimilation Method for Logic Databases. Technical Report TR-025, ICOT, 1983.

    Google Scholar 

  20. S. Safra and E. Shapiro. Meta interpreters for real. In H.-J. Kugler, editor, Information Processing 86, pages 271–278, North Holland, Dublin, 1986.

    Google Scholar 

  21. J. Staples, P. Robinson, R. Paterson, R. Hagen, A. Craddock, and P. Wallis. Qu-prolog: an extended prolog for meta level programming. In H.D. Abramson and M.H. Rogers, editors, Meta-Programming in Logic Programming, pages 435–452, MIT Press, 1989. Proceedings of the Meta88 Workshop, June 1988.

    Google Scholar 

  22. L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1986.

    MATH  Google Scholar 

  23. L.S. Sterling and R.D. Beer. Meta-Interpreters for Expert System Construction. Technical Report TR 86–122, Center for Automation and Intelligent Systems Research, Case Western Reserve University, 1986.

    Google Scholar 

  24. V.S. Subrahmanian. A simple formulation of the theory of metalogic programming. In H.D. Abramson and M.H. Rogers, editors, Meta-Programming in Logic Programming, pages 65–102, MIT Press, 1989. Proceedings of the Meta88 Workshop, June 1988.

    Google Scholar 

  25. A. Takeuchi and K. Furukawa. Partial evaluation of Prolog programs and its application to meta programming. In H.-J. Kugler, editor, Information Processing 86, pages 415–420, North Holland, Dublin, 1986.

    Google Scholar 

  26. P. Tarau and M. Boyer. Prolog meta-programming with soft databases. In H.D. Abramson and M.H. Rogers, editors, Meta-Programming in Logic Programming, pages 365–382, MIT Press, 1989. Proceedings of the Meta88 Workshop, June 1988.

    Google Scholar 

  27. R. Venken. A Prolog meta-interpreter for partial evaluation and its application to source to source transformation and query optimization. In ECAI-84: Advances in Artificial Intelligence, pages 91–100, North-Holland, Pisa, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bristol, Bristol, BS8 1TR, UK

    J. W. Lloyd

Authors
  1. J. W. Lloyd
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Technische Universität München, Postfach 202420, D-8000, München 2, Germany

    W. Brauer  & C. Freksa  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lloyd, J.W. (1989). Meta-Programming for Knowledge Base Systems. In: Brauer, W., Freksa, C. (eds) Wissensbasierte Systeme. Informatik-Fachberichte, vol 227. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75182-0_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-75182-0_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51838-9

  • Online ISBN: 978-3-642-75182-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation