TY - GEN
T1 - Combining time points and time intervals in a hybrid knowledge representation formalism
AU - Terenziani, Paolo
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1991.
PY - 1991
Y1 - 1991
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85027634207&partnerID=8YFLogxK
U2 - 10.1007/3-540-54563-8_88
DO - 10.1007/3-540-54563-8_88
M3 - Conference contribution
SN - 9783540545637
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 246
EP - 255
BT - Methodologies for Intelligent Systems - 6th International Symposium, ISMIS 1991, Proceedings
A2 - Ras, Zbigniew W.
A2 - Zemankova, Maria
PB - Springer Verlag
T2 - 6th International Symposium on Methodologies for Intelligent Systems, ISMIS 1991
Y2 - 16 October 1991 through 19 October 1991
ER -