Framed temporal logic programming

被引：57
|
作者：
Duana, Zhenhua [1 ]
Yanga, Xiaoxiao [1 ]
Koutnyb, Maciej [2 ]
机构：
[1] Xidian Univ, Inst Comp Theory & Technol, Xian 710071, Peoples R China
[2] Univ Newcastle Upon Tyne, Sch Comp Sci, Newcastle Upon Tyne NE1 7RU, Tyne & Wear, England
来源：
SCIENCE OF COMPUTER PROGRAMMING | 2008年 / 70卷 / 01期
基金：
中国国家自然科学基金;
关键词：
temporal logic programming; framing; minimal model; monotonicity; synchronization; communication; semantics;
D O I：
10.1016/j.scico.2007.09.001
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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. (C) 2007 Elsevier B.V. All rights reserved.
引用
收藏
页码：31 / 61
页数：31
相关论文
共 50 条
  • [41] Integration of Linear Constraints with a Temporal Logic Programming Language
    Ma, Qian
    Duan, Zhenhua
    Yang, Mengfei
    2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2013, : 157 - 164
  • [42] TOKIO - LOGIC PROGRAMMING LANGUAGE BASED ON TEMPORAL LOGIC AND ITS COMPILATION TO PROLOG
    FUJITA, M
    KONO, S
    TANAKA, H
    MOTOOKA, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 695 - 709
  • [43] ON PARALLEL PROGRAMMING METHODOLOGY IN GHC - EXPERIENCE IN PROGRAMMING A PROOF PROCEDURE OF TEMPORAL LOGIC
    TAKAHASHI, K
    KANAMORI, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 264 : 92 - 103
  • [44] TIME-EXTRACTION FOR TEMPORAL LOGIC LOGIC PROGRAMMING AND LOCAL-PROCESS TIME
    HATTORI, T
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1994, 49 (01) : 40 - 56
  • [45] Logic programming and constraint logic programming
    Cohen, J
    ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
  • [46] Programming in logic without logic programming
    Kowalski, Robert
    Sadri, Fariba
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 269 - 295
  • [47] Simulation of CTCS-3 Protocol with Temporal Logic Programming
    Zhang, Peng
    Duan, Zhenhua
    Tian, Cong
    PROCEEDINGS OF THE 2013 IEEE 17TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN (CSCWD), 2013, : 72 - 77
  • [48] Learning Temporal Interval Relations Using Inductive Logic Programming
    Nicoletti, Maria do Carmo
    de Sa Lisboa, Flavia O. S.
    Hruschka, Estevam Rafael, Jr.
    INTEGRATED COMPUTING TECHNOLOGY, 2011, 165 : 90 - 104
  • [49] Topological Approximate Dynamic Programming under Temporal Logic Constraints
    Li, Lening
    Fu, Jie
    2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 5330 - 5337
  • [50] Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems
    Haesaert, Sofie
    Soudjani, Sadegh
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (06) : 2496 - 2511
12345