Abstract
Computer simulation plays an important role within the solution of those problems which are connected with analysis or synthesis of objects of high complexity. The main characteristics of simulation models and their development are analysed.
In order to support the development a consistent family of formal notions are briefly introduced within the frame of mathematical logic. The theory thus obtained is called simulation logic.
Declarative and procedural aspects of simulation models can be handled together in a unique way by the use of a constructive part of first order classical logic. Horn formulas which were the base of logic programming now become the basis for logic simulation. TS-PROLOG, the simulation language of logic simulation is developed and its usage is illustrated by modelling a decentralised control system worked out in details.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alagic, S and M.A. Arbib (1978). The design of well-structured and correct programs, Springer-Verlag, Berlin.
Bend I, J., P. Köves and P. Szeredi (1980). The MPROLOG system, Preprints of Logic Programming Workshop. Debrecen, Hungary, pp. 201–210.
Boyer, R.S. and J.S. Moore (1979). A computational logic, Academic Press.
Clocksin, W.F. and C.S. Mellish (1981). Programming in PROLOG, Springer-Verlag, Berlin.
Futó, l. and J. Szeredi (1980). T-PROLOG User’s Manual, Institute for Coordination of Computer Techniques, Budapest.
Futó, l. and J. Szeredi (1982). A discrete simulation system based on artificial intelligence methods, in A. Jävor, (Ed.), Discrete Simulation and Related Fields, North-Holland, Amsterdam.
Gergely, T. and I. Nemeti (1975). Logical foundations for a general theory of system, Acta Cybernetica, Tom 2, Fasc. 3, pp. 261–276.
Gergely, T. and L. Ury (1980). Program behaviour specification through explicite time consideration in S.M. Lavington, (Ed)., Information Processing 80, Nort-Holland, pp. 107–111.
Grohov, V.G. (1980). Methodological analysis of system representation in algorithmic languages of imitational modelling in Systems Research, Yerabook 1980, Nauka, Moskow, pp. 216–253 (in Russian).
Kindler, E. (1976). On the way to a mathematical theory of simulation, Elektronische Informationsverarbeitung und Kybernetik, vol. 12, No. 10, pp. 497–504.
Kowalski, R. (1979). Logic for Problem Solving, Nort-Holland.
Nance, R.E. (1981a). The time and state relationships in simulation modelling, Communications of ACM, vol. 24, pp. 173–179.
Nancef R.E. (1981b). Model representation in discrete event simulation: the Conical Methodology, Technical report CS81003-R, Virginia Politechnic Institute and State University, Blacksburg, Virginia.
Oren, T.I. (1979). Concepts for advanced computer assisted modelling, in B.P.Zeigler, (Ed), Methodology in Systems Modelling and Simulation, Nort-Holland, pp. 29–55.
Oren, T.I. and B.P. Zeigler (1979). Concepts for advanced simulation methodologies, Simulation, vol. 32, No. 3, pp. 69–82.
B.P. Zeigler (1976). Theory of Modelling and Simulation, John Willey Sons.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Futó, I., Gergely, T. (1983). A Logical Approach to Simulation (TS-PROLOG). In: Wedde, H. (eds) Adequate Modeling of Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69208-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-69208-6_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12567-9
Online ISBN: 978-3-642-69208-6
eBook Packages: Springer Book Archive