A constraint mechanism for knowledge specification of simulation systems based on temporal logic

  • Chuchang Liu
  • Mehmet A. Orgun
Temporal Qualitative Reasoning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1342)


Knowledge specification can be used as a basis for developing and maintaining simulation systems. This paper presents a knowledge specification methodology based on the temporal logic TLC for solving simulation problems. In this methodology, we build a specific constraint mechanism as a standard prototype for a class of simulation problems which may have some common properties. Such a standard prototype can be used to test and improve the knowledge specification of the target system of any problem belonging to this class. When we obtain a satisfactory knowledge specification, a simulation program in Chronolog(MC), a logic programming language based on TLC, can be produced.


temporal logic logic programming simulation knowledge specification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Abadi and Z. Manna. Temporal logic programming. Journal of Symbolic Computation, 8:277–295, 1989.Google Scholar
  2. 2.
    C. Liu and M. A. Orgun. Chronolog as a simulation language. In Michael Fisher, editor, Proceedings of IJCAI-95 Workshop on Executable Temporal Logics, pages 109–119, Montreal, Canada, August 19–21 1995.Google Scholar
  3. 3.
    C. Liu and M. A. Orgun. Dealing with multiple granularity of time in temporal logic programming. Journal of Symbolic Computation, 22:699–720, 1996.CrossRefGoogle Scholar
  4. 4.
    C. Liu and M. A. Orgun. Towards a knowledge-based simulation methodology based on Chronolog(MC). In Jan Žižka, editor, Artificial Intelligence Techniques — AIT'96, pages 83–91. PC-DIR Ltd., 1996.Google Scholar
  5. 5.
    B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, 1986.Google Scholar
  6. 6.
    M. A. Orgun and W. W. Wadge. Theory and practice of temporal logic programming. In L. Fariñas del Cerro and M. Penttonen, editors, Intensional Logics for Programming, pages 23–50. Oxford University Press, 1992.Google Scholar
  7. 7.
    J. R. Slagle, D. A. Gardiner, and K. Han. Knowledge specification of an expert system. IEEE Expert, 4(5):29–38, 1990.CrossRefGoogle Scholar
  8. 8.
    J.F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, Mass., 1984.Google Scholar
  9. 9.
    J.F. Sowa, N.Y. Foo, and A. Rao. Conceptual Graphs for Knowledge Systems. Addison-Wesley, Reading, Mass., 1990.Google Scholar
  10. 10.
    A. Tuzhilin. Simtl: A simulation language based on temporal logic. Transactions of the Society of Computer Simulation, 9(2):86–99, 1992.Google Scholar
  11. 11.
    J. Yen and J. Lee. A task-based methodology for specifying expert systems. IEEE Expert, 1(8):8–15, 1993.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Chuchang Liu
    • 1
  • Mehmet A. Orgun
    • 1
  1. 1.Department of ComputingMacquarie UniversityAustralia

Personalised recommendations