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 条

[1] First order interval temporal logic for describing and verifying digital circuits
Northwestern Polytechnical Univ, Xi'an, China
Xibei Gongye Daxue Xuebao, 1 (136-141):
[2] A complete proof system for first-order interval temporal logic with projection
Guelev, DP
JOURNAL OF LOGIC AND COMPUTATION, 2004, 14 (02) : 215 - 249
[3] An adequate first order interval logic
Zhou, CC
Hansen, MR
COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 584 - 608
[4] An Axiomatization of a First-order Branching Time Temporal Logic
Doder, Dragan
Ognjanovic, Zoran
Markovic, Zoran
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2010, 16 (11) : 1439 - 1451
[5] Representing first-order logic using graphs
Rensink, A
GRAPH TRANSFORMATIONS, PROCEEDINGS, 2004, 3256 : 319 - 335
[6] Completeness of a first-order temporal logic with time-gaps
Baaz, M
Leitsch, A
Zach, R
THEORETICAL COMPUTER SCIENCE, 1996, 160 (1-2) : 241 - 270
[7] Representing musical time: A temporal-logic approach
Dixon, M
MUSIC & LETTERS, 2002, 83 (03) : 511 - 514
[8] STRONG COMPLETENESS OF A FIRST-ORDER TEMPORAL LOGIC FOR REAL TIME
Goldblatt, Robert
REVIEW OF SYMBOLIC LOGIC, 2024,
[9] Monitoring First-Order Interval Logic
Havelund, Klaus
Omer, Moran
Peled, Doron
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 13085 LNCS : 66 - 83
[10] Monitoring First-Order Interval Logic
Havelund, Klaus
Omer, Moran
Peled, Doron
SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021), 2021, 13085 : 66 - 83

← 1 2 3 4 5 →