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

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