Representing and reasoning with temporal information is an essential part of many tasks in AI such as scheduling, planning and natural language processing. Two influential frameworks for representing temporal information are interval algebra and point algebra [1, 8]. Given a knowledge-base consisting of temporal relations, the main reasoning problem is to determine whether this knowledge-base is satisfiable, i.e., there is a scenario which is consistent with the information provided. However, when a given set of temporal relations is unsatisfiable, no further reasoning is performed. We argue that many real world problems are inherently overconstrained, and that these problems must also be addressed. This paper investigates approaches for handling overconstrainedness in temporal reasoning. We adapt a well studied notion of partial satisfaction to define partial scenarios or optimal partial solutions. We propose two reasoning procedures for computing an optimal partial solution to a problem (or a complete solution if it exists).
[1]
Peter van Beek,et al.
Exact and approximate reasoning about temporal relations 1
,
1990,
Comput. Intell..
[2]
Massimo Poesio,et al.
Metric Constraints for Maintaining Appointments: Dates and Repeated Activities
,
1991,
AAAI.
[3]
Eugene C. Freuder,et al.
Partial Constraint Satisfaction
,
1989,
IJCAI.
[4]
James F. Allen,et al.
Planning Using a Temporal World Model
,
1983,
IJCAI.
[5]
Henry A. Kautz,et al.
Constraint Propagation Algorithms for Temporal Reasoning
,
1986,
AAAI.
[6]
Fei Song,et al.
The Interpretation of Temporal Relations in Narrative
,
1988,
AAAI.
[7]
James F. Allen.
Maintaining knowledge about temporal intervals
,
1983,
CACM.
[8]
Bernhard Nebel.
Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
,
1997
.