Авторское изложение протокола обучения на основе эквивалентности стимулов

ru · unofficial · sha256:46fd8ea7319be5af0cdacb5f4dc7de5dae065b2c56628a1d691fda8b42883271

Настоящий текст является авторским изложением учебного протокола обучения на основе эквивалентности стимулов (equivalence-based instruction) и матричного обучения (matrix training) в методологии Applied Behavior Analysis. Он не является нормативным правовым актом, медицинским назначением либо заменой индивидуальной клинической оценки. Протокол задаёт воспроизводимую форму записи обученных отношений, предсказания выводимых отношений, журналирования проб и вынесения вердикта о сформированности класса. За пределами настоящей версии остаются: reference frame theory и произвольно применимые отношения, эффекты узловой удалённости (nodal distance) на прочность выводимых отношений, отсроченное возникновение (delayed emergence), составные стимулы (compound stimuli) и выбор конкретных стимулов-экземпляров. Эти границы названы здесь и повторены в заголовках соответствующих модулей; молчаливо они не обходятся.

ru · unofficial · sha256:9b2e0fcd2f95d41443d19103bfa862b6179beab8e3066214b3ba7030805ff70d

Обучающийся (Learner) приобретает отношения между стимулами, инструктор (Instructor) проводит обучение и пробы и ведёт журнал, стимул (Stimulus) обозначает одно предъявляемое различимое событие среды. Программа (Program) объединяет одного обучающегося, конечный перечень стимулов и перечень обученных отношений между ними. Каждый стимул программы получает целочисленный индекс: индекс не задаёт порядка обучения и служит только тем, чтобы различие двух стимулов утверждалось положительно, а не отрицанием. Различие двух стимулов выводится из строгого неравенства их индексов в обе стороны; правило, полагающееся на неравенство сущностей в теле, в этом протоколе не применяется.

Ссылаются нормы: Instructor, Learner, Program, RazlichieStimulovPoUbyvaniyuIndeksa, RazlichieStimulovPoVozrastaniyuIndeksa, Stimulus, programma_obuchayushchegosya, razlichnye_stimuly, stimul_indeks, stimul_programmy

ru · unofficial · sha256:1b4da30f136e09b3ac8de8f1f7151cc69577f5cdc7071b4f5b6d5ffb43d31cf5

Обученным отношением называется условная дискриминация, установленная процедурой сопоставления с образцом (match-to-sample): при предъявлении образца-стимула выбор определённого сравнительного стимула подкрепляется, выбор остальных — нет. Обученное отношение направлено: обучение «образец A, сравнение B» не является обучением «образец B, сравнение A». Перечень обученных отношений программы поступает в дело фактами и не выводится: он описывает то, чему обучали, а не то, что возникло. Освоение базовых условных дискриминаций проверяется отдельно от выводимых отношений и имеет собственный порог точности; до освоения базовой линии пробы на выводимые отношения не имеют интерпретации. Каноническое изложение процедуры и её результата дано у Sidman (1971) и Sidman (1994).

Ссылаются нормы: BazovayaLiniyaDostigaetPorogaOsvoeniya, BazovyyBlokNablyudaemPoZapisi, StimulProgrammyIzPozitsiiObraztsa, StimulProgrammyIzPozitsiiSravneniya, bazovaya_liniya_osvoena, bazovyy_blok_nablyudaem, obucheno

ru · unofficial · sha256:3af9e061dee30354837cb075ff2a61816424833a367c99525a46b2fcb996665c

Класс эквивалентности стимулов определяется тремя проверяемыми свойствами отношения между стимулами (Sidman и Tailby, 1982). Рефлексивность означает выбор стимула по самому себе без обучения этому выбору (обобщённое тождественное сопоставление). Симметрия означает, что из обученного отношения «образец A, сравнение B» без отдельного обучения возникает отношение «образец B, сравнение A». Транзитивность означает, что из обученных отношений «образец A, сравнение B» и «образец B, сравнение C» возникает отношение «образец A, сравнение C». Комбинированная проверка эквивалентности означает возникновение отношения «образец C, сравнение A», требующего одновременно симметрии и транзитивности. Три свойства проверяются пробами и не постулируются: протокол называет их предсказаниями, а вердикт о них выносится только по журналу проб.

Ссылаются нормы: EkvivalentnostObratnaTranzitivnomuOtnosheniyu, RefleksivnostPredskazanaDlyaStimula, SimmetriyaObratnaObuchennomuOtnosheniyu, TranzitivnostIzDvukhObuchennykhOtnosheniy, refleksivnost_predskazana, vyvodimo_ekvivalentnost, vyvodimo_simmetriya, vyvodimo_tranzitivnost

ru · unofficial · sha256:48ddedd3cb7ae89cd3ed5c058c3818e5b16e01b20076c532074d8d82258a3d0c

Выводимое отношение имеет ровно один из четырёх видов: рефлексивность, симметрия, транзитивность, комбинированная эквивалентность. Симметрия предсказывается для обратного направления каждого обученного отношения. Транзитивность предсказывается для цепи обученных отношений длиной не менее двух и продолжается по цепи: если предсказано отношение от A к C и обучено отношение от C к D, то предсказано отношение от A к D. Комбинированная эквивалентность предсказывается тремя способами, соответствующими трём структурам обучения: как обратное к транзитивному отношению; для двух различных сравнительных стимулов при общем образце; для двух различных образцов при общем сравнительном стимуле. Принадлежность двух стимулов одному классу является отдельным утверждением и вычисляется как симметрично-транзитивное замыкание обученных отношений; замыкание рекурсивно и в исполнимой поверхности выражается через монотонную посылку supported, поскольку голая рекурсия по предикату со статусом не стратифицируема. Замыкание раздела 70 здесь неприменимо по построению: оно унарно, а отношение между стимулами двуместно.

Ссылаются нормы: EkvivalentnostObratnaTranzitivnomuOtnosheniyu, EkvivalentnostPriObshchemObraztse, EkvivalentnostPriObshchemSravnenii, KlassSimmetrichen, KlassSoderzhitObuchennoeOtnoshenie, KlassTranzitiven, RelationKind, SimmetriyaObratnaObuchennomuOtnosheniyu, TranzitivnostIzDvukhObuchennykhOtnosheniy, TranzitivnostProdolzhaetsyaPoTsepi, VyvodimoeOtnoshenieIzEkvivalentnosti, VyvodimoeOtnoshenieIzSimmetrii, VyvodimoeOtnoshenieIzTranzitivnosti, v_odnom_klasse, vyvodimo, vyvodimo_ekvivalentnost, vyvodimo_simmetriya, vyvodimo_tranzitivnost

ru · unofficial · sha256:8185345b52e63174f8be4d77af5f745763d364caab88c2a9849642a8fde8e331

Различаются три структуры обучения. Линейная серия (linear series) обучает отношениям A→B, B→C, C→D и далее по цепи. Один-ко-многим (one-to-many, обучение с общим образцом) обучает отношениям A→B, A→C, A→D. Многие-к-одному (many-to-one, обучение с общим сравнительным стимулом) обучает отношениям B→A, C→A, D→A. Для класса из N стимулов любая из трёх структур требует не менее N−1 обученных отношений и предсказывает ровно (N−1)² выводимых отношений; различие структур состоит не в числе отношений, а в узловой организации. Узлом называется стимул, участвующий не менее чем в двух обученных отношениях. Линейная серия из N стимулов имеет N−2 узла, структуры один-ко-многим и многие-к-одному имеют ровно один узел. Сравнение структур и вытекающие из него различия в надёжности формирования класса изложены у Saunders и Green (1999) и Green и Saunders (1998); настоящий протокол фиксирует структурное различие и не утверждает предпочтения одной структуры другой.

Ссылаются нормы: ChisloVyvodimykhEstKvadratRazmeraBezOdnogo, EkvivalentnostPriObshchemObraztse, EkvivalentnostPriObshchemSravnenii, NaimenshefChisloObuchenijEstRazmerBezOdnogo, ObuchennykhOtnosheniyDostatochno, ObuchennykhOtnosheniyNedostatochno, OdnouzlovayaStrukturaObshchegoObraztsa, OdnouzlovayaStrukturaObshchegoSravneniya, TrainingStructure, UzelStrukturyMnogieKOdnomu, UzelStrukturyOdinKoMnogim, UzlyLineynoySerii, chislo_uzlov, chislo_vyvodimykh_otnosheniy, dostatochno_obuchennykh_otnosheniy, minimalnoe_chislo_obuchennykh_otnosheniy, nedostatochno_obuchennykh_otnosheniy, obuchennykh_otnosheniy, razmer_klassa, struktura_odnouzlovaya, struktura_programmy

ru · unofficial · sha256:12c24124d0af92df296a662a46b88cc1c372e9b359bbe1fc5d0ae1b603eff9be

Проба на выводимое отношение записывается в журнал как отдельная запись, имеющая самостоятельную идентичность и содержащая программу, дату, образец, сравнительный стимул, вид проверяемого отношения, исход и инструктора. Видом является либо базовая линия, либо один из четырёх видов выводимых отношений; пробы базовой линии образуют собственный блок и имеют собственный порог. Исход пробы имеет ровно одно значение: верно или неверно. Пробы на выводимые отношения проводятся без подкрепления: подкрепление верного выбора в пробе превращает пробу в обучение и уничтожает её доказательную силу. Требование выражено как обязанность инструктора обеспечить и явно зарегистрировать отсутствие подкрепления в закрытом окне даты пробы; журнал фиксирует как соблюдение, так и противоположный факт подкрепления, и молчание не заменяет ни один из этих фактов. Дата пробы относится к оси legalTime. Журнал сохраняет попытку перехода процедуры даже тогда, когда она не породила процедурного эффекта.

Ссылаются нормы: BaselineRelationKind, ProbaEkvivalentnostiProveryaetVyvodimoeOtnoshenie, ProbaRefleksivnostiProveryaetVyvodimoeOtnoshenie, ProbaSimmetriiProveryaetVyvodimoeOtnoshenie, ProbaTranzitivnostiProveryaetVyvodimoeOtnoshenie, ProbaVyvodimogoOtnosheniyaBezPodkrepleniya, ProbeCorrectOutcome, ProbeIncorrectOutcome, ProbeOutcome, ProbeRecord, ProbeWithoutReinforcementDuty, RelationKind, okno_proby, proba_bez_podkrepleniya, proba_data, proba_instruktor, proba_ishod, proba_obrazets, proba_podkreplena, proba_programmy, proba_sravnenie, proba_vid, proba_vyvodimogo_otnosheniya, proba_zapis

ru · unofficial · sha256:f7410223d4513c7eeafcf1a7b65b2a7ba1f08378138cc3cbb50b450576939491

Для программы и упорядоченной пары стимулов журнал образует агрегаты: общее число проб этой пары и число верных проб. Процент делением не вычисляется. Условие подтверждения проверяется кросс-умножением: верных × 100 не меньше порога × общего числа. Исходные параметры пакета составляют: порог возникновения 90 процентов, не менее 4 проб на одно отношение и порог освоения базовой линии 90 процентов. Эти значения закрепляются в A3-наборах параметров, выбираются по legalTime и не являются литералами нормы; изменение любого из них создаёт новый видимый draft-контур. Числа предсказанных, подтверждённых, опровергнутых и не покрытых пробами отношений поступают в вердикт по каждому виду отдельно как материализованные агрегаты того же журнала; тем же способом объявляется число обученных отношений программы. Это граница исполнимой поверхности: версия 1 не агрегирует по уже выводимому предикату без барьера полноты раздела 111, а перечисление пар стимулов одним биндером comprehension не выражается. Материализованный агрегат не является самостоятельным клиническим утверждением и должен воспроизводиться из закреплённых записей проб.

Ссылаются нормы: BaselineMasteryPercent/value/urn%3Aaba%3Aclir%3Aequivalence-instruction%3Aparam%3Abaseline-mastery-percent%23r-1/definition, BazovayaLiniyaDostigaetPorogaOsvoeniya, BazovyyBlokNablyudaemPoZapisi, EmergenceCriterionPercent/value/urn%3Aaba%3Aclir%3Aequivalence-instruction%3Aparam%3Aemergence-criterion-percent%23r-1/definition, MinimumProbesPerRelation/value/urn%3Aaba%3Aclir%3Aequivalence-instruction%3Aparam%3Aminimum-probes-per-relation%23r-1/definition, OtnoshenieDostigaetPorogaKrossUmnozheniem, OtnoshenieNeDostigaetPorogaKrossUmnozheniem, ParaSchitaetsyaProbirovannoy, SchetVernykhProbBazovoyLinii, SchetVernykhProbPary, SchetVsekhProbBazovoyLinii, SchetVsekhProbPary, bazovaya_liniya_osvoena, bazovykh_prob_verno, bazovykh_prob_vsego, bazovyy_blok_nablyudaem, obuchennykh_otnosheniy, para_probirovana, prob_pary_verno, prob_pary_vsego

ru · unofficial · sha256:94e48a75332b54cfe210017747d87af7bfaaf511ad741973c0aca5b1eda9f46b

Отношение считается подтверждённым, если число его проб не меньше минимума и достигнут порог возникновения; опровергнутым — если число проб не меньше минимума, а порог не достигнут. Программа получает ровно один из трёх вердиктов о состоянии проверки. Вердикт emergence_confirmed выносится, когда предсказано не менее одного отношения, ни одно не опровергнуто и ни одно не осталось непроверенным. Вердикт emergence_failed выносится, когда опровергнуто хотя бы одно предсказанное отношение. Вердикт probes_incomplete выносится, когда хотя бы одно предсказанное отношение осталось без достаточного числа проб. Неполнота проб выражается явным числом непроверенных отношений, а не молчанием журнала: отсутствие записи не является ни подтверждением, ни опровержением, и вердикт о классе при неполном блоке проб не выносится.

Ссылаются нормы: BlokProbNepolon, KhotyaByOdnoOtnosheniePredskazano, OtnoshenieDostigaetPorogaKrossUmnozheniem, OtnoshenieNeDostigaetPorogaKrossUmnozheniem, OtnoshenieProbirovanoNedostatochno, VidNePolonKhotyaByOdnimOtnosheniem, VidOprovergnutKhotyaByOdnimOtnosheniem, VidZakrytOtsutstviemPredskazaniy, VidZakrytPolnoyProverkoy, VozniknovenieOprovergnuto, VozniknoveniePodtverzhdeno, VseChetyreVidaZakryty, emergence_confirmed, emergence_failed, khot_by_odno_otnoshenie_predskazano, neproverennykh_vida, oprovergnutykh_vida, otnoshenie_nedostatochno_probirovano, otnoshenie_oprovergnuto, otnoshenie_podtverzhdeno, podtverzhdennykh_vida, predskazannykh_vida, probes_incomplete, vid_otnosheniy_ne_polon, vid_otnosheniy_oprovergnut, vid_otnosheniy_zakryt, vse_vidy_zakryty

ru · unofficial · sha256:9d4e9b58ee1b246b7aff2aecfe01cde7c5f8c0e9c3c4ed86b8df0282255a068a

Каждая программа проходит процедуру ClassFormation(p). Стадии образуют последовательность: обучение базовой линии, освоенная базовая линия, проверенная рефлексивность, проверенная симметрия, проверенная транзитивность, проверенная комбинированная эквивалентность и сформированный класс. Начальной стадией является обучение базовой линии. Переход к освоенной базовой линии допускается при достигнутом пороге освоения базовой линии; дальнейшие переходы допускаются при подтверждении соответствующего вида выводимых отношений; переход к сформированному классу допускается при вердикте emergence_confirmed. Опровержение любого вида отношений возвращает программу на стадию обучения базовой линии: это перезапуск обучения, а не отдельная терминальная стадия. Стадия сформированного класса остаётся наблюдаемой, а не закрытой, поскольку последующее опровержение должно допускать возврат. Все гарды вычисляются из записей журнала, материализованных агрегатов и закреплённых A3-параметров; попытка перехода без выполненного гарда сохраняется как попытка без процедурного эффекта.

Ссылаются нормы: ClassFormation, ClassFormation/BaselineMastered, ClassFormation/BaselineTraining, ClassFormation/ConfirmEquivalence, ClassFormation/ConfirmReflexivity, ClassFormation/ConfirmSymmetry, ClassFormation/ConfirmTransitivity, ClassFormation/EquivalenceProbed, ClassFormation/FormClass, ClassFormation/KlassSformirovan, ClassFormation/MasterBaseline, ClassFormation/ReflexivityProbed, ClassFormation/RetrainAfterClassFormed, ClassFormation/RetrainAfterEquivalence, ClassFormation/RetrainAfterReflexivity, ClassFormation/RetrainAfterSymmetry, ClassFormation/RetrainAfterTransitivity, ClassFormation/SymmetryProbed, ClassFormation/TransitivityProbed, ClassFormationState, ClassFormationStep, ClassFormationTransition, attempted_transition, current_state, entered_state, initial_state, left_state, procedure_instance, state_before, valid_transition

ru · unofficial · sha256:a24691d0b6feee9b66438efe6bde80be5d3e28eb2289b77cdd009314a2eef601

Матрица (Matrix) организует обучение по двум осям компонентов: строки и столбцы. Клетка матрицы (MatrixCell) соединяет один компонент строки и один компонент столбца и представляет одно составное задание. Клетки делятся на диагональные и недиагональные; роль клетки объявляется вместе с матрицей и согласуется с индексами компонентов по осям. Обучение ведётся по диагонали: обучаются клетки, соединяющие компонент строки с одноимённым по индексу компонентом столбца. Когда все объявленные диагональные клетки обучены, каждая недиагональная клетка той же матрицы предсказывается как рекомбинативно выводимая. Рекомбинативная генерализация проверяется пробами тем же порядком, что и выводимые отношения класса, и подтверждается материализованными агрегатами проверенных и подтверждённых недиагональных клеток. Изложение матричного обучения и рекомбинативной генерализации дано у Axe и Sainato (2010) и у Frampton, Wymer, Hansen и Shillingsburg (2016); настоящий протокол воспроизводит структурное предсказание и не воспроизводит конкретных наборов стимулов.

Ссылаются нормы: CellRole, DiagonalCellRole, DiagonalObuchenaPolnostyu, KletkaLezhitNaDiagonali, KletkaVneDiagonaliPriBolshemIndekseStroki, KletkaVneDiagonaliPriMenshemIndekseStroki, MatritsaNablyudaemaPoKletke, Matrix, MatrixCell, MatrixComponent, NediagonalnayaKletkaRekombinativnoVyvodima, OffDiagonalCellRole, RekombinativnayaGeneralizatsiyaOprovergnuta, RekombinativnayaGeneralizatsiyaPodtverzhdena, RolDiagonalnoyKletkiSoglasovana, RolNediagonalnoyKletkiSoglasovana, SchetDiagonalnykhKletok, SchetNediagonalnykhKletok, SchetNevernykhNediagonalnykhKletok, SchetObuchennykhDiagonalnykhKletok, SchetVernykhNediagonalnykhKletok, diagonal_obuchena, diagonalnykh_kletok, indeks_stolbtsa, indeks_stroki, kletka, kletka_matritsy, kletka_na_diagonali, kletka_obuchena, kletka_proba_neverna, kletka_proba_verna, kletka_rol, kletka_stolbtsa, kletka_stroki, kletka_vne_diagonali, matritsa, matritsa_nablyudaema, matritsa_programmy, nediagonalnykh_kletok, nevernykh_nediagonalnykh_kletok, obuchennykh_diagonalnykh_kletok, rekombinativnaya_generalizatsiya_oprovergnuta, rekombinativnaya_generalizatsiya_podtverzhdena, rekombinativno_vyvodima, rol_kletki_soglasovana, vernykh_nediagonalnykh_kletok

ru · unofficial · sha256:cc70eaca206f253d4dccfba31c760f35ab5ffee0fd9ca1761ace2453577a0741

Слияние двух ранее раздельных классов через общий член не требует отдельной семантики: если стимул принадлежит обоим классам, симметрично-транзитивное замыкание обученных отношений связывает все стимулы обоих классов в один класс, и предсказание выводимых отношений расширяется автоматически. Расчёт «число выводимых отношений» возвращает (N−1)² для программы из N стимулов и считает отношения, а не пробы и не календарные дни. Библиографические основания настоящего авторского изложения: Sidman, M. (1971), “Reading and auditory-visual equivalences”, Journal of Speech and Hearing Research 14(1), 5–13, doi:10.1044/jshr.1401.05; Sidman, M., & Tailby, W. (1982), “Conditional discrimination vs. matching to sample: an expansion of the testing paradigm”, Journal of the Experimental Analysis of Behavior 37(1), 5–22, doi:10.1901/jeab.1982.37-5; Sidman, M. (1994), Equivalence Relations and Behavior: A Research Story, Boston: Authors Cooperative; Green, G., & Saunders, R. R. (1998), “Stimulus equivalence”, в K. A. Lattal & M. Perone (ред.), Handbook of Research Methods in Human Operant Behavior, New York: Plenum, 229–262; Saunders, R. R., & Green, G. (1999), “A discrimination analysis of training-structure effects on stimulus equivalence outcomes”, Journal of the Experimental Analysis of Behavior 72(1), 117–137, doi:10.1901/jeab.1999.72-117; Axe, J. B., & Sainato, D. M. (2010), “Matrix training of preliteracy skills with preschoolers with autism”, Journal of Applied Behavior Analysis 43(4), 635–652, doi:10.1901/jaba.2010.43-635; Frampton, S. E., Wymer, S. C., Hansen, B., & Shillingsburg, M. A. (2016), “The use of matrix training to promote generative language with children with autism”, Journal of Applied Behavior Analysis 49(4), 869–883, doi:10.1002/jaba.340. Тексты публикаций в пакет не включаются; ссылки являются библиографическими.

Ссылаются нормы: ChisloVyvodimykhEstKvadratRazmeraBezOdnogo, KlassTranzitiven, chislo_vyvodimykh_otnosheniy, v_odnom_klasse