Метод и алгоритм построения допустимой последовательности изучения контента образовательного модуля Текст научной статьи по специальности «Компьютерные и информационные науки»

Метод и алгоритм построения допустимой последовательности изучения

контента образовательного модуля

В.А. Фатхи, М.В. Гранков, М. Ал Зирки Донской государственный технический университет

Аннотация: В статье рассмотрена проблема формального доказательства существования логически допустимой последовательности изучения контента образовательного модуля (дисциплины). При этом контент рассматривается как некоторая иерархическая модульная структура, состоящая из элементарных модулей. Каждый модуль такой структуры рассматривается как отображение входных понятий (термов) в выходные, которые осваиваются в данном модуле. Под входными термами понимаются понятия, необходимые для освоения в данном модуле выходных термов. В статье вводится понятие дидактической зависимости между входными и выходными термами. Данные зависимости являются формальным аппаратом описания ограничений в логической модели контента. Приведены правила преобразования дидактических зависимостей. Модульная структура контента и дидактические зависимости рассматриваются как формальный аппарат описания семантики предметной области. Показано, что введение множества неявных термов и правила преобразований дидактических зависимостей позволяют упростить логическую модель контента, не нарушая ее семантику.

Ключевые слова: модуль, учебно-методические комплексы, контент, дисциплина, алгоритм, терм, автоматизация.

Введение. Необходимость реформирования российской системы высшего профессионального образования уже несколько десятилетий осознана образовательным сообществом, работодателями и заинтересованными государственными структурами [1]. Одним из основных направлений реформирования является создание в РФ современных многоуровневых образовательных систем [2]. Проблемой проектирования таких систем является низкий уровень автоматизации формирования образовательного контента. В качестве примера такого контента в системе отечественного высшего образования (ВО) можно привести электронные учебно-методические комплексы (ЭУМК). Использование в образовании электронного контента расширяет возможности применяемых образовательных технологий и создает условия разработки систем,

адаптирующих образовательный контент к возможностям и целям обучающихся [3,4]. Автоматизированная система формирования электронного образовательного контента обязательно должна содержать подсистему разработки траектории (последовательности) освоения элементов этого контента. Для такой подсистемы важным является теоретическое обоснование существование логически связной (валидной) последовательности изучения образовательного контента ЭУМК. При наличии нескольких таких последовательностей (траекторий) наличие формальной процедуры проверки их валидности позволит разрабатывать автоматизированные системы выбора рациональной индивидуальной траектории, с учетом особенностей данного обучающегося [5,6]. Целью настоящей статьи является разработка теоретических основ метода и алгоритма теста на валидность траектории изучения контента модуля (дисциплины) образовательной программы.

Аналитическая модель. В статье использован подход формализации образовательный программ (ОП), изложенный в [7]. С точки зрения этого подхода целью изучения модуля ОП является освоение на заданном уровне логически связанных понятий и формирование определенных компетенций. Идентификаторы таких понятий будем называть термами. Изучаемые в модуле термы назовем выходными. Для их освоения студент должен владеть другими термами, которые будем называть входными. Для реализации данного подхода на уровне модуля представим каждый модуль ОП, так называемый d-модуль, как совокупность более простых дидактических единиц, каждая из которых так же обладает свойствами модульности [8,9]. Модули, образующие d-модуль, будем называть «я-модулями» (подмодулями). Освоение я-модуля так же связано с преобразованием его входных термов в выходные. Введем обозначения:

:

Р - образовательная программа (ОП); С={С1,С2,...Сь...Ст};

- множество компетенций, осваиваемых по программе Р; Т={1:1,12,...1к};

- множество термов, программы Р;

(1) (2)

(3)

П={п1,п2,...,пп};

- множество п-модулей рассматриваемого d-модуля.

Каждый п-модуль может иметь модульную структуру. Такой модуль будем называть сложным, а образующие его модули - дочерними. Модули, не имеющие дочерних, будем называть простыми. Для упрощения допустим, что все модули множества П={п1,п2,...,пп}- простые.

01сТ; (4)

- множество выходных термов, которые изучаются в модуле п1еП.

1^Т; (5)

- множество входных термов, которые необходимы для освоения в модуле п1еП термов 01.

Логично предположить, что любом п-модуле изучается не менее одного терма. В этом случае:

01*0, |1=1, 2,...п.

1= (и11, где 1=1, 2,...п),

- множество входных термов всех модулей множества П.

0= (и01, где 1=1, 2,...п),

- множество выходных термов всех модулей множества П.

Td=Iu0,

- множество термов всех модулей множества П.

При этом:

Td={t1,t2,...,tk}, где 1)еТ, )=1,2,...к. (10)

(6)

(7)

(8) (9)

Множество Ы входных термов d-модуля определим как множество всех термов, которые не изучаются в d-модуле, но используются в нем. В этом случае:

Зависимости между термами. Для освоения обучающимся выходных термов некоторого п-модуля может потребоваться знание других термов. Другими словами, успешность освоения одних термов зависит от знания других. Как известно, аппарат «функциональных зависимостей» между атрибутами отношения является механизмом рационального проектирования реляционных баз данных [10]. Формализуем понятие зависимости между термами с целью получения аппарата формальной проверки логической связности п-модулей, образующих d-модуль.

Определение 1. Пусть дан модуль гаеП, где П-множество п-модулей, образующих d-модуль. И и 01 - множества входных и выходных термов модуля га соответственно. В этом случае будем говорить, что множество выходных термов (01) дидактически зависит от множества входных термов (И) и обозначать эту зависимость следующим образом:

Если существует дидактическая зависимость п1:11^01, то будем говорить, что множество И дидактически определяет множество 01. По аналогии с функциональными зависимостями [10], на множестве дидактических зависимостей d-модуля могут быть заданы правила их тождественного преобразования, соответствующие правилам Амстронга, определенных на множестве функциональных зависимостей отношения [10 ]. При описании правил тождественного преобразования дидактических зависимостей используем следующие обозначения:

А, В, С, Б - подмножества множества термов Td d-

модуля;

Ы=(!\0).

(11)

(12)

^ - дидактическая зависимость; ^ - импликация. Правила преобразования дидактических зависимостей.

1.Рефлексивность:

(БсА)^(Л^В). (14)

2. Дополнение:

(Л^Б)^((ЛиС)^(ВиС)). (15)

3.Транзитивность:

(Л^Б)л(Б^С)^(Л^С). (16)

4. Самоопределение:

Л^Л. (17)

5. Декомпозиция:

(Л^(БиС))^(Л^Б)л(Л^С). (18)

6. Объединение:

(Л^Б)л(Л^С)^(Л^(БиС)). (19)

7.Композиция:

(Л^Б)л(С^Б)^(ЛиС)^(БиБ)). (20)

Включение во входное множество 11 всех термов, которые необходимы для описания в модуле п1 выходных термов 01, может существенно усложнить модель d-модуля. Механизм уменьшения мощности множества входных термов каждого п-модуле, с сохранением всех имевшихся дидактических зависимостей, рассмотрим на примере. Пусть даны два модуля п1: 11^01 и п2: 12^02, где 11=А, 01=Б, 12=АиБ, 02=С. Докажем, что из множества 12 можно вычесть множество Л и при этом упрощенные дидактические зависимости будут эквивалентны исходным. Дано: (Л^Б)л((ЛиБ)^С).

Доказать: ((Л^Б)л(Б^С))~((Л^Б)л((ЛиБ)^С))

Доказательство:

Для доказательства к выражению (А^В)л(В^С) последовательно применяем (15), (18) и (14) правила.

((А^В)л(В^С))~((А^В)л((АиВ)^(АиС)))~ ((А^В)л((АиВ)^А)л((АиВ)^С))~((А^В)л((АиВ)^С)).

Итак: ((А^В)л(В^С))~((А^В)л((АиВ)^С)), что и требовалось доказать.

Приведенный пример иллюстрирует возможность использования правил (1420) для сокращения мощности множества входных термов модуля с сохранением всех имеющихся дидактических зависимостей. Рассмотрим еще один механизм, позволяющий не указывать во множестве входных термов ряд используемых в модуле понятий.

Определение 2. Нечеткое множество термов, владением которыми, с заданным уровнем принадлежности, демонстрируют все обучающиеся по программе Р на момент начала изучения этой программы, будем называть множеством неявных термов.

К множеству неявных термы могут быть отнесены, например, понятия, изучаемые в средней школе, освоение которых на заданном уровне гарантируются результатами соответствующих государственных итоговых аттестаций школьников. Отнесение понятий к множеству неявных термов позволяет исключить соответствующие термы из множества входных термов для модуля, в котором они используются. Приведем пример понятий из множества неявных термов d-модуля «Базы данных» образовательной программы по направления 010503. «Математическое обеспечение и администрирование информационных систем». При освоении п-модуля «Алгоритмы реорганизации хешированного файла» d-модуля «Базы данных» используются следующие понятия из средней школы: целые и натуральные числа, правильные и неправильные дроби, смешанное число, деление целых

чисел с остатком. Опираясь на результаты государственных итоговых аттестаций, проводимых в форме Единых Государственных Экзаменов, можно считать, что обучающиеся в вузе студенты владеют навыками использования дробей. В этом случае эти понятия можно отнести к множеству неявных термов. При этом отпадает необходимость отнесения соответствующих этим понятиям термов к множеству входных термов рассматриваемого п-модуля. Определение 2 вводит понятие множества неявных термов, но не формализует механизм отнесения термов к этому множеству. Для разработки такого формального, динамического механизма потребуются дополнительные исследования. В рамках настоящей работы будем считать, что отнесение понятий к множеству неявных термов выполняют ведущие преподаватели вуза, основываясь на своем опыте. В случае снижения уровня подготовки студентов, может потребоваться исключение из множества неявных термов ранее введенные в это множества понятия, и включение их во множества входных термов соответствующих модулей. С помощью входного контроля это позволит обнаружить студентов, не владеющих на достаточном уровне необходимыми понятиями и провести корректирующее обучение.

Важным свойством d-модуля является свойство связности. Определение 3. Упорядоченное множество (кортеж):

составленное из всех п-модулей множества П={п1,п2,...,пп} будем называть траекторией освоения образовательного контента d-модуля.

Исходя из Определения 3, для любой траектории освоения образовательного контента модуля выполняются следующие очевидные свойства:

(21)

^Лу Куе^^^Зпк |пкеП)л(пу=пк))

(22) (23)

((У j=1,2,...n)л(Vk| к=1,2...п)лО*к)Н(яу*п*),

(и(пч},]=1,2,...п)=П,

(24) (25)

Определение 4. Будем говорить, что траектории освоения образовательного контента ^=( п11,п12,...,п1п ) обладает свойством валидности, если для модулей этой траектории выполняется следующее свойство:

Определение 5. Траекторию освоения образовательного контента d-модуля, обладающую свойством валидности, будем называть валидной или допустимой траекторией.

Свойства (21) - (26) допустимой траектории ^ можно интерпретировать следующим образом: если траектория ^ является валидной (допустимой), то для любого ее модуля п все входные термы изучались в предшествующих модулях, либо принадлежат множеству Ы входных термов d-модуля. Определение 6. Будем говорить, что d-модуль обладает свойством связности, если для него существует хотя бы одна валидная траектория ^ . Определение 7. Подмножество, состоящее их всех таких термов множества Td d-модуля, которые дидактически зависят от входных термов И этого модуля, будем называть замыканием входных термов d-модуля и обозначать

Из Определения 7 следует, что Ы+ - это максимальное подмножество множества всех термов Td d-модуля, которые дидактически зависят от множества Ы. В этом случае выполняется следующее условие:

(Пije^i)^(Iljc(Idu(u0lk,k=1,2,...j-1)),^j=1,2,...n). (26)

И+.

Правило (17) обеспечивает выполнение следующего условия: И<=И+. |

(27)

(И<^) л( И+^) л( л(Упк |(пke:П)л({пk}£Id+)^

-( И^п^)

Алгоритм построения замыкания входных термов.

—I

(28)

:

Дано:

П={п1,п2,...,пп} - множество простых п-модулей, образующих d-модуль, где | П | =п - мощность множества П. И - множество входных термов d-модуля.

И и 0! - множества входных и выходных термов модуля гаеП

соответственно.

Построить:

И+ - замыкание множества Ы.

В тексте алгоритма символами /* */ отмечены комментарии. Алгоритм:

1. Ы+ := Ы; /*За начальное значение множества И+ принять множество Ы*/

2. СОЗДАТЬ ТРАЕКТОРИЮ НУЛЕВОЙ ДЛИНЫ Т;

3. ЦИКЛ_ПОКА ИСТИНА; /* Итерационный цикл*/

4. г=0; /* Начальное значение переменной цикла по элементам П */

5. ФЛАГ_ИЗМЕНЕНИЯ_ТРАЕКТОРИИ:=ЛОЖЬ;

6. ЦИКЛ_ПОКА Кп; /*Цикл по номеру i модуля га во множестве П*/

7. г=1+1;

8. ЕСЛИ (И с Id+) л (01з: Id+) ТО /*Входные термы модуля га принадлежат замыканию И+ и выходные термы га еще не содержатся в Id+*/ 9 . Id+:= Ы+ и 0i; /* Добавить множество 0i выходных термов модуля га в замыкание Id+ */

10. В ТРАЕКТОРИЮ Т МОДУЛЬ ДОБАВИТЬ га;

11. ФЛАГ_ ИЗМЕНЕНИЯ_ТРАЕКТОРИИ:=ИСТИНА;

12. ВСЕ_ЕСЛИ;

13. ВСЕ_ЦИКЛ;

14. ЕСЛИ ФЛАГ_ ИЗМЕНЕНИЯ_ТРАЕКТОРИИ ТО 15 ИНАЧЕ

16. ПРЕРВАТЬ_ЦИКЛ;

17. ВСЕ_ЕСЛИ;

18. ВСЕ_ЦИКЛ;

Предлагаемый алгоритм строит множество термов Ы+, которое может освоить обучающийся при изучении d-модуля, если он владеет термами И. После завершения алгоритма множество Ы+ содержит все термы (включая множество И), которыми будет владеть обучающийся, при успешном освоении d-модуля.

В пункте 8 проверяется условие, что во множестве п-модулей рассматриваемого d-модуля обнаружен новый модуль п1, который может быть освоен обучающимся. В пункте 9 выходные термы этого модуля добавляются во множество И+, а в пункте 10 в возможную траекторию освоения d-модуля добавляется новый модуль п1. В пункте 11, переменная ФЛАГ_ИЗМЕНЕНИЯ_ТРАЕКТОРИИ устанавливается в состояние «ИСТИНА». Итерационная обработка алгоритмом множества п-модулей П продолжается до тех пор, пока после очередной итерации значение переменной ФЛАГ_ИЗМЕНЕНИЯ_ТРАЕКТОРИИ останется в состоянии «ЛОЖЬ».

Алгоритм проверки ^модуля на связность. Дано:

П={п1,п2,...,пп} - простые п-модули, образующие d-модуль. Td - множество всех термов d-модуля. Ы - множество входных термов d-модуля.

11 и 01 - множества входных и выходных термов модуля п1еП соответственно.

Проверить:

Свойство связности d-модуля.

Алгоритм проверки d-модуля на связность использует алгоритм построения замыкания множества входных термов d-модуля;

1. ПОСТРОИТЬ_МНОЖЕСТВО И+ ;

2. ЕСЛИ Td=Id+ ТО /* Проверяется условие, что все термы d-модуля могут быть освоены обучающимся*/

3. СВЯЗНОСТЬ_ МОДУЛЯ :=ИСТИНА;

4. Т -ВАЛИДНАЯ ТРАЕКТОРИЯ;

5. ИНАЧЕ

6. СВЯЗНОСТЬ_МОДУЛЯ:=ЛОЖЬ;

7. ВСЕ_ЕСЛИ;

В пункте 1 алгоритма выполняется построение замыкания множества входных термов Ы+ d-модуля. При этом выполняется попытка построения Т - валидной траектории изучения всех п-модулей рассматриваемого d-модуля. В пункте 2 алгоритма проверяется условие, что множество всех термов d-модуля совпадает с замыканием его входных термов. Равенство этих множеств (Td=Id+ ) обеспечивает возможность освоение обучающимся всех термов d-модуля и существование валидной траектории. Следовательно, d-модуль обладает свойством связности.

Выводы. Использование иерархического модульного представления структуры образовательного контента позволило разработать инвариантные механизмы описания логической модели любого сложного модуля (дисциплины) Электронного Учебно-Методического Комплекса. Введение понятия дидактической зависимости между термами модуля, правила их преобразования, замыкание множества входных термов являются теоретической основой метода тестирования образовательного контента на логическую связность. Предложенные в статье метод и алгоритмы позволяют формально строить валидные траектории освоения студентами учебных

материалов и применяться в автоматизированных и адаптивных обучающих системах.

Литература

1. Бородина, Н.А., Богданова, И.Б. Особенности осуществления государственной политики в области информатизации образования в современной России // Инженерный вестник Дона, 2012, №1 URL: ivdon.ru/magazine/archive/n1y2012/635.

2. Моисеенко, Н.А. Трансформационное обучение и холистический подход в информационно-образовательной среде технического вуза // Инженерный вестник Дона, 2013, №4 URL: ivdon.ru/ru/magazine/archive/n4y2013/2034.

3. Разыграева, В.А. Автоматизация процесса адаптивного электронного обучения с учетом функционального состояния обучающегося: автореф. дис. ... канд. техн. наук: 05.13.06 / Разыграева Вероника Александровна. - Санкт-Петербург, 2011 . - 19 с.

4. Иванов И.В., Косоногова М.А. Кибернетическая модель адаптивного электронного учебника с использованием методологии Г.Раша.//Приборы и системы. Управление, контроль, диагностика. — 2014. — №9 —с. 73-78.

5. Белоус, В.В. Нечеткие модели и методы управления образовательной траекторией в системе переподготовки персонала промышленных предприятий: автореф. дис. ... канд. техн. наук: 05.13.06 / Белоус Валентина Владимировна. - Москва, 2009. - 22 с.

6. Норенков, И.П., Соколов Н.К. Синтез индивидуальных маршрутов обучения в онтологических обучающих системах / И.П. Норенков, Н.К. Соколов // Информационных технологии. - 2009. - №3. - с. 74-77.

7. Ал Зирки М., Гранков М.В. Формализация критериев успешного освоения студентами образовательной программы // Технические науки.

Вестник Донского государственного технического университета.-2012 г. №3 с. 51-55.

8. Строганов, В. Ю. Комплексная автоматизация и моделирование адаптивных процессов тестового контроля и обучения с системе аттестации и подготовки кадров предприятий промышленности и транспортного комплекса: дис. ...докт. техн. наук: : 05.13.06 / Строганов Виктор Юрьевич. -Москва, 2004. - 396 с.

9. Lin, H.-Y. Design and Implementation of an Object Oriented Learning Activity System / H.-Y. Lin, S.-S. Tseng, J.-F. Weng, J.-M. Su // Educational Technology & Society. - 2009. - № 12(3). - pp. 248-265.

10. Date, C.J. An introduction to database systems. Eighth edition. Addison-Wesley Longman, Inc, 2004. p. 1034

References

1. Borodina, N.A., Bogdanova, I.B. Inzenernyj vestnik Dona (Rus), 2012, №1 URL: ivdon.ru/magazine/archive/n1y2012/635.

2. Moiseenko, N.A. Inzenernyj vestnik Dona (Rus), 2013, №4 URL: ivdon.ru/ru/magazine/archive/n4y2013/2034.

3. Razygraeva, V.A. Avtomatizacija processa adaptivnogo jelektronnogo obuchenija s uchetom funkcional'nogo sostojanija obuchajushhegosja. [Automating process of adaptive e-learning, based on the functional state of learner] Avtoref. dis. ... kand. tehn. nauk: 05.13.06. Razygraeva Veronika Aleksandrovna. Sankt-Peterburg, 2011 .19 p.

4. Ivanov I.V., Kosonogova M.A. Kiberneticheskaja model' adaptivnogo jelektronnogo uchebnika s ispol'zovaniem metodologii G.Rasha. Pribory i sistemy. Upravlenie, kontrol', diagnostika. 2014. №9 pp. 73-78.

5. Belous, V.V. Nechetkie modeli i metody upravlenija obrazovatel'noj traektoriej v sisteme perepodgotovki personala promyshlennyh predprijatij. [Fuzzy

models and methods management of educational trajectory in system retraining personnel of industrial enterprises] avtoref. dis. ... kand. tehn. nauk: 05.13.06. Belous Valentina Vladimirovna. Moskva, 2009. - 22 p.

6. Norenkov, I.P., Sokolov N.K. Informacionnyh tehnologii. 2009. №3. pp. 74-77.

7. Al Zirki M., Grankov M.V. Tekhnicheskie nauki. Vestnik Donskogo gosudarstvennogo tekhnicheskogo universiteta. 2012 g. №3. pp.51-55.

8. Stroganov, V. Ju. Kompleksnaja avtomatizacija i modelirovanie adaptivnyh processov testovogo kontrolja i obuchenija s sisteme attestacii i podgotovki kadrov predprijatij promyshlennosti i transportnogo kompleksa. [Comprehensive of automation and modeling of adaptive process control test and training system certification and training personal of industrial and transport complex personnel]. dis. ...dokt. tehn. Nauk. 05.13.06. Stroganov Viktor Jur'evich. Moskva, 2004. 396 p.

9. Lin, H.-Y. Design and Implementation of an Object Oriented Learning Activity System. H.-Y. Lin, S.-S. Tseng, J.-F. Weng, J.-M. Su. Educational Technology & Society. 2009. № 12(3). pp. 248-265.

10. Date, C.J. An introduction to database systems. Eighth edition. Addison-Wesley Longman, Inc, 2004. p. 1034