Representing temporal interval relationships in a first order logic for time

被引：0
|
作者：
Trudel, A [1 ]
机构：
[1] Acadia Univ, Jodrey Sch Comp Sci, Wolfville, NS B0P 1X0, Canada
来源：
EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS | 2001年
关键词：
D O I：
10.1109/TIME.2001.930702
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a simple classification of temporal information based on truth value at the point level. Axioms are then derived for capturing temporal relationships and, strong and weak negation. The main advantage of our logic independent approach is that it becomes simpler for a user to define a first order temporal logic.
引用
收藏
页码：81 / 86
页数：6
相关论文
共 50 条
  • [41] A Formally Verified Monitor for Metric First-Order Temporal Logic
    Schneider, Joshua
    Basin, David
    Krstic, Srdan
    Traytel, Dmitriy
    RUNTIME VERIFICATION, RV 2019, 2019, 11757 : 310 - 328
  • [42] The formal specification and implementation of a modest first-order temporal logic
    Sachdev, S
    Trudel, A
    INTELLIGENT PROBLEM SOLVING: METHODOLOGIES AND APPROACHES, PRODEEDINGS, 2000, 1821 : 443 - 452
  • [43] Temporal Verification of Programs via First-Order Fixpoint Logic
    Kobayashi, Naoki
    Nishikawa, Takeshi
    Igarashi, Atsushi
    Unno, Hiroshi
    STATIC ANALYSIS (SAS 2019), 2019, 11822 : 413 - 436
  • [44] Runtime Verification: From Propositional to First-Order Temporal Logic
    Havelund, Klaus
    Peled, Doron
    RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 90 - 112
  • [45] Explainable Online Monitoring of Metric First-Order Temporal Logic
    Lima, Leonardo
    Huerta y Munive, Jonathan Julian
    Traytel, Dmitriy
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2024, 2024, 14570 : 288 - 307
  • [46] Representing temporal relationships between events and their effects
    Ma, J
    Knight, B
    Peng, T
    FOURTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 1997, : 148 - 152
  • [47] First-order logic based formalism for temporal data mining
    Cotofrei, P
    Stoffel, K
    FOUNDATIONS OF DATA MINING AND KNOWLEDGE DISCOVERY, 2005, 6 : 185 - 210
  • [48] From First-order Temporal Logic to Parametric Trace Slicing
    Reger, Giles
    Rydeheard, David
    RUNTIME VERIFICATION, RV 2015, 2015, 9333 : 216 - 232
  • [49] Monitoring Security Policies with Metric First-order Temporal Logic
    Basin, David
    Klaedtke, Felix
    Mueller, Samuel
    SACMAT 2010: PROCEEDINGS OF THE 15TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES, 2010, : 23 - 33
  • [50] AN INTERVAL-BASED TEMPORAL LOGIC
    SCHWARTZ, RL
    MELLIARSMITH, PM
    VOGT, FH
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 443 - 457
12345