Framed temporal logic programming

A Projection Temporal Logic is discussed and some of its laws are given. After that, an executable temporal logic programming language, called Framed Tempura, is formalized. A minimal model-based approach for framing in temporal logic programming is presented. Since framing destroys monotonicity, canonical models-used to define the semantics of non-framed programs-are no longer appropriate. To deal with this, a minimal model theory is developed, using which the temporal semantics of framed programs is captured. The existence of a minimal model for a given framed program is demonstrated. A synchronous communication mechanism for concurrent programs is provided by means of the framing technique and minimal model semantics.

[1]  Edmund M. Clarke,et al.  Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..

[2]  Eric C. R. Hehner.  A Practical Theory of Programming , 1993, Texts and Monographs in Computer Science.

[3]  Howard Bowman,et al.  A Tableau Method for Interval Temporal Logic with Projection , 1998, TABLEAUX.

[4]  Fred Krögr.  Temporal Logic Of Programs , 1987 .

[5]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[6]  Linda Ness.  L.0: a parallel executable temporal logic language , 1990 .

[7]  Howard Bowman,et al.  A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection , 2003, J. Log. Comput..

[8]  Chih-Sung Tang,et al.  Toward a Unified Logic Basis for Programming Languages , 1983, IFIP Congress.

[9]  Maciej Koutny,et al.  Projection in Temporal Logic Programming , 1994, LPAR.

[10]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[11]  Roger William Stephen Hale.  Programming in temporal logic , 1988 .

[12]  Michael Fisher,et al.  Towards a Semantics for Concurrent METATEM , 1993, Executable Modal and Temporal Logics.

[13]  Ben C. Moszkowski,et al.  Executing temporal logic programs , 1986, Seminar on Concurrency.

[14]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[15]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[16]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[17]  Nicole Bidoit,et al.  Negation in Rule-Based Database Languages: A Survey , 1991, Theor. Comput. Sci..

[18]  Masahiro Fujita,et al.  Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog , 1986, ICLP.

[19]  Maciej Koutny,et al.  Semantics of Framed Temporal Logic Programs , 2005, ICLP.

[20]  Dov M. Gabbay,et al.  METATEM: A Framework for Programming in Temporal Logic , 1989, REX Workshop.

[21]  M Holcombe,et al.  A logic for biological systems. , 2000, Bio Systems.

[22]  Howard Bowman,et al.  Speci cation and Prototyping of StructuredMultimedia Documents using Interval TemporalLogic ? , 1997 .

[23]  Zhenhua Duan,et al.  An extended interval temporal logic and a framing technique for temporal logic programming , 1996 .

[24]  Zhen-HuaDuan,et al.  A Framed Temporal Logic Programming Language , 2004 .

[25]  Dov M. Gabbay,et al.  Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[26]  Ben C. Moszkowski.  Some Very Compositional Temporal Properties , 1994, PROCOMET.