Skip to main content
SpringerLink
Log in
Book cover

Advanced Topics in Artificial Intelligence pp 42–49Cite as

Logic for representing and implementing knowledge about system behaviour

  • Part 2: Logic and Logic Programming
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 617))

Abstract

We show how standard logic programming can be used for representing and implementing knowledge about the behaviour of computational systems. We present a very simple framework, applicable to both sequential and concurrent systems, in which state transitions can be defined in definite-clause logic and composed into complete processes by programs constructed from predetermined schemata for graph-traversal. These may be used to derive concrete logic programs which either simulate those systems directly or compute just those relations determined by the processes which terminate.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. D. R. Brough and C. J. Hogger. Compiling associativity into logic programs. J. Logic Programming 4, pp. 345–359, 1987.

    Google Scholar 

  2. D. R. Gilbert. Specifying and reasoning about concurrent systems in logic. PhD Thesis, Department of Computing, Imperial College, University of London, 1990.

    Google Scholar 

  3. D. R. Gilbert and C. J. Hogger. Deriving logic programs from observations. Presented to the Workshop on Constructing Logic Programs, International Conference on Logic Programming, Paris, 1991.

    Google Scholar 

  4. D. R. Gilbert and C. J. Hogger. Logical specification of program behaviour: Part II—Concurrent systems. Research Report [in preparation], Department of Computing, Imperial College, 1991.

    Google Scholar 

  5. Kowalski, R. A. Algorithm = logic + control. Comm. ACM. Vol., No. 7, 1979.

    Google Scholar 

  6. Kowalski, R. A. Logic for problem solving. North Holland, 1979.

    Google Scholar 

  7. Takeuchi, A. and Furukawa, K. Partial evaluation of Prolog programs and its application to meta programming. Proc. IFIP-86, Elsevier Science Publishers, pp. 415–40, 1986.

    Google Scholar 

  8. van Emden, M. H. and de Lucena Filho, G. J. Predicate logic as a parallel programming language. In Logic Programming (eds. Clark, K. L. and Tarnlund, S-A., Academic Press, pp 189–198, 1982.

    Google Scholar 

  9. Bruynooghe, M., De Schreye D. and Krekels, B. Compiling control. J. Logic Programming, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College of Science, Technology and Medicine, USA

    D. R. Gilbert & C. J. Hogger

Authors
  1. D. R. Gilbert
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. J. Hogger
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Vladimír Mřrík Olga Štěpánková Rorbert Trappl

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gilbert, D.R., Hogger, C.J. (1992). Logic for representing and implementing knowledge about system behaviour. In: Mřrík, V., Štěpánková, O., Trappl, R. (eds) Advanced Topics in Artificial Intelligence. Lecture Notes in Computer Science, vol 617. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55681-8_29

Download citation

  • DOI: https://doi.org/10.1007/3-540-55681-8_29

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-47271-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation