Zusammenfassung
Die Betrachtung von Zeit spielt in vielen Anwendungsbereichen der Informatik eine wachsende Rolle. In diesem Papier stellen wir einige Aspekte der Zeitbetrachtung vor, die wir bei der Implementierung eines Temporal-Reasoning-Systems (TRS) im WISDOM-Verbundprojekt ausgearbeitet haben.
Vorgängen und Ereignissen ordnen wir zeitliche Intervalle zu, in denen sie stattfinden bzw. auftreten. Wir stellen dar, wie sich auch der Zeitpunktbegriff dem Intervallbegriff unterordnen läßt. Weiter wird erläutert, wie sich Intervalle auf eine feste Zeitachse (z.B. auf unseren Jahreskalender) abbilden lassen und wie aus einer solchen Abbildung ein Zeitdauerbegriff abgeleitet werden kann. Schließlich gehen wir noch darauf ein, wie Aussagen über relative Beziehungen von Intervallen, absolute Zuordnungen von Intervallen auf eine Zeitachse und Zeitdauerangaben verknüpft werden können und welche Probleme bei der Überprüfung solcher Aussagen auf Konsistenz auftreten.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
James F. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 26 (11): 832–843, November 1983.
James F. Allen. Towards a General Theory of Action and Time. Artificial Intelligence, 23(2): 123–154, 1984. 1984.
James F. Allen and Patrick J. Hayes. A Common-Sense Theory of Time. In Proc. of 9th IJCAI, pp. 528–531, 1985.
Stephan U. Becker. Konzeption und Implementation einer temporalen Inferenzkomponente — Anwendung auf Planungsprobleme in der Fliefiproduktion. Diplomarbeit, Philips GmbH, Forschungslaboratorium Ham- burg/Universität Hamburg, Fachbereich Informatik, 1988.
R. Bleisinger, K. Faidt und S. Flohr. Temporale Logik: Verwendung zur Semantikbeschreibung der LUIGI-Operation-Syntax. WISDOM- Arbeitsbericht AB-AGB-88-01, Arbeitsgruppe Barth, Institut fur Informatik, Universitat Stuttgart, Februar 1988.
R. Bleisinger, K. Faidt und S. Flohr. Zeitintervalle und Zeitpunkte. WISDOM-Forschungsbericht FB-AGB-88-21, Universitat Stuttgart, Institut fur Informatik, Juli 1988.
Tomas Hrycej. A Transitivity-Based Algorithm for Temporal Constraint Propagation. In H.W. Friichtenicht et al., editor, Technische Expertensysteme: Wissensrepraseniation und Schlufifolgerungsverfahren, pp. 397–414, Oldenburg-Verlag, 1988.
Peter Ladkin. Primitives and Units for Time Specification. In Proc. 5 th AAAI; 1986.
Z. Manna and A. Pnueli. Verification of Concurrent Programs: The Temporal Framework. In R.S. Boyer and J.S. Moore, editors, The Correctness Problem in Computer Science, pp. 215–273, Academic Press, London, 1981.
Drew McDermott. A Temporal Logic for Reasoning About Processes and Plans. Cognitive Science, 6 (2): 101–155, December 1982.
Yoav Shoham. Chronological Ignorance. Time, Nonmonotonicity, Necessity and Causal Theories. In Proc. of 5th AAAI, pp. 389–393, 1986.
Edward P K Tsang. Plan Generation in a Temporal Frame. In Proc. ECA1, pp. 479–493, 1986.
Raul E. Valdes-Perez. The Satisfiability of Temporal Constraint Networks. In Proc. 6th AAAI, pp. 256–260, American Association for Artificial Intel¬ligence, Morgan Kaufmann Publishers, Inc., 1987.
Marc B. Vilain. A System for Reasoning About Time. In Proc. AAAI-82, pp. 197–201, 1982.
H. Voß. Representing and Analyzing Time and Causality in HIQUAL Models. MEMO SEKI-85–07, SEKI-Projekt, Fachbereich Informatik, Universitat Kaiserslautern, Postfach 3049, D-6750 Kaiserslautern, Oktober 1985.
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
Faidt, K., Flohr, S., Bleisinger, R. (1989). Repräsentation und Verarbeitung von zeitlichem Wissen. In: Retti, J., Leidlmair, K. (eds) 5. Österreichische Artificial-Intelligence-Tagung. Informatik-Fachberichte, vol 208. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74688-8_38
Download citation
DOI: https://doi.org/10.1007/978-3-642-74688-8_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51039-0
Online ISBN: 978-3-642-74688-8
eBook Packages: Springer Book Archive