Skip to main content
SpringerLink
Log in

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

  • Temporal Qualitative Reasoning
  • Conference paper
  • First Online:
Advanced Topics in Artificial Intelligence (AI 1997)

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

Included in the following conference series:

Abstract

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.

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. M. Abadi and Z. Manna. Temporal logic programming. Journal of Symbolic Computation, 8:277–295, 1989.

    Google Scholar 

  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. C. Liu and M. A. Orgun. Dealing with multiple granularity of time in temporal logic programming. Journal of Symbolic Computation, 22:699–720, 1996.

    Article  Google Scholar 

  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. B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, 1986.

    Google Scholar 

  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. J. R. Slagle, D. A. Gardiner, and K. Han. Knowledge specification of an expert system. IEEE Expert, 4(5):29–38, 1990.

    Article  Google Scholar 

  8. J.F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, Mass., 1984.

    Google Scholar 

  9. J.F. Sowa, N.Y. Foo, and A. Rao. Conceptual Graphs for Knowledge Systems. Addison-Wesley, Reading, Mass., 1990.

    Google Scholar 

  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. J. Yen and J. Lee. A task-based methodology for specifying expert systems. IEEE Expert, 1(8):8–15, 1993.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Macquarie University, NSW 2109, Australia

    Chuchang Liu & Mehmet A. Orgun

Authors
  1. Chuchang Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mehmet A. Orgun
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Abdul Sattar

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Liu, C., Orgun, M.A. (1997). A constraint mechanism for knowledge specification of simulation systems based on temporal logic. In: Sattar, A. (eds) Advanced Topics in Artificial Intelligence. AI 1997. Lecture Notes in Computer Science, vol 1342. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63797-4_102

Download citation

  • DOI: https://doi.org/10.1007/3-540-63797-4_102

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63797-4

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation