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 条

[21] Investigations on fragments of first order branching temporal logic
Montagna, F
Pinna, GM
Tiezzi, EBP
MATHEMATICAL LOGIC QUARTERLY, 2002, 48 (01) : 51 - 62
[22] Proof planning for first-order temporal logic
Castellini, C
Smaill, A
AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 2005, 3632 : 235 - 249
[23] Equality and monodic first-order temporal logic
Degtyarev A.
Fisher M.
Lisitsa A.
Studia Logica, 2002, 72 (2) : 147 - 156
[24] Detection of Mailbomb Attacks base on Time Interval Temporal Logic
Zhou, Qinglei
Hu, Wei
Zhu, Weijun
2015 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMMUNICATION NETWORKS (CICN), 2015, : 1078 - 1080
[25] An Interval Temporal Logic for Time Series Specification and Data Integration
Kosiuczenko, Piotr
REMOTE SENSING, 2021, 13 (12)
[26] Representing Buridan's Divided Modal Propositions in First-Order Logic
Dagys, Jonas
Pabijutaite, Zivile
Giedra, Haroldas
HISTORY AND PHILOSOPHY OF LOGIC, 2022, 43 (03) : 264 - 274
[27] Prompt Interval Temporal Logic
Della Monica, Dario
Montanari, Angelo
Murano, Aniello
Sala, Pietro
LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 2016, 10021 : 207 - 222
[28] Visualization of interval temporal logic
Rao, AC
Cau, A
Zedan, H
PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2, 2000, : 687 - 690
[29] REASONING IN INTERVAL TEMPORAL LOGIC
MOSZKOWSKI, B
MANNA, Z
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 371 - 382
[30] INTERVAL TEMPORAL LOGIC - A NOTE
BARNES, RF
JOURNAL OF PHILOSOPHICAL LOGIC, 1981, 10 (04) : 395 - 397

← 1 2 3 4 5 →