Abstract
In the paper, I illustrate an approach for combining time points and time intervals. I propose a uniform definition of time points and time intervals and of the temporal relationships between them, and I describe an integrated temporal reasoner which operates on such a representation. Such a reasoner allows one, among other things, to subdivide an intractable problem (constraint propagation in the general case, in which temporal relations between time points, between time points and time intervals and between time intervals are considered at the same time) into (a possibly intractable number of) smaller tractable subproblems (constraint propagation between time points), and adopts a general heuristic in order to improve efficiency.
The paper shows how such an approach has been developed by adopting BACK, a standard Hybrid Knowledge Representation formalism.
Preview
Unable to display preview. Download preview PDF.
References
J. Allen: Maintaining Knowledge about Temporal Intervals”, Comm ACM 26(11) 832–843 (1983).
J. Allen: “Towards a General Theory of Action and Time”, Artificial Intelligence 23, 123–154 (1984).
R. Detcher, I. Meiri, J. Pearl: “Temporal Constraint Networks”, Proc. 1st Conf. on Principles of Knowledge Representation and Reasoning, 83–93, Toronto (1989).
M. Ghallab, M. Alaoui: “Managing efficiently temporal relations through indexed spanning trees”, Proc. IJCAI'89 (1989).
E. Grasso, L. Lesmo, V. Lombardo, P. M. Maccario, R. Salato, P. Terenziani: “Semantic Interpretation of Tense, Actionality and Aspect”, Proc. ECAI'90, 320–325 (1990).
H. Kamp: “Some remarks on the logic of change. Part I”, Guenthner F (ed), Proc. Stuttgart Conference on the Logic of Tense and Quantification, North Holland, 135–179 (1980).
R. Kowalsky, M. Sergot: “A Logic-based Calculus of Events”, New Generation Computing 4, 67–95 (1986).
P. Ladkin: “Time Representation: A Taxonomy of Interval Relations”, Proc. AAAI-86, 360–366, Philadelphia (1986).
H.J. Levesque: “A Knowledge-level Account of Abduction”, Proc. IJCAI 89, 1061–1067, Detroit (1989).
D. McDermott: “A Temporal Logic for Reasoning about Processes and Plans”, Cognitive Science 6, 101–105 (1982).
S.A. Miller, L.K. Schubert: “Time Revisited”, Computational Intelligence (6), 108–118 (1990).
M. Moens, M. Steedman: “Temporal Ontology and Temporal Reference”, Computational Linguistics 14 (2), 15–28, (1988).
A. Mourelatos: “Events, Processes and States”, Linguistics and Philosophy 2, 415–434 (1978).
B. Nebel, K. Von Luck: “Hybrid Reasoning in BACK”, Z.Ras, L. Saitta (eds), Methodologies for Intelligent Systems 3, North Holland, 260–269 (1988).
M. Poesio: “Toward a Hybrid Representation of Time”, Proc. ECAI-88, 247–252 Munchen (1988).
A. Schmiedel: “A Temporal Terminological Logic”, Proc. AAAI'90,640–645 (1990).
Y. Shoham: “Temporal Logics in AI: Semantical and Ontological Considerations”, Artificial Intelligence 33, 89–104 (1987).
F. Song, R. Cohen: “The Interpretation of Temporal Relations in Narrative”, Proc. AAAI 88, Saint Paul, MN, 745–750.
P. Terenziani, P. Torasso, L. Farinasso, L. Mantegazza: “Causation and Time in a Hybrid Knowledge Representation Formalism”, Methodologies for Intelligent Systems 5, Z.W. Ras, M. Zemankova, M.L. Emrich (eds), North Holland, 329–336 (1990).
P. Terenziani: “A Rule based Approach to the Semantic Interpretation of Natural Language”, to appear in Computers and Artificial Intelligence (3), (1991).
E. Tsang: “Time Structures for AI”, Proc. IJCAI 87, 456–461, Milan (1987).
P. VanBeek: “Approximation Algorithms for Temporal Reasoning”, Proc. IJCAI 89, Milan, 1291–1297.
M. Vilain: “A System for Reasoning about Time”, Proc. AAAI'82, 197–201 (1982).
M. Vilain, H. Kautz: “Constraint Propagation Algorithms for Temporal Reasoning”, Proc. AAAI-86, 376–382, Philadelphia (1986).
M. Vilain, H. Kautz, P. vanBeek: “Constraint Propagation Algorithms for temporal reasoning: a Revised Report”, Readings in Qualitative Reasoning about Phisical Systems, D.S. Weld, J. DeKleer (eds.), Morgan Kaufmann, 373–381 (1990).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Terenziani, P. (1991). Combining time points and time intervals in a hybrid knowledge representation formalism. In: Ras, Z.W., Zemankova, M. (eds) Methodologies for Intelligent Systems. ISMIS 1991. Lecture Notes in Computer Science, vol 542. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54563-8_88
Download citation
DOI: https://doi.org/10.1007/3-540-54563-8_88
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54563-7
Online ISBN: 978-3-540-38466-3
eBook Packages: Springer Book Archive