Qualitative temporal reasoning about vague events

  • Authors:

  • Steven Schockaert;Martine De Cock;Etienne E. Kerre

  • Affiliations:

  • Ghent University, Department of Applied Mathematics and Computer Science;Ghent University, Department of Applied Mathematics and Computer Science;Ghent University, Department of Applied Mathematics and Computer Science

  • Venue:
  • IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

The temporal boundaries of many real-world events are inherently vague. In this paper, we discuss the problem of qualitative temporal reasoning about such vague events. We show that several interesting reasoning tasks, such as checking satisfiability, checking entailment, and calculating the best truth value bound, can be reduced to reasoning tasks in a well-known point algebra with disjunctions. Furthermore, we identify a maximal tractable subset of qualitative relations to support efficient reasoning.