Abstract
This paper investigates semantics of framed temporal logic programs. To this end, a projection temporal logic and its executable subset are presented. Based on this language, a framing technique is introduced. The semantics of a non-framed program is well interpreted by the canonical model. However, since introducing a framing operator destroys monotonicity, a canonical model may no longer capture the intended meaning of a program. Hence, a minimal model theory is developed. Within this model, negation by default is used to manipulate frame operator. Further, the temporal semantics of framed programs is captured by means of the minimal models. The existence of a minimal model for a given framed program is also proved. An example is given to illustrate how the semantics of framed programs can be captured.
This research is supported by the NSFC Grant No. 60373103 and 60433010, the SRFDP Grant 20030701015, and Grant SYSKF0407 from Lab. Computer Science, ISCAS.
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
Bidoit, N.: Negation in Rule-based Data Base Languages: A Survey. Theoretical Computer Science 78, 3–83 (1991)
Duan, Z., Koutny, M.M., Holt, C.: Projection in temporal logic programming. In: Pfenning, F. (ed.) LPAR 1994. LNCS (LNAI), vol. 822, pp. 333–344. Springer, Heidelberg (1994)
Duan, Z.: An Extended Interval Temporal Logic and A Framing Technique for Temporal Logic Programming. Ph.D Thesis (Technical Report No.556), University of Newcastle upon Tyne (May 1996)
Duan, Z., Holcombe, M., Bell, A.: A Logic for Biological Systems. BioSystems 55, 93–105 (2000)
Duan, Z., Koutny, M.: A Framed Temporal Logic Programming Language. Journal of Computer Science and Technology 19(3), 341–351 (2004)
Hale, R.: Programming in Temporal Logic. Ph.D. Thesis, 173 (1989) Trini College Computer Laboratory, Cambridge University, Cambridge, England (October 1988)
Kröger, F.: Temporal logic of programs. Springer, Heidelberg (1987)
Moszkowski, B.: Executing temporal logic programs. Cambridge University Press, Cambridge (1986)
Moszkowski, B.: Some very compositional temporal properties. In: Programming Concepts, Methods, and Calculi, pp. 307–326. Elsevier Science B.V, North-Holland (1994)
Manner, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer, Heidelberg (1992)
Xie, H., Gong, J., Tang, C.S.: A Structured Temporal Logic Language XYZ/SE. J. of Comp. Sci. & Tech. (January 1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Duan, Z., Yang, X., Koutny, M. (2005). Semantics of Framed Temporal Logic Programs. In: Gabbrielli, M., Gupta, G. (eds) Logic Programming. ICLP 2005. Lecture Notes in Computer Science, vol 3668. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11562931_27
Download citation
DOI: https://doi.org/10.1007/11562931_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29208-1
Online ISBN: 978-3-540-31947-4
eBook Packages: Computer ScienceComputer Science (R0)