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

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