Temporal logic extension for self-referring, nonexistence, multiple recurrence, and anterior past events

This study focuses on the possible extensions of current temporal logics. In this study, 4 extensions are proposed: self-referring events, nonexisting events, multiple recurrence of events, and an improvement on anterior past events. Each of these extensions is on a different level of temporal logics. The main motivation behind the extensions is the temporal analysis of Turkish. Similar to temporal logic studies built on other natural languages, like French, Ukrainian, Italian, Korean, English, or Romanian, this is the first time that the Turkish language has been deeply questioned in the sense of computable temporal logic using the view of a standardized temporal markup language. This study keeps the methodology of TimeML and researches Turkish from the perspectives of Reichenbach and Allen's temporal logics. Reichenbach's temporal logic is perfectly capable of handling the anterior temporal feeling, but it is not enough to handle the sense of `learnt' or `study', which are 2 past tenses in Turkish. Moreover, Allen's temporal logic cannot handle 2 events following each other continuously, which is called recurring events in this study for the first time. Finally, based on the experiences from a 4-year PhD study on natural language texts, this study underlines the absence of self-referring or a reference to nonexisting events in temporal logics. After adding the above extensions to computable temporal logic, the capability of tagging the events in Turkish texts is measured with an increase from 18% to 100%, creating a Turkish corpus for the first time. Moreover, new software is implemented to visualize the tagged events and previous software is developed to handle events tagged for Turkish.

Anahtar Kelimeler:

Natural language processing, temporal logics, Allen's temporal logic, TimeML, Reichenbach's temporal logic

Temporal logic extension for self-referring, nonexistence, multiple recurrence, and anterior past events

Keywords:

Natural language processing, temporal logics, Allen's temporal logic, TimeML, Reichenbach's temporal logic,

PDF

___

Z. Orhan, I. Pehlivan, “Automatic knowledge extraction for filling in biography forms from Turkish texts”, Turkish Journal of Electrical Engineering & Computer Sciences, Vol. 19, pp. 59–71, 2011.
H. Sak, T. G¨ung¨or, Y. Safkan, “A corpus-based concatenative speech synthesis system for Turkish”, Turkish Journal of Electrical Engineering & Computer Sciences, Vol. 14, pp. 209–223, 2006.
I.D. El-Kahlout, K. Oflazer, “Exploiting morphology and local word reordering in English to Turkish phrase-based statistical machine translation”, IEEE Transactions on Audio, Speech and Language Processing, Vol. 18, pp. 1313– 1322, 2010.
X. He, “Specifying and verifying real-time systems using time Petri nets and real-time temporal logic”, Proceedings of the Sixth Annual Conference on Computer Assurance: Systems Integrity, Software Safety and Process Security, pp. 135–140, 1991.
K.T. Narayana, A.A. Aaby, “Specification of real-time systems in real-time temporal interval logic”, Proceedings of the 1988 Real-Time Systems Symposium, pp. 86–95, 1988.
T.K. Shih, S.K.C. Lo, S.J. Fu, J.B. Chang, “Using interval temporal logic and inference rules for the automatic generation of multimedia presentations”, Proceedings of the 3rd IEEE International Conference on Multimedia Computing and Systems, pp. 425–428, 1996.
C. Dixon, M.C.F. Gago, M. Fisher, W. van der Hoek, “Using temporal logics of knowledge in the formal verification of security protocols”, 11th International Symposium on Temporal Representation and Reasoning, pp. 148–151, 200 R. Corin, A. Saptawijaya, “A logic for constraint-based security protocol analysis”, IEEE Symposium on Security and Privacy, 2006.
J. Luo, G. Luo, Y. Zhao, “Satisfiability degree computation for linear temporal logic”, 10th IEEE International Conference on Cognitive Informatics & Cognitive Computing, pp. 373–380, 2011.
M. Aiguier, C. Gaston, P. Le Gall, D. Longuet, A. Touil, “A temporal logic for input output symbolic transition systems”, 12th Asia-Pacific Software Engineering Conference, pp. 15–17, 2005.
S. Schewe, C. Tian, “Synthesising classic and interval temporal logic”, 18th International Symposium on Temporal Representation and Reasoning, pp. 64–71, 2011.
L. Deng, Y. Cai, C. Wang, Y. Jiang, “Fuzzy temporal logic on fuzzy temporal constraint networks”, 6th International Conference on Fuzzy Systems and Knowledge Discovery. Vol. 6, pp. 272–276, 2009.
J. Lv, J. Ying, M. Wu, T. Jiang, F. Zhu, “Verifying aspect-oriented programs using open temporal logic”, 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement, pp. 85–92, 2009.
T. Caselli, F. dell’Orletta, I. Prodanof, “TETI: A TimeML compliant TimEx tagger for Italian”, International Multiconference on Computer Science and Information Technology, pp. 185–192, 2009.
A. Bittar, P. Amsili, P. Denis, L. Danlos, “French TimeBank: an ISO-TimeML annotated reference corpus”, 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Vol. 2, pp. 130–134, 2011.
J. Pustejovsky, “Time and the semantic Web”, 12th International Symposium on Temporal Representation and Reasoning, pp. 5–8, 2005.
C. Foriscu, “Why don’t Romanians have a five o’clock tea, nor Halloween, but have a kind of Valentines day?”, 9th International Conference on Computational Linguistics and Intelligent Text Processing, pp. 73–84, 2008.
S. Im, H. You, H. Jang, S. Nam, H. Shin, “KTimeML: specification of temporal and event expressions in Korean text”, Proceedings of the 7th Workshop on Asian Language Resources, pp. 115–122, 2007.
V. Rybakov, “Decidability w.r.t. logical consecutions of linear temporal logic extended by since and previous”, Fundamenta Informaticae, Vol. 81, pp. 297–313, 2007.
B. Boguraev, R.K. Ando, “TimeML-compliant text analysis for temporal reasoning”, 19th International Joint Conference on Artificial Intelligence, pp. 997–1003, 2005.
F. Schilder, G. Katz, J. Pustejovsky, “Annotating, extracting and reasoning about time and events”, International Conference on Annotating, Extracting and Reasoning About Time and Events, pp. 1–6, 2005.
E. Saquete, “TERSEO + T2T3 Transducer: A systems for recognizing and normalizing TIMEX3”, 5th International Workshop on Semantic Evaluation, pp. 317–320, 2010.
P. Muller, A. Reymonet, “Using inference for evaluating models of temporal discourse”, 12th International Sympo- sium on Temporal Representation and Reasoning, pp. 11–19, 2005.
W.E. Hinrichs, “Tense, quantifiers, and contexts”, Computational Linguistics, 14, pp. 3–14, 1988.
W.E. Hinrichs, “A compositional semantics of temporal expressions in English”, 25th Annual Meeting on Association for Computational Linguistics, pp. 8–15, 1987.
L. Zhou, G. Hripcsak, “Methodological review: temporal reasoning with medical data–a review with emphasis on medical natural language processing”, Journal of Biomedical Informatics, Vol. 40, pp. 183–202, 2007.
I. Androutsopoulos, G. Ritchie, P. Thanisch, “Time, tense and aspect in natural language database interfaces”, Natural Language Engineering, Vol. 4, pp. 229–276, 1998.
K. Hacioglu, Y. Chen, B. Douglas, “Automatic time expression labeling for English and Chinese text”, Proceedings of the Sixth International Conference on Computational Linguistics and Intelligent Text Processing, pp. 548–559, 200 I. Mani, G. Wilson, “Robust temporal processing of news”, Proceedings of the 38th Annual Meeting on Association for Computational Linguistics, pp. 69–76, 2000.
B.B. Rieger, “On understanding understanding. Perception-based processing of NL texts in SCIP systems, or meaning constitution as visualized learning”, IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, Vol. 34, pp. 425–438, 2004.
B. Shen, Z. Zhang, C. Yuan, “Person name identification in Chinese documents using finite state automata”, IEEE/WIC International Conference on Intelligent Agent Technology, pp. 478–481, 2003.
Y. Zhou, X. Lin, “Mechanism of school organizational knowledge development”, Proceedings of the IEEE Interna- tional Conference on Natural Language Processing and Knowledge Engineering, pp. 818–824, 2005.
S. Park, J.K. Aggarwal, “Semantic-level understanding of human actions and interactions using event hierarchy”, 2004 Conference on Computer Vision and Pattern Recognition Workshop, p. 12, 2004.
G. Ro, S. Bensalem, “Allen linear (interval) temporal logic – translation to LTL and monitor synthesis”, Proceedings of the 18th International Conference on Computer Aided Verification, pp. 263–277, 2006.
H. Reichenbach, Elements of Symbolic Logic, New York, NY, USA, Macmillan, 1947.
A. ¨Ozkırımlı, T¨urk Dili: Dil ve Anlatım, ˙Istanbul, Turkey Bilgi University Press, 2001 (in Turkish).
D.F. Anger, D. Mitra, V.R. Rodriguez, “Satisfiability in nonlinear time: algorithms and complexity”, Proceedings of the 12th International FLAIRS Conference, pp. 406–411, 1999.
J. Pustejovsky, J. Casta˜no, R. Ingria, R. Saur´ı, R. Gaizauskas, A. Setzer, G. Katz, “TimeML: robust specification of event and temporal expressions in text”, New Directions in Question Answering, pp. 28–34, 2003.
N. Kotsyba, “Using petri nets for temporal information visualization”, ´Etudes Cognitives/Studia Kognitywne, Vol. R. Saur´ı, J. Littman, B. Knippen, R. Gaizauskas, A. Setzer, J. Pustejovsky, TimeML Annotation Guidelines Version 1, 2006, available at http://www.timeml.org/site/publications/timeMLdocs/annguide 1.2.1.pdf.
I. Pratt-Hartmann, “Temporal prepositions and their logic”, Artificial Intelligence, Vol. 166, pp. 1–36, 2006.
P. Bellini, R. Mattolini, P. Nesi, “Temporal logics for real-time system specification” ACM Computing Surveys (CSUR), Vol. 32, pp. 12–42, 2000.