Abstract
Modelling multiple views of a dynamic system requires both an efficient technique for dealing with multiple contexts and a mechanism for explicit reasoning about time. Assumption-based truth maintenance systems simultaneously handle multiple, possibly contradictory views, which may be characterized by different sets of assumptions about correctness of components, particular operating modes, etc.. This is mainly achieved by recording inference steps in the form of explicit dependencies and propagating sets of assumptions along these dependencies. Constraint systems explicitly reasoning about time use value-interval pairs, so-called episodes, as parameter values.
We argue that straightforward combinations of assumption-based and episode-based systems may raise serious complexity problems. In order to overcome these problems we use the basic ideas of assumption-based systems, i.e. caching of inference steps and label propagation, and apply them to both assumption sets and temporal information.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Decker, Rainer: Modeling the Temporal Behavior of Technical Systems. Proceedings German Workshop on Artificial Intelligence 1988, Springer Verlag.
de Kleer, Johan: An Assumption-Based TMS. Artificial Intelligence 28, pp. 127–162, 1986.
Williams, Brian: Doing Time: Putting Qualitative Reasoning on Firmer Ground. Proceedings AAAI-86,pp. 105–112.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dressler, O., Freitag, H. (1989). Propagation of Temporally Indexed Values in Multiple Contexts. In: Metzing, D. (eds) GWAI-89 13th German Workshop on Artificial Intelligence. Informatik-Fachberichte, vol 216. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75100-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-75100-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51743-6
Online ISBN: 978-3-642-75100-4
eBook Packages: Springer Book Archive