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

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