Logical analysis of emotions in text from natural language

A. P. Bel'tyukov ; M. M. Abbasi

Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki, Tome 29 (2019) no. 1, pp. 106-116

Résumé

The study of emotional text analysis today is one of the most interesting and developing areas. The emotions presented in the text and their analysis are a special topic of our interest. In this article, we will explore the various modal judgments in logic, the emotional model and their connection with the analysis of emotions. We will offer interpretations of some simple modalities in connection with information technologies for analyzing emotions in texts. We will expand the logic of the possible worlds; our modalities will better explain and comprehend this logic of the perceived state of the environment. We are presenting the logical formulas for defining the most common modalities for analyzing emotions from text. Our work is a continuation of the work done on modalities with more flexibility and completeness. The paper discusses the logical properties of emotional modalities, the logic of emotional evaluations and the definition of various modalities for analyzing emotions. We propose six different definitions of modalities and use three theorems to prove our hypothesis. This methodology also sets the directions for future research on logical modalities for analyzing emotions from text.

Détail

Keywords: text analysis, natural language processing, emotional modalities, emotion analysis.

Bibliographie

[1] Solovyev V., Polyakov V., Ivanov V., Anisimov I., Ponomarev A., “An approach to semantic natural language processing of Russian texts”, Research in Computing Science, 2013, no. 65, 65–73 http://www.rcs.cic.ipn.mx/2013_65

[2] Shetty A., Bajaj R., “Auto text summarization with categorization and sentiment analysis”, International Journal of Computer Applications, 130:7 (2015), 57–60 | DOI

[3] Bochkarev V., Solovyev V., Wichmann S., “Universals versus historical contingencies in lexical evolution”, Journal of The Royal Society Interface, 11:101 (2014), 20140841 | DOI

[4] Wiebe J., Wilson T., Cardie C., “Annotating expressions of opinions and emotions in language”, Language Resources and Evaluation, 39:2–3 (2005), 165–210 | DOI

[5] Elizarov A. M., Kirillovich A. V., Lipachev E. K., Nevzorova O. A., Solovyev V. D., Zhiltsov N. G., “Mathematical knowledge representation: semantic models and formalisms”, Lobachevskii Journal of Mathematics, 35:4 (2014), 348–354 | DOI | MR | Zbl

[6] Kanda T., Hirano T., Eaton D., Ishiguro H., “Interactive robots as social partners and peer tutors for children: a field trial”, Human-Computer Interaction, 19:1 (2004), 61–84 | DOI

[7] Pronoza E., Yagunova E., “Comparison of sentence similarity measures for Russian paraphrase identification”, 2015 Artificial Intelligence and Natural Language and Information Extraction, Social Media and Web Search FRUCT Conference (AINL-ISMW FRUCT), 2015, 74–82 | DOI

[8] Hagenau M., Liebmann M., Neumann D., “Automated news reading: Stock price prediction based on financial news using context-capturing features”, Decision Support Systems, 55:3 (2013), 685–697 | DOI

[9] Yu L.-C., Wu J.-L., Chang P.-C., Chu H.-S., “Using a contextual entropy model to expand emotion words and their intensity for the sentiment classification of stock market news”, Knowledge-Based System, 41 (2013), 89–97 | DOI

[10] Girlando M., Negri S., Olivetti N., Risch V., “Conditional beliefs: From neighborhood semantics to sequent calculus”, The Review of Symbolic Logic, 11:4 (2018), 736–779 | DOI | MR | Zbl

[11] Batrinca B., Treleaven Ph.C., “Social media analytics: a survey of techniques, tools and platforms”, Artificial Intelligence Society, 30:1 (2015), 89–116 | DOI

[12] Kharde V. A., Sonawane S. S., “Sentiment analysis of twitter data: A survey of techniques”, International Journal of Computer Applications, 139:11 (2016), 5–15 | DOI

[13] Dattu B. S., Gore D. V., “A survey on sentiment analysis on twitter data using different techniques”, International Journal of Computer Science and Information Technologies, 6:6 (2015), 5358–5362 http://www.ijcsit.com/docs/Volume | MR

[14] Suttles J., Ide N., “Distant supervision for emotion classification with discrete binary values”, Computational Linguistics and Intelligent Text Processing, Springer, Berlin, 2013, 121–136 | DOI

[15] Janda L. A., Solovyev V. D., “What constructional profiles reveal about synonymy: A case study of Russian words for sadness and happiness”, Cognitive Linguistics, 20:2 (2009), 367–393 | DOI

[16] Lewis C. I., “IV. — Implication and the algebra of logic”, Mind, 21:84 (1912), 522–531 | DOI | Zbl

[17] Barcan R. C., “A functional calculus of first order based on strict implication”, The Journal of Symbolic Logic, 11:1 (1946), 1–16 | DOI | MR | Zbl

[18] Ioup G., “Specificity and the interpretation of quantifiers”, Linguistics and Philosophy, 1:2 (1977), 233–245 | DOI

[19] McKinsey J. C.C., Tarski A., “Some theorems about the sentential calculi of Lewis and Heyting”, The Journal of Symbolic Logic, 13:1 (1948), 1–15 | DOI | MR | Zbl

[20] Jonsson B., Tarski A., “Boolean algebras with operators. Part I”, American Journal of Mathematics, 73:4 (1951), 891–939 | DOI | MR | Zbl

[21] Jonsson B., Tarski A., “Boolean algebras with operators. Part II”, American Journal of Mathematics, 74:1 (1952), 127–162 | DOI | MR | Zbl

[22] Kripke S. A., “A completeness theorem in modal logic”, Journal of Symbolic Logic, 24:1 (1959), 1–14 | DOI | MR | Zbl

[23] Kripke S. A., “The undecidability of monadic modal quantification theory”, Mathematical Logic Quarterly, 8:2 (1962), 113–116 | DOI | MR | Zbl

[24] Kripke S. A., “Semantical analysis of modal logic I. Normal modal propositional calculi”, Zeitschrift f{ü}r Mathematische Logik und Grundlagen der Mathematik, 9:5–6 (1963), 67–96 | DOI | MR | Zbl

[25] Kripke S. A., “Semantical analysis of modal logic II. Non-normal modal propositional calculi”, The theory of models, Proceedings of the 1963 International Symposium at Berkeley, North-Holland Publishing Company, Amsterdam, 1963, 206–220 | DOI | MR

[26] Hintikka J., “Cogito, Ergo Sum as an inference and a performance”, The Philosophical Review, 72:4 (1963), 487–496 | DOI

[27] Bull R., Segerberg K., “Basic modal logic”, Handbook of Philosophical Logic, Springer, Dordrecht, 1984, 1–88 | DOI | MR

[28] Boolos G. S., The logic of provability, Cambridge University Press, Cambridge, 1994 | DOI | MR

[29] Rahman S., Symons J., Gabbay D. M., van Bendegem J. P., Logic, epistemology, and the unity of science, Springer, Dordrecht, 2004 | DOI | MR | Zbl

[30] Lellmann B., Pattinson D., “Sequent systems for Lewis' conditional logics,”, Logics in Artificial Intelligence. JELIA, Springer, Berlin, 2012, 320–332 | DOI | MR | Zbl

[31] Tishkovsky D., Schmidt R. A., Khodadadi M., “The tableau prover generator MetTeL2”, Logics in Artificial Intelligence. JELIA, Springer, Berlin, 2012, 492–495 | DOI

[32] Lyaletski A., “Evidence algorithm and search in first-order logics”, Journal of Automated Reasoning, 55:3 (2015), 269–284 | DOI | MR | Zbl

[33] Alama J., Heskes T., Kühlwein D., Tsivtsivadze E., Urban J., “Premise selection for mathematics by corpus analysis and kernel methods”, Journal of Automated Reasoning, 52:2 (2014), 191–213 | DOI | MR | Zbl

[34] Orlandelli E., “Proof analysis in deontic logics”, Deontic Logic and Normative Systems, 2014, 139–148 | DOI | MR | Zbl

[35] Lellmann B., Pimentel E., “Proof search in nested sequent calculi”, Logic for Programming, Artificial Intelligence, and Reasoning. LPAR, Springer, Berlin, 2015, 558–574 | DOI | MR | Zbl