A constraint mechanism for knowledge specification of simulation systems based on temporal logic
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.
Keywordstemporal logic logic programming simulation knowledge specification
Unable to display preview. Download preview PDF.
- 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
- 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
- 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