THE FORMALIZED MATHEMATICAL CONTENT COGNITIVE MANAGEMENT

Abstract

Problem of the formalized mathematical content management for any given subject domain is considered. The content represented by domain ontology as the unified variety of elementary knowledge classes and relations for such classes as subject domain content. The ontology includes variety different types of entities and relations between them analogous to categories and structures of mathematical language. Such knowledge is formal that allows developing correct algorithms for the tasks’ solution searching processes at abstract and applied knowledge domains based on ontologies. The content management consists in modeling the processes of realization the cognitive goals adapted to the professional activity domain. The considered system of cognitive goals classes based on the weakly formalized cognitive goals hierarchy of classes introduced by B. Blum's and corresponding cognitive operations realized as result of the thinking processes versatile analysis. The cognitive goal realization makes algebraic structures for the complex semantic representations synthesized by application of ontology elements. Simulating the synthesis processes defined by regular structures of abstract knowledge processing operations extracted from hierarchy of such operations classes, analogous of fundamental types of morphisms at fundamental mathematical systems. Achieving the exact definitions in work realized at this work by narrowing the formal goals interpretation for considered system of Blum’s cognitive goals classification. The independence of goals and operations based on applying the different classes of objects as goals and operations domains and ranges, different classes of mathematical operations and scenarios of simulating the cognitive goals realization processes. The resulted table of mathematical associations for B. Blum goals classification includes information about integrated mathematical specifications and abstract knowledge processing operations for knowledge representation formalisms, added by domains and ranges for such operations. Formal descriptions provided for regular formats of knowledge neighborhoods and series, examples of scenarios for formal operations combinations that realize the cognitive goals of understanding and estimation made by special language constructs.

Author Biographies

Константин Иванович Костенко, Kuban State University

Candidate of Phys.-Math. Sciences, Head of the Department of Intelligent Information Systems

Анастасия Павловна Лебедева, Kuban State University

Senior teacher of the Department of Intelligent Information Systems

References

[1] Church A. Introduction to Mathematical Logic. Princeton University Press; Reprint edition, 1996. 378 p.
[2] Frege G. The logical and philosophical works. Novosibirsk: Sib. univ. izdatel'stvo, 2008. 283 p. (In Russian)
[3] Elizarov A., Kirillovich A., Lipachev E., Nevzorova O. Digital Ecosystem OntoMath: Mathematical Knowledge Analytics and Management. L. Kalinichenko, S. Kuznetsov, Y. Manolopoulos (Eds.) Data Analytics and Management in Data Intensive Domains. DAMDID/RCDL 2016. Communications in Computer and Information Science. Vol. 706. Springer, Cham, pp. 33-46, 2017. DOI: 10.1007/978-3-319-57135-5_3
[4] Elizarov A.M. Mathematical knowledge ontologies and recommender systems for collections of documents in physics and mathematics. A.M. Elizarov, A.B. Zhizhchenko, N.G. Zhil’tsov, A.V. Kirillovich, E.K. Lipachev. Doklady Mathematics. 2016; 93(2):231-233. DOI: 10.1134/S1064562416020174
[5] Elizarov A.M., Kirillovich A.V., Lipachev E.K., Nevzorova O.A., Solovyev V.D., Zhiltsov N.G. Mathematical knowledge representation: semantic model and formalisms. A.M. Elizarov, A.V. Kirillovich, E.K. Lipachev, O.A. Nevzorova, V.D. Solovyev, N.G. Zhiltsov. Lobachevskii Journal of Mathematics. 2014; 35(4):348-354. DOI: 10.1134/S1995080214040143
[6] Gavrilova T., Alsufiev A., Kokoulina L. Knowledge Management Trends in the Digital Economy Age. Digital Transformation and Global Society (DTGS'17) in Communications in Computer and Information Science. 2017; 745:464-473. DOI: 10.1007/978-3-319-69784-0_38
[7] Gavrilova T.A., Leshcheva I.A. Conceptual knowledge structures and cognitive style. Psychology, Journal of the Higher School of Economics. 2016; 13(1):154-176.
[8] Zagorulko Yu.A. On the concept of integrated knowledge representation model. Bulletin of the Tomsk Polytechnic University. 2013; 322(5):98-103. Available at: https://elibrary.ru/item.asp?id=19691772 (accessed 09.08.2018). (In Russian)
[9] Zagorulko Yu.A., Borovikova O.I., Zagorulko G.B. Application of ontological patterns design for subject domains development. Proc. Open Russian conference with international participation KONT 2017 (Novosibirsk, 2-6 October 2017). Vol. 1, pp. 139-148, 2017. Available at: https://elibrary.ru/item.asp?id=32597757 (accessed 09.08.2018). (In Russian)
[10] Bloom B.S. Taxonomy of educational objectives: The classification Taxonomy of educational goals. Handbook 1: Cognitive domain. B.S. Bloom, M.D. Engelhart, E.J. Furst, W.H. Hill, D.R. Krathwohl. New York: David McKay, 1956. 207 p.
[11] Krathwohl D.R. Revising Bloom’s taxonomy: An overview. Theory into Practice. 2002; 41(4):Pp. 212-218. DOI: 10.1207/s15430421tip4104_2
[12] Zachary W., Carpenter T.J. Cognitively inspired computational context. AAAI Spring Symposium - Technical Report. 2017; SS-17-01 - SS-17-08:361-367.
[13] Zachary W. Context as a cognitive process: An integrative framework for supporting decision makin. W. Zachary, A. Rosoff, L. Miller, S. Read. CEUR Workshop Proceedings. 2013; 1097:48-55. Available at: http://ceur-ws.org/Vol-1097/STIDS2013_T07_ZacharyEtAl.pdf (accessed 09.08.2018).
[14] Weisstein E. Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram|Alpha. S.M. Watt, J.H. Davenport, A.P. Sexton, P. Sojka, J. Urban (Eds.) Intelligent Computer Mathematics. Lecture Notes in Computer Science. Vol. 8543. Springer, Cham, pp. 26-29, 2014. DOI: 10.1007/978-3-319-08434-3_3
[15] Vetyukov Y. Short introduction to Wolfram's mathematica. Nonlinear Mechanics of Thin-Walled Structures. Foundations of Engineering Mechanics. Springer, Vienna, pp. 237-266, 2014. DOI: 10.1007/978-3-7091-1777-4_6
[16] Bezdushnyj A.A. Ontologies based mathematical model of data integration // Bulletin of Novosybirsk State University. Ser.: Information Technologies. 2008; 6(2):15-40. Available at: https://elibrary.ru/item.asp?id=11480494 (accessed 09.08.2018). (In Russian)
[17] Serdyukova N.A., Serdyukov V.I., Slepov V.A. Formalization of Knowledge Systems on the Basis of System Approach. L. Uskov V., Howlett R., Jain L. (Eds.) Smart Education and Smart e-Learning. Smart Innovation, Systems and Technologies. Vol. 41. Springer, Cham, pp. 371-381, 2015. DOI: 10.1007/978-3-319-19875-0_33
[18] Zhozhikashvili A.V. J.S. Mill’s similarity method and difference method in the language of category theory. Scientific and Technical Information Processing. 2015; 42(6):397-401. DOI: 10.3103/S0147688215060040
[19] Aguiar J.G., Correia P.R. From representing to modelling knowledge: Proposing a two-step training for excellence in concept mapping. Knowledge Management & E-Learning: An Int. Journal. 2017; 9(3):366-379. Available at: http://www.kmel-journal.org/ojs/index.php/online-publication/article/view/384/380 (accessed 09.08.2018).
[20] Village J., Salustri F.A., Neumann W.P. Cognitive mapping: Revealing the links between human factors and strategic goals in organizations. International Journal of Industrial Ergonomics. 2013; 43(4):304-313. DOI: 10.1016/j.ergon.2013.05.001
[21] Kostenko K.I. Knowledge representation formalisms and models of intelligent systems. Krasnodar: Kuban State University, 2015. 300 p. (In Russian)
[22] Kostenko K.I., Lebedeva A.P., Levitskij B.E. Cognitive goals simulation by formalized knowledge processing operations. Modern Information Technology and IT-education. 2017; 13(3):83-92. (In Russian) DOI: DOI: 10.25559/SITITO.2017.3.418
[23] Kostenko K.I. The Rules for Abstract Knowledge Spaces Inference Operator. Software Engineering. 2016; 7(6):258-267. (In Russian) DOI: DOI: 10.17587/prin.7.258-267
[24] Kostenko K.I., Lebedeva A.P., Levitskij B.E. Cognitive structures analysis and synthesis for simulation the knowledge areas contents. Modern Information Technology and IT-education. 2016; 12(2):50-55. Available at: https://elibrary.ru/item.asp?id=28151020 (accessed 09.08.2018). (In Russian)
[25] Kostenko K.I. The Synthesis of Cognitive Goals Implementation for Tasks of Subject Domains Content Management. Software Engineering. 2017; 8(7):319-327. (In Russian) DOI: 10.17587/prin.8.319-327
[26] Kostenko K.I. Operations of Formalized Knowledge Cognitive Synthesis. Software Engineering. 2018; 9(4):174-184. (In Russian). DOI: 10.17587/prin.9.174-184
Published
2018-09-30
How to Cite
КОСТЕНКО, Константин Иванович; ЛЕБЕДЕВА, Анастасия Павловна. THE FORMALIZED MATHEMATICAL CONTENT COGNITIVE MANAGEMENT. Modern Information Technologies and IT-Education, [S.l.], v. 14, n. 3, p. 616-625, sep. 2018. ISSN 2411-1473. Available at: <http://sitito.cs.msu.ru/index.php/SITITO/article/view/428>. Date accessed: 16 sep. 2025. doi: https://doi.org/10.25559/SITITO.14.201803.616-625.
Section
Cognitive information technologies in control systems

Most read articles by the same author(s)