AXIOMATIC-DEDUCTIVE STRATEGY FOR IT DISCIPLINE CONTENT FORMATION
Інформаційні технології і засоби навчання
View Archive Info| Field | Value | |
| Title |
AXIOMATIC-DEDUCTIVE STRATEGY FOR IT DISCIPLINE CONTENT FORMATION
АКСИОМАТИЧЕСКАЯ ДЕДУКТИВНАЯ СТРАТЕГИЯ ФОРМИРОВАНИЯ УЧЕБНОЙ ДИСЦИПЛИНЫ В ОБЛАСТИ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ АКСІОМАТИЧНА ДЕДУКТИВНА СТРАТЕГІЯ ФОРМУВАННЯ НАВЧАЛЬНОЇ ДИСЦИПЛІНИ В ГАЛУЗІ ІНФОРМАЦІЙНИХ ТЕХНОЛОГІЙ |
|
| Creator |
Lupenko , Serhii A.
Pasichnyk , Volodymyr V. Kunanets , Nataliia E. |
|
| Subject |
e-learning system
axiomatic-deductive system ontology ontological approach система электронного обучения аксиоматическая дедуктивная система онтология онтологический подход система електронного навчання аксіоматично-дедуктивна система онтологія онтологічний підхід |
|
| Description |
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.
В статье представлена аксиоматически-дедуктивная стратегия организации содержания учебной дисциплины с помощью онтологического подхода в системах электронного обучения в области информационных технологий. Авторами учтено, что необходимым свойством системы аксиоматических высказываний является их согласованность. На основе аксиоматически-дедуктивной стратегии предложены новые подходы к формированию содержания учебной дисциплины. Доказано, что система корректных изложений учебной дисциплины опирается на ее термино-концептуальный аппарат, в том числе аксиоматические высказывания. В статье представлены разработанные математические структуры, описывающие аксиоматически-дедуктивную субтратегию организации общих положений академической дисциплины и таксономически ориентированную субстратегию развертывания содержания учебной дисциплины. Таким образом обеспечивается переход от содержательной формы представления набора положений академической дисциплины до его представления с помощью искусственных языков математической логики. Использование описательной логики обеспечивает формализацию процедуры отображения аксиоматической неформальной системы в аксиоматической формальной системе. Математические структуры описывают и детализируют абстрактное логико-семантическое ядро академической дисциплины в виде группы аксиоматических систем. Отмечено, что основное ядро содержания академической дисциплины содержит ее основные понятия и суждения. При этом обеспечивается строго логический переход от абстрактных общих понятий и высказываний к понятиям и утверждениям низшего уровня универсальности и абстракции. Отмечено, что для размещения содержания академической дисциплины целесообразно разработать таксономически ориентированную субстратегию, основанную на многократном применении. Математические структуры позволяют провести анализ обобщенной структуры процессов взаимодействия словесного уровня описания предметной области учебной дисциплины, формального уровня описания предметной области и описания предметной области на уровне компьютерной онтологии, которая осуществляется путем формализации, интерпретации, кодирования и декодирования в среде разработки компьютерной онтологии. В качестве примера применения предложенной аксиоматически-дедуктивной стратегии были разработаны элементы глоссария и таксономии концепций дисциплины "Компьютерная логика", которые воплощаются в среде Protégé с помощью языка описания онтологии OWL. У статті представлена аксіоматично-дедуктивна стратегія організації змісту навчальної дисципліни за допомогою онтологічного підходу в системах електронного навчання в галузі інформаційних технологій. Авторами враховано, що необхідною властивістю системи аксіоматичних висловлювань є їх узгодженість. На основі аксіоматично-дедуктивної стратегії запропоновано нові підходи до формування змісту навчальної дисципліни. Доведено, що система коректних викладів навчальної дисципліни спирається на її терміно-концептуальний апарат, зокрема аксіоматичні висловлювання. У статті представлено розроблені математичні структури, що описують аксіоматично-дедуктивну субстратегію організації загальних положень академічної дисципліни та таксономічно орієнтовану субстратегію розгортання змісту навчальної дисципліни. У такий спосіб забезпечується перехід від змістовної форми подання набору положень академічної дисципліни до його подання за допомогою штучних мов математичної логіки. Використання описової логіки забезпечує формалізацію процедури відображення аксіоматичної неформальної системи в аксіоматичній формальній системі. Математичні структури описують і деталізують абстрактне логіко-семантичне ядро академічної дисципліни у вигляді групи аксіоматичних систем. Відзначено, що основне ядро змісту академічної дисципліни містить її основні поняття та судження. Водночас забезпечується строго логічний перехід від абстрактних загальних понять та висловлювань до понять та тверджень нижчого рівня універсальності та абстракції. Зазначено, що для розміщення змісту академічної дисципліни доцільно розробити таксономічно орієнтовану субстратегію, яка базується на багаторазовому застосуванні. Математичні структури дозволяють провести аналіз узагальненої структури процесів взаємодії словесного рівня опису предметної галузі навчальної дисципліни, формального рівня опису предметної галузі та опису предметної галузі на рівні комп'ютерної онтології, яка здійснюється шляхом формалізації, інтерпретації, кодування та декодування в середовищі розробки комп'ютерної онтології. Як приклад застосування запропонованої аксіоматично-дедуктивної стратегії були розроблені елементи глосарія та таксономії концепцій дисципліни "Комп'ютерна логіка", які реалізовуються в середовищі Protégé за допомогою мови опису онтології OWL. |
|
| Publisher |
Institute of Information Technologies and Learning Tools of NAES of Ukraine
|
|
| Date |
2019-10-22
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Peer-reviewed Article рецензируемая статья рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
https://journal.iitta.gov.ua/index.php/itlt/article/view/2536
10.33407/itlt.v73i5.2536 |
|
| Source |
Information Technologies and Learning Tools; Vol 73 No 5 (2019); 149-160
Информационные технологии и средства обучения; Том 73 № 5 (2019); 149-160 Інформаційні технології і засоби навчання; Том 73 № 5 (2019); 149-160 Інформаційні технології і засоби навчання; ##issue.vol## 73 ##issue.no## 5 (2019); 149-160 2076-8184 10.33407/itlt.v73i5 |
|
| Language |
ukr
|
|
| Relation |
https://journal.iitta.gov.ua/index.php/itlt/article/view/2536/1572
|
|