AXIOMATIC-DEDUCTIVE STRATEGY FOR IT DISCIPLINE CONTENT FORMATION
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.
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).
Authors who publish in this journal agree to the following terms:
- Authors hold copyright immediately after publication of their works and retain publishing rights without any restrictions.
- The copyright commencement date complies the publication date of the issue, where the article is included in.
- Authors grant the journal a right of the first publication of the work under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License (CC BY-NC-SA 4.0) that allows others freely to read, download, copy and print submissions, search content and link to published articles, disseminate their full text and use them for any legitimate non-commercial purposes (i.e. educational or scientific) with the mandatory reference to the article’s authors and initial publication in this journal.
- Original published articles cannot be used by users (exept authors) for commercial purposes or distributed by third-party intermediary organizations for a fee.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) during the editorial process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (see this journal’s registered deposit policy at Sherpa/Romeo directory).
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Post-print (post-refereeing manuscript version) and publisher's PDF-version self-archiving is allowed.
- Archiving the pre-print (pre-refereeing manuscript version) not allowed.