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

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