Duan, Zhenhua; Yang, Xiaoxiao; Koutny, Maciej Semantics of framed temporal logic programs. (English) Zbl 1165.68329 Gabbrielli, Maurizio (ed.) et al., Logic programming. 21st international conference, ICLP 2005, Sitges, Spain, October 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29208-X/pbk). Lecture Notes in Computer Science 3668, 356-370 (2005). Summary: 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.For the entire collection see [Zbl 1086.68004]. Cited in 4 Documents MSC: 68N17 Logic programming 68Q55 Semantics in the theory of computing Keywords:Temporal logic programming; framing; minimal model; monotonicity; semantics PDFBibTeX XMLCite \textit{Z. Duan} et al., Lect. Notes Comput. Sci. 3668, 356--370 (2005; Zbl 1165.68329) Full Text: DOI