AXIOMATIC-DEDUCTIVE STRATEGY FOR IT DISCIPLINE CONTENT FORMATION

Keywords: e-learning system, axiomatic-deductive system, ontology, ontological approach

Abstract

The paper presents the axiomatic-deductive strategy of organizing the content of an academic discipline with the help of ontological approach in the e-learning systems in the field of information technologies. The authors have taken into account that the necessary property of the system of axiomatic statements is their consistency. On the basis of axiomatic-deductive strategy, new approaches to the formation of the discipline content are proposed. It is proved that the system of true statements of an academic discipline is based on its terminology-conceptual apparatus, in particular, axiomatic statements. The developed mathematical structures that describe the axiomatic-deductive substrategy of the organization of the academic discipline general statements and the taxonomically oriented substrategy of the deployment of the academic discipline content are presented in the article. This ensures the transition from the content form of representation of the set of statements of the academic discipline to its presentation by means of artificial languages of mathematical logic. The use of descriptive logic ensures the formalization of the procedure for displaying an axiomatic informal system in an axiomatic formal system. The mathematical structures describe and detail the abstract logical-semantic core of the academic discipline in the form of a group of axiomatic systems. It is noted that the basic core of the content of academic discipline contains its basic concepts and judgments. This ensures a strictly logical transition from abstract general concepts and statements to the concepts and assertions of the lower level of universality and abstraction. It is noted that in order to accommodate the content of an academic discipline is advisable to develop a taxonomically oriented sub-strategy based on the multiple application of operations of general concept division. The mathematical structures allow for analysis of a generalized structure of interactions between the verbal level of the description of the academic discipline subject area, the formal level of description of the subject area and the description of the subject area at the level of computer ontology, which is implemented through the formalization, interpretation, encoding and decoding in the computer-ontology development environment. As an example of the application of the proposed axiomatic-deductive strategy, the elements of the glossary and taxonomies of the concepts of the discipline "Computer Logic", which are embodied in the Protégé environment with the help of OWL ontology description language have been developed.

Author Biographies

Serhii A. Lupenko , Ternopil Ivan Pul'uj National Technical University

Doctor of Technical Science, Professor, Professor of the Computer Systems and Networks Department

Volodymyr V. Pasichnyk , Lviv Polytechnic National University

Doctor of Technical Science, Professor, Professor of the Information Systems and Networks Department

Nataliia E. Kunanets , Lviv Polytechnic National University

Doctor of Sciences from Social Communications, Professor of the Information Systems and Networks Department

References

Howard Hills. Individual Preferences in e-Learning. London, Routledge, 2017, 192 (in English).

Said S.Al-Gahtani, "Empirical investigation of e-learning acceptance and assimilation: A structural equation model", in Applied Computing and Informatics. vol. 12, iss. 1, pp. 27-50, 2016 (in English).

A.K.M. NajmulIslam, "E-learning system use and its outcomes: Moderating role of perceived compatibility", in Telematics and Informatics, vol. 33, iss. 1, pp. 48-55, 2016 (in English).

Huong May, "Truong. Integrating learning styles and adaptive e-learning system: Current developments, problems and opportunities", in Computers in Human Behavior, vol. 55, part B, pp. 1185-1193, 2016 (in English).

Yao-Ting Sunga, Kuo-En Chang, Tzu-Chien Liu, "The effects of integrating mobile devices with teaching and learning on students' learning performance: A meta-analysis and research synthesis", in Computers & Education, vol. 94, pp. 252-275, 2016 (in English).

H. Barros, A. Silva, E. Costa, I. I. Bittencourt, O. Holanda, and L. Sales, “Steps, techniques, and technologies for the development of intelligent applications based on Semantic Web Services: A case study in e-learning systems,” in Engineering Applications of Artificial Intelligence, № 24, pp. 1355–1367, 2011 (in English).

S. Isotani, R. Mizoguchi, S. Isotani, O. M. Capeli, N. Isotani, A. R. P. L. de Albuquerque, I. I. Bittencourt, and P. Jaques, “A Semantic Web-based authoring tool to facilitate the planning of collaborative learning scenarios compliant with learning theories,” in Computers & Education, vol. 63, № 10, pp. 267–284, 2013 (in English).

L. Rui and D. Maode, “A Research on E - learning resources construction based on semantic Web,” in Physics Procedia, vol. 25, № 10, pp. 1715–1719, 2012 (in English).

V. J. Shute and D. Zapata-Rivera, “Adaptive Educational Systems,” in Adaptive technologies for training and education, №. 1, pp. 5–27, 2011. (in English).

G. Vega-Gorgojo, M. L. Bote-Lorenzo, J. I. Asensio-Pérez, E. Gómez-Sánchez, Y. A. Dimitriadis, and I. M. Jorrín-Abellán, “Semantic search of tools for collaborative learning with the Ontological search system,” in Computers & Education, vol. 54, № 4, pp. 835–848, 2010 (in English).

E. Junuz, “Preparation of the learning content for semantic e-learning environment,” in Procedia - Social and Behavioral Sciences, vol. 1, № 1, pp. 824–828, 2009 (in English).

Serhii Lupenko, Volodymyr Pasichnyk, and Nataliya Kunanets, “Axiomatic-deductive strategy of the organization of the content of academic discipline in the field of information technologies using the ontological approach,” in Proc. of the XIIІ-th International scientific and technical conference Computer Science and Information Technologies CSIT 2018, Lviv, Ukraine, 2017 (in English).

Serhii Lupenko, Volodymyr Pasichnyk, and Nataliya Kunanets “Organization of the content of academic discipline in the field of information technologies using ontological approach,” in Advances in Intelligent Systems and Computing, vol. 869, 2018 (in English).

V. Kut, N. Kunanets, V. Pasichnik, and V. Tomashevskyi, “The procedures for the selection of knowledge representation methods in the “virtual university” distance learning system,” in Advances in Computer Science for Engineering and Education, vol. 754, рp. 713-723, 2018 (in English).

Published
2019-10-22
Section
ICT and learning tools in the higher education establishments