Skip to main content
SpringerLink
Log in
Book cover

Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases

DYNAMICS 1997: Transactions and Change in Logic Databases pp 37–68Cite as

Specification of dynamics for knowledge-based systems

  • Conference paper
  • First Online:

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

Abstract

During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects: they have to provide means to specify a complex and large amount of knowledge and they have to provide means to specify the dynamic reasoning behaviour of a knowledge-based system. This paper will focus on the second aspect, which is an issue considered to be unsolved. For this purpose, we have surveyed existing approaches in related areas of research. We have taken approaches for the specification of information systems (i.e., Language for Conceptual Modelling and Troll), approaches for the specification of database updates and the dynamics of logic programs (Transaction Logic and Dynamic Database Logic), and the approach of Abstract State Machines.

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. J. A. Bergstra and J. W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 37:77–121, 1985.

    Article  MATH  MathSciNet  Google Scholar 

  2. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14, 1987.

    Google Scholar 

  3. A.J. Bonner and M. Kifer. Transaction logic programming. In Proceedings of the Tenth International Conference on Logic Programming (ICLP), pages 257–279, Budapest, Hungary, 1993. MIT Press.

    Google Scholar 

  4. F. Brazier, P. van Langen, J. Treur, N. Wijngaards, and M. Willems. Modelling an elevator design task in DESIRE: the VT example. International Journal of Human-Computer Studies, Special Issue on Sisyphus-VT (A.Th. Schreiber and W.P. Birmingham, Eds.), 44(3–4):469–520, 1996.

    Google Scholar 

  5. G. Denker, J. Ramos, C. Caleiro, and A. Sernadas. A linear temporal logic approach to objects with transactions. In Michael Johnson, editor, Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, volume 1349 of Lecture Notes in Computer Science, pages 170–184. Springer-Verlag, 1997.

    Google Scholar 

  6. P. van Eck, J. Engelfriet, D. Fensel, F. van Harmelen, Y. Venema, and M. Willems. A survey of languages for specifying dynamics: A knowledge engineering perspective. Technical Report IR-447, Vrije Universiteit Amsterdam, Faculty of Mathematics and Computer Science, 1998.

    Google Scholar 

  7. D. Fensel. Formal specification languages in knowledge and software engineering. The Knowledge Engineering Review, 10(4), 1995.

    Google Scholar 

  8. D. Fensel. The Knowledge Acquisition and Representation Language KARL. Kluwer Academic Publ., Boston, 1995.

    Google Scholar 

  9. D. Fensel and R. Groenboom. MLPM: Defing a semantics and axiomatization for specifying the reasoning process of knowledge-based systems. In Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96), Budapest, August 1996.

    Google Scholar 

  10. D. Fensel and R. Straatman. The essense of problem-solving-methods: Making assumptions for gaining efficiency. Journal of Human Computer Studies, 1998. (to appear).

    Google Scholar 

  11. D. Fensel and F. van Harmelen. A comparison of languages which operationalize and formalize KADS models of expertise. The Knowledge Engineering Review, 9(2), 1994.

    Google Scholar 

  12. D. Gabbay. What is a Logical System?, volume 4 of Studies in Logic and Computation. Oxford University Clarendon Press, 1994.

    Google Scholar 

  13. Y. Gurevich. Evolving algebras 1993: Lipari guide. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, 1994.

    Google Scholar 

  14. D. Harel. Dynamic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Vol. II: extensions of Classical Logic, pages 497–604. Reidel, Dordrecht, The Netherlands, 1984.

    Google Scholar 

  15. F. van Harmelen and J. Balder. (ML)2: A formal language for KADS conceptual models. Knowledge Acquisition, 4(1), 1992.

    Google Scholar 

  16. C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, 2nd edition, 1990.

    Google Scholar 

  17. R. Jungclaus, G. Saake, Th. Hartmann, and C. Sernadas. Troll—a language for object-oriented specification of information systems. ACM Transactions on Information Systems, 14(2):175–211, April 1996.

    Article  Google Scholar 

  18. F. Kroeger. Temporal Logic of Programs. Springer-Verlag, Berlin, 1987.

    MATH  Google Scholar 

  19. I. van Langevelde, A. Philipsen, and J. Treur. Formal specification of compositional architectures. In Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), Vienna, Austria, August 1992.

    Google Scholar 

  20. M. Linster (ed.). Special issue on the Sisyphus 91/92 models. International Journal of Man-Machine Studies 40:2, 1994.

    Google Scholar 

  21. R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, 1980.

    Google Scholar 

  22. R. Milner. Communication and Concurrency. Prentice Hall Int., New York, 1989.

    MATH  Google Scholar 

  23. B. Nebel. Artificial intelligence: A computational perspective. In G. Brewka, editor, Principals of Knowledge Representation, Studies in Logic, Language and Information, pages 237–266. CSLI Publications, 1996.

    Google Scholar 

  24. C. Pierret-Golbreich and X. Talon. TFL: An algebraic language to specify the dynamic behaviour of knowledge-based systems. The Knowledge Engineering Review, 11(3):253–280, 1996.

    Article  Google Scholar 

  25. K. Poeck, D. Fensel, D. Landes, and J. Angele. Combining KARL and CRLM for designing vertical transportation systems. International Journal of Human-Computer Studies, Special Issue on Sisyphus-VT (A.Th. Schreiber and W.P. Birmingham, Eds.), 44(3–4):435–467, 1996.

    Google Scholar 

  26. A. Sernadas, C. Sernadas, and J.F. Costa. Object specification logic. Journal of Logic and Computation, 5(5):603–630, October 1995.

    MATH  MathSciNet  Google Scholar 

  27. J. W. Spee and L. in 't Veld. The semantics of KBSSF: A language for KBS design. Knowledge Acquisition, 6, 1994.

    Google Scholar 

  28. J. M. Spivey. The Z Notation. A Reference Manual. Prentice Hall, New York, 2nd edition edition, 1992.

    Google Scholar 

  29. P. Spruit, R. Wieringa, and J.-J. Meyer. Dynamic database logic: the first-order case. In V.W. Lipeck and B. Thalheim, editors, Fourth International Workshop on Foundations of Models and Languages for Data and Objects, pages 102–120. Springer-Verlag, 1993.

    Google Scholar 

  30. P. Spruit, R. Wieringa, and J.-J. Meyer. Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases. Journal of Logic and Computation, 5(1), 1995.

    Google Scholar 

  31. J. Treur and Th. Wetter, editors. Formal Specification of Complex Reasoning Systems. Ellis Horwood, New York, 1993.

    MATH  Google Scholar 

  32. R. J. Wieringa. LCM and MCM: Specification of a control system using dynamic logic and process algebra. In C. Lewerentz and T. Lindner, editors, Formal Development of Reactive Systems: Case Study Production Cell, volume 891 of Lecture Notes Computer Science, pages 333–355. Springer-Verlag, 1995.

    Google Scholar 

  33. M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. Elsevier Science Publishers, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081, HV Amsterdam, The Netherlands

    Pascal van Eck, Joeri Engelfriet & Frank van Harmelen

  2. Institut AIFB, University of Karlsruhe, D-76128, Karlsruhe, Germany

    Dieter Fensel

  3. Institute for Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24, 1018, TV Amsterdam, The Netherlands

    Yde Venema

  4. Bolesian B.V., Steenovenweg 19, 5708, HN Helmond, The Netherlands

    Mark Willems

Authors
  1. Pascal van Eck
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joeri Engelfriet
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dieter Fensel
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Frank van Harmelen
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Yde Venema
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Mark Willems
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Burkhard Freitag Hendrik Decker Michael Kifer Andrei Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van Eck, P., Engelfriet, J., Fensel, D., van Harmelen, F., Venema, Y., Willems, M. (1998). Specification of dynamics for knowledge-based systems. In: Freitag, B., Decker, H., Kifer, M., Voronkov, A. (eds) Transactions and Change in Logic Databases. DYNAMICS 1997. Lecture Notes in Computer Science, vol 1472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055495

Download citation

  • DOI: https://doi.org/10.1007/BFb0055495

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-49449-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation