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 条
  • [21] A proof procedure for temporal logic programming
    Gergatsoulis, M
    Nomikos, C
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2004, 15 (02) : 417 - 443
  • [22] TEMPORAL LOGIC PROGRAMMING IS COMPLETE AND EXPRESSIVE
    BAUDINET, M
    CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 267 - 280
  • [23] Towards temporal contextual logic programming
    Nogueira, Vitor
    Abreu, Salvador
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 439 - 441
  • [24] Extending constraint logic programming for temporal reasoning
    Lamma, E
    Milano, M
    Mello, P
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1998, 22 (1-2) : 139 - 158
  • [25] TEMPORAL LOGIC PROGRAMMING FOR ASSEMBLY SEQUENCE PLANNING
    SEOW, KT
    DEVANATHAN, R
    ARTIFICIAL INTELLIGENCE IN ENGINEERING, 1993, 8 (04): : 253 - 263
  • [26] MSVL: a typed language for temporal logic programming
    Xiaobing Wang
    Cong Tian
    Zhenhua Duan
    Liang Zhao
    Frontiers of Computer Science, 2017, 11 : 762 - 785
  • [27] On temporal logic programming using Petri nets
    Zaidi, AK
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1999, 29 (03): : 245 - 254
  • [28] IMPLEMENTATION OF TEMPORAL LOGIC PROGRAMMING LANGUAGE TOKIO
    KONO, S
    AOYAGI, T
    FUJITA, M
    TANAKA, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 221 : 138 - 147
  • [29] Modularity and temporal reasoning: a logic programming approach
    Nogueira, Vitor
    Abreu, Salvador
    TIME 2007: 14TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2007, : 191 - 191
  • [30] Project management using temporal logic programming
    Hussain, S
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 2144 - 2149
12345