DocumentCode
3201612
Title
Representing temporal interval relationships in a first order logic for time
Author
Trudel, André
Author_Institution
Jodrey Sch. of Comput. Sci., Acadia Univ., Wolfville, NS, Canada
fYear
2001
fDate
2001
Firstpage
81
Lastpage
86
Abstract
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
Keywords
knowledge representation; temporal logic; temporal reasoning; truth maintenance; first order temporal logic; strong negation; temporal information classification; temporal interval relationship representation; temporal relationship capture; truth value; weak negation; Artificial intelligence; Computer science; Knowledge engineering; Logic; Radio access networks;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on
Conference_Location
Cividale del Friuli
Print_ISBN
0-7695-1107-4
Type
conf
DOI
10.1109/TIME.2001.930702
Filename
930702
Link To Document