"В.Н.Щеглов. Нагорная проповедь: сопоставление с алгоритмом построения алгебраических моделей интуиционистской логики" - читать интересную книгу автора

Г) при исследовании текстов присваиваются определенные, в данном случае
религиозные значения (модель отображает в данном случае как бы "дух
творческого сознания" Христа). Некоторые общие понятия в этих семантических
соглашениях будем записывать в качестве пояснения курсивом.
В конце статьи (см. Приложение) приводится весьма близко примыкающая к
данной теме статья автора
"Библейские заповеди как программа обучения" (1996 г.). Интересно отметить
эволюцию взглядов автора на религиозную тему за прошедшие 12 лет.

1. Блаженны нищие духом, ибо их есть Царство Небесное: удаление старой
модели, с помощью которой распознавание образов и управление было явно
недостаточным (недостаточность Ветхого Завета). Tabula rasa, непредвзятое
отношение, "будьте как дети". Состояние, предшествующее функционированию
программы построения АМКЛ. Существует лишь ограниченный массив (Х, Y, t)
или, возможно, это состояние начала работы программы, когда первое целевое
значение многомерного х (т. е. строки в массиве) сравнивается с небольшим
числом нецелевых состояний. В результате таких сравнений появляются первые
многомерные широкие интервалы-предикаты dx, которые лишь в процессе
дальнейших сопоставлений (на дальнейших стадиях) сжимаются и дают в итоге
истинные формулы-импликации К.
2. Блаженны плачущие, ибо они утешатся: процесс сопоставления целевого
(Z = 1, в данном контексте - Божьего) состояния со всей окрестностью
нецелевых состояний ("действий сатаны"). Заведомо, согласно алгоритму,
известно, что для каждого достаточно большого, но конечного массива
информации вычисляются истинные формулы К (вычисляется модель АМКЛ).
3. Блаженны кроткие, ибо они наследуют землю: см. п. 2. Необходимо
выполнить все предписания (Заповеди) некоторого Алгоритма, чтобы в итоге
получить истину (утешиться, наследовать землю).
4. Блаженны алчущие и жаждущие правды, ибо они насытятся: если в
вычисленной модели оценки Г выводов К малы, и модель недостаточно адекватна
объекту исследования, необходимо увеличить m и n; другими словами, надо
увеличить словарь используемого языка (обычно - увеличить количество
датчиков), уточнить синтаксис языка и накопить опыт, т. е. увеличить массив
исходных данных.
5. Блаженны милостивые, ибо они помилованы будут: обновление души по
образцу Христа, принятие на себя вины. Первоначально необходимо выявление
такого управления, которое удаляет некоторые состояния с Z = 1 или
превращает их в состояния с Z = 0. Это выявление должно быть сигналом,
обратной связью для изменения массива еще оставшихся целевых состояний. В
тех случаях, когда функция Y является числовой, вновь производится разбиение
по медиане всего массива значений Y, см. описание алгоритма [2, 3]. Часть
исходных нецелевых t (близких к целевым) при этом переходит в класс целевых,
т. е. происходит как бы разбавление его прежними нецелевыми t ("принятие
вины на себя"). Далее вычисляются новые модели с новыми целями Z = 1 и новые
управления (делается как бы "шаг назад") для построения в будущем новых
предикатов-выводов с большими оценками Г, см. также п. 19 в [6].
6. Блаженны чистые сердцем, ибо они Бога узрят: Z = (0, 1), где целью
является лишь Z = 1 (возлюби Бога). В начальном этапе качественного
исследования сложных объектов целесообразным является использование булевых
значений Z. Наличие лишь единственной цели. Обратно: нечистота сердца -