Abstract
In Computer Science, especially in AI, the treatment of temporal information is very important. For example, temporal restrictions for actions play a central role in planning. Mostly, qualitative constraints between actions, i.e. between time intervals assigned to actions, are represented in so called time interval networks. But humans involved often specify inconsistent networks. Thus, to support these people in converting contradictory networks into contradiction-free ones, a new efficient method is proposed.
The discussed method directly searches for solutions of the contradictions in the user-defined networks. Thereby, consistent time interval networks are constructed, so called elementary solutions which contain a maximal number of user-defined assumptions.
In this paper, a basic algorithm for computing elementary solutions is presented, and for reasons of efficiency a modification of this algorithm is explained. In this way, we get an efficient computation of elementary solutions for contradictory time interval networks.
Preview
Unable to display preview. Download preview PDF.
References
J. Allen: Maintaining Knowledge about Temporal Intervals, Communications of the ACM, 26, No. 11, Nov. 1983, pp 832–843.
J. Allen: Towards a General Theory of Action and Time, Artificial Intelligence, 23, No. 2, July 1984, pp 123–154.
R. Bleisinger: TEMPO — an Integrative Approach for Modeling Qualitative and Quantitative Temporal Information (in German), Proc. of the 15th GWAI, Bonn, Sept. 1991, pp 167–176.
R. Bleisinger, P. Knauber, W. Schramm, M. Verlage: Software Process Description and Enactment Considering Temporal Constraints, Proc. of the 4th International Symposium on AI, Cancun, Mexico, 1991, pp 416–422.
T. Hrycej: A Transitivity-Based Algorithm for Temporal Constraint Propagation, In: Technische Expertensysteme: Wissensrepräsentation und Schlußfolgerungsverfahren, 1988, pp 397–414.
R. Valdez-Peres: The Satisfiability of Temporal Constraint Networks, Proc. of the 6th AAAI, 1987, pp 256–260.
P. van Beek: Reasoning about Qualitative Temporal Information, Proc. of the 8th AAAI, 1990, pp 728–734.
M. Vilain: A System for Reasoning about Time, Proc. of the 3rd AAAI, 1982, pp 197–201.
M. Vilain, H. Kautz: Constraint Propagation Algorithms for Temporal Reasoning, Proc. of the 5th AAAI, 1986, pp 377–382.
A. Weigel: Solution of Contradictions in Time Interval Networks (in German), Diploma Thesis, University of Kaiserslautem, 1991.
A. Weigel, R. Bleisinger: Support for Resolving Contradictions in Time Interval Networks, Proc. of the 10th ECAI. Wien, 1992, pp 379–383.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weigel, A., Bleisinger, R. (1993). Efficient computation of solutions for contradictory time interval networks. In: Jürgen Ohlbach, H. (eds) GWAI-92: Advances in Artificial Intelligence. Lecture Notes in Computer Science, vol 671. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018998
Download citation
DOI: https://doi.org/10.1007/BFb0018998
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56667-0
Online ISBN: 978-3-540-47626-9
eBook Packages: Springer Book Archive