Title :
Representing temporal interval relationships in a first order logic for time
Author_Institution :
Jodrey Sch. of Comput. Sci., Acadia Univ., Wolfville, NS, Canada
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;
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
DOI :
10.1109/TIME.2001.930702
