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 条
  • [31] MSVL: a typed language for temporal logic programming
    Wang, Xiaobing
    Tian, Cong
    Duan, Zhenhua
    Zhao, Liang
    FRONTIERS OF COMPUTER SCIENCE, 2017, 11 (05) : 762 - 785
  • [32] A logic programming framework for modeling temporal objects
    Kesim, FN
    Sergot, M
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1996, 8 (05) : 724 - 741
  • [33] Extending constraint logic programming for temporal reasoning
    Evelina Lamma
    Michela Milano
    Paola Mello
    Annals of Mathematics and Artificial Intelligence, 1998, 22 : 139 - 158
  • [34] A temporal programming model with atomic blocks based on projection temporal logic
    Yang, Xiaoxiao
    Zhang, Yu
    Fu, Ming
    Feng, Xinyu
    FRONTIERS OF COMPUTER SCIENCE, 2014, 8 (06) : 958 - 976
  • [35] A temporal programming model with atomic blocks based on projection temporal logic
    Xiaoxiao Yang
    Yu Zhang
    Ming Fu
    Xinyu Feng
    Frontiers of Computer Science, 2014, 8 : 958 - 976
  • [36] Two semantics for temporal annotated constraint logic programming
    Raffaetà, A
    Frühwirth, T
    INTENSIONAL PROGRAMMING II: BASED ON THE PAPERS AT ISLIP'99, 2000, : 78 - 92
  • [37] Pointers in framing projection temporal logic programming languages
    Wang, Xiao-Bing
    Duan, Zhen-Hua
    Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2008, 35 (06): : 1069 - 1074
  • [38] Approximate Dynamic Programming with Probabilistic Temporal Logic Constraints
    Li, Lening
    Fu, Jie
    2019 AMERICAN CONTROL CONFERENCE (ACC), 2019, : 1696 - 1703
  • [39] A Logic Programming System for Evolving Programs with Temporal Operators
    Alferes, Jose Julio
    Gabaldon, Alfredo
    Leite, Joao
    PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5816 : 101 - 112
  • [40] Dealing with multiple granularity of time in temporal logic programming
    Liu, CC
    Orgun, MA
    JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 699 - 720
12345