A logical approach to represent and reason about calendars
Tóm tắt
We propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time points properly labelled with proposition symbols marking the starting and ending points of the corresponding granules, and we intensively model sets of granularities with linear time logic formulas. Some real-world granularities are provided to motivate and exemplify our approach. The proposed framework permits to algorithmically solve the consistency, the equivalence, and the classification problems in a uniform way, by reducing them to the validity problem for the considered linear time logic.
Từ khóa
#Calendars #Computer science #Logic #Formal specifications #Databases #Data mining #Problem-solving #Natural languages #Qualifications #TestingTài liệu tham khảo
10.1093/jigpal/7.1.79
10.1305/ndjfl/1040046089
niezette, 1993, An efficient symbolic representation of periodic time, International Conference on Information and Knowledge Management, 752, 161
ning, 0, An algebraic representation of calendars, Annals of Mathematics and Artificial Intelligence
wijsen, 2000, A string based-model for infinite granulari-ties, Proceedings of the AAAI Workshop on Spatial and Temporal Granularity, 9
10.1016/B978-0-444-88074-1.50021-4
dal lago, 2001, Calendars, time granularities, and automata, Proceedings of the International Symposium on Spatial and Temporal Databases, 2121, 279, 10.1007/3-540-47724-1_15
franceschet, 0, Branching within time: an expressively complete and elementarily decidable temporal logic for time granularity, Comput Lang
foster, 1986, A representation for collections of temporal intervals, Proceedings of the National Conference on Artificial Intelligence, 367
montanari, 1996, Metric and Layered Temporal Logic for Time Granularity
levine, 2001, Clinical practice guidelines for the care and treatment of breast cancer: 8. adjuvant systemic therapy for women with node-positive breast cancer (2001 update), Canadian Medical Association Journal, 164
clarke, 1999, Model checking
10.1007/978-3-662-04228-1
10.1093/logcom/12.4.641