• 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