DocumentCode :
2234609
Title :
Temporal reasoning: a three way analysis
Author :
Padmanabhan, Vineet ; Sattar, Abdul ; Pujari, ArunK ; Goswamy, Chinmoy
Author_Institution :
Knowledge Representation & Reasoning Unit, Griffith Univ., Nathan, Qld., Australia
fYear :
2000
fDate :
2000
Firstpage :
183
Lastpage :
189
Abstract :
The study of temporal representation and reasoning is a core area of research in linguistics, philosophy and artificial intelligence. However, very little work has been done in analysing the principles common to these three areas. We investigate major issues and approaches studied in these disciplines. We discovered the philosophical origin of Allen´s (1983; 1984) interval algebra. We present an analysis of major issues and approaches proposed in these areas to handle temporal representations. Further, a variant of neighbourhood logic, neighbourhood end-point model (NEPM) is proposed. It is shown that the disjunctive normal neighborhood logic form (DNNLF) of NEPM provides an elegant interpretation for the tautologyhood of Allen´s interval relations. We expect NEPM to be further developed for unifying temporal reasoning approaches proposed in linguistics, philosophy and artificial intelligence
Keywords :
artificial intelligence; linguistics; philosophical aspects; temporal logic; temporal reasoning; artificial intelligence; disjunctive normal neighborhood logic form; interval algebra; interval relations; linguistics; neighbourhood end-point model; neighbourhood logic; philosophy; tautology; temporal reasoning; temporal representation; Algebra; Artificial intelligence; Australia; Joining processes; Knowledge representation; Logic; Microwave integrated circuits; Natural languages; Process planning; Visualization;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Temporal Representation and Reasoning, 2000. TIME 2000. Proceedings. Seventh International Workshop on
Conference_Location :
Cape Breton, NS
Print_ISBN :
0-7695-0756-5
Type :
conf
DOI :
10.1109/TIME.2000.856600
Filename :
856600
Link To Document :
بازگشت