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