×

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].

MSC:

68N17 Logic programming
68Q55 Semantics in the theory of computing
PDFBibTeX XMLCite
Full Text: DOI