Abstract
Es werden die Zeitstrukturen der zeitlogischen Formalisierungen von McDermott und Allen näher betrachtet. Für die Formalisierung von Allen wird gezeigt, daß sich aus der Intervallstruktur ein Mangel an Eigenschaften bzgl. des Konzepts eines Ereignisses ergibt. Auch die Definition eines Faktes wird durch die Betrachtung der Zeitstruktur und von Arbeiten zu modalen Zeitlogiken verständlicher. Sie ist, entgegen einer Aussage von Shoham, nicht durch die fehlende Atomarität der Zeitstruktur bestimmt. Abschließend wird die Beziehung der Zeitstruktur und der bzgl. ihr definierten Konzepte in einer Formalisierung des Autors diskutiert1.
This is a preview of subscription content, log in via an institution to check access.
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
Allen, J. F:: “Towards a General Theory of Action and Time”, Artifcial Intelligence, Vol. 22, (1984), pp 123–154.
Allen, J. F. und P. J. Hayes: “A Common-Sense Theory of Time”, Proc. of IJCAI 8, (1985), pp 528–531.
van Benthem, J. F. A. K. K.: “The Logic of Time”, Reidel Publishing Comp, Dordrecht, 1982.
Groth, K, K.: “Temporale Logik und die logische Repräsentation von Zeitwissen in der KI”, Universitâ.t Bonn, Institut für Informatik, Diplomarbeit, Bonn, 1987.
Hamblin, C. L.: “Instants and Intervals”, Stadium Generale,. Vol. 27, (1971), pp 127–134.
Humberstone, I. L.: “Interval Semantics for Tense Logic: Some Remarks”, Journal of Philosophical Logic, Vol. 8, (1979), pp 171–196.
Kowalski, R. und M. Sergot: “A Logic-Based Calculus of Events”, New Generation Computing 4, (1986), pp 67–95.
McDermott, D.: “A Temporal Logic for Reasoning about Processes and Plans”, Cognitive Science, Vol. 6, (2), (1982), pp 101–155.
Shoham, Y.: “Reified Temporal Logic: Semantical and Ontological considerations”, Proceedings of the ECAI-86, Brighton, pp 390–397, 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Groth, K. (1987). Der Aspekt der Zeitstruktur in zeitlogischen Formalisierungen in der KI. In: Morik, K. (eds) GWAI-87 11th German Workshop on Artifical Intelligence. Informatik-Fachberichte, vol 152. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73005-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-73005-4_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18388-4
Online ISBN: 978-3-642-73005-4
eBook Packages: Springer Book Archive