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

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

1. Фундаментальная парадигма эстетики - (большое) значение объекта
эстетики для человечества [7]. - Задание векторной булевой функции Z = (z1,
z2, z3, ...), где значение Z = 1 - желаемое значение и Z = 0 - не желаемое.
Число частичных функций z обычно ограничено. Заметим, что в их число могут
входить также и этические критерии. Пусть, например, z1 - отображение
эстетической функции для исходной информации (Х, Y, t); предполагается, что