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 条

[31] On Finite Domains in First-Order Linear Temporal Logic
Kuperberg, Denis
Brunel, Julien
Chemouil, David
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2016, 2016, 9938 : 211 - 226
[32] DejaVu: A Monitoring Tool for First-Order Temporal Logic
Havelund, Klaus
Peled, Doron
Ulus, Dogan
2018 IEEE 3RD WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS (MT-CPS 2018), 2018, : 12 - 13
[33] Decidable Cases of First-order Temporal Logic with Functions
Walter Hussak
Studia Logica, 2008, 88 (2) : 247 - 261
[34] Similarity saturation for first order linear temporal logic with UNLESS
Pliuskevicius, R
LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 320 - 336
[35] The power of the ''always'' operator in first-order temporal logic
Kaminski, M
Wong, CK
THEORETICAL COMPUTER SCIENCE, 1996, 160 (1-2) : 271 - 281
[36] A COMPLETENESS THEOREM OF FIRST-ORDER TEMPORAL LOGIC WITH EQUALITY
唐同诰
Science China Mathematics, 1985, (05) : 532 - 540
[37] Axiomatizing the monodic fragment of first-order temporal logic
Wolter, F
Zakharyaschev, M
ANNALS OF PURE AND APPLIED LOGIC, 2002, 118 (1-2) : 133 - 145
[38] An interval point duration temporal logic for the modeling of real time systems
Ben Ayed, LJ
Jaray, J
ISCCSP : 2004 FIRST INTERNATIONAL SYMPOSIUM ON CONTROL, COMMUNICATIONS AND SIGNAL PROCESSING, 2004, : 25 - 28
[39] A complete axiomatization of interval temporal logic with infinite time (extended abstract)
Moszkowski, BC
15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 241 - 252
[40] A COMPLETE AXIOM SYSTEM FOR PROPOSITIONAL INTERVAL TEMPORAL LOGIC WITH INFINITE TIME
Moszkowski, Ben
LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03)

← 1 2 3 4 5 →