We present a family of temporal terminological logics that share the characteristic of having temporal operators on intervals as concept forming operators. These logics allow to represent concepts whose set of instances depends on the interval of time considered. Moreover, the temporal operators allow to define concepts by the pattern of change of properties of their instances. They are derived from the logic presented in [8], but differ in both their terminological and temporal expressiveness. The formalism and the semantics show a tight relation with propositional modal logics of time intervals. We also briefly present results on the problems of decidability of subsumption, relevance of the temporal structure and incomplete subsumption algorithms.
A family of temporal terminological logics / C. Bettini (LECTURE NOTES IN COMPUTER SCIENCE). - In: Advances in artificial intelligence / [a cura di] P. Torasso. - Berlin : Springer, 1993. - ISBN 9783540572923. - pp. 120-131 (( Intervento presentato al 3. convegno Congress of the Italian Association for Artificial Intelligence tenutosi a Torino nel 1993 [10.1007/3-540-57292-9_50].
A family of temporal terminological logics
C. BettiniPrimo
1993
Abstract
We present a family of temporal terminological logics that share the characteristic of having temporal operators on intervals as concept forming operators. These logics allow to represent concepts whose set of instances depends on the interval of time considered. Moreover, the temporal operators allow to define concepts by the pattern of change of properties of their instances. They are derived from the logic presented in [8], but differ in both their terminological and temporal expressiveness. The formalism and the semantics show a tight relation with propositional modal logics of time intervals. We also briefly present results on the problems of decidability of subsumption, relevance of the temporal structure and incomplete subsumption algorithms.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.