"В.Н.Щеглов. Логические модели структур заболеваний за 1986 - 1999 годы участников ликвидации аварии на ЧАЭС" - читать интересную книгу автора

войн, катастроф или террористических действий. Наши ликвидаторы, да и люди,
проживающие сейчас в радиоактивных зонах, к сожалению, являются как бы
подопытными объектами, на которых отрабатываются как различные способы их
лечения, так и модели демографических, социальных и экономических изменений
в государствах, которые могут подвергнуться катастрофам, аналогичных
Чернобыльской.
В предлагаемой статье иллюстрируется применение разработанного авторами
метода построения алгебраических моделей конструктивной логики (АМКЛ). В
общем случае эти модели соответствуют интуиционистскому исчислению
предикатов, исходные данные могут быть как в виде вещественных чисел, так и
в виде значений булевой или k-значной логики. В работе использованы данные
лишь о самих фактах заболеваний, точнее о 100 группах болезней,
зарегистрированных в течение 1986 - 1999 годов, всего за 14 лет; клинические
симптомы здесь не детализировались. Далее вместо выражения "итоговый список
заболеваний за весь период наблюдений (обследований)" будем говорить для
краткости "совместные заболевания". Появление в выводах (конъюнкциях) К
сразу нескольких переменных будем истолковывать далее как "совместное"
наличие их в списке болезней или других признаков за период всех наблюдений.
В качестве цели исследования и иллюстрации применения метода АМКЛ
выбраны злокачественные новообразования органов дыхания лишь потому, что они
регистрировались сравнительно чаще, чем другие злокачественные
новообразования, судя по имеющемуся массиву данных. Для уменьшения
вычислительного времени удобно было преобразовывать исходную выборку
следующим образом (для 9000 мужчин (Л, "ликвидаторов"), проживающих в
пораженной зоне и/или ликвидаторов, которые обследовались четыре или более
число раз по Тульской области). Задавалась цель исследования, затем
выбиралась первая строка массива (характеризующая определенного больного по
всем обследованиям), содержащая заданное заболевание, после чего выбирались
последующие две строки (для других Л), не содержащие это заболевание и т.д.
Максимальная разница в датах постановки диагнозов между регистрацией
заданного заболевания у определенного Л и соответствующими ему контрольными
Л могла быть равной двум годам. Злокачественные новообразования в целом
встречаются довольно редко, в данном исследовании все зарегистрированные
случаи заболеваний злокачественными новообразованиями органов дыхания
использовались полностью. Таким образом, при данном подходе (и при простом
алгоритме этой выборки) удавалось хотя и приблизительно, но подобрать пару
возможно близких по времени обследования пациентов в качестве контроля, не
имевших заданное заболевание. Далее задавалось ограничение, определяемое
лишь временем расчета моделей - вся выборка должна была содержать не более
чем 570 человек: до этого числа выборка дополнялась строками, идущими после
последнего пациента с заданным заболеванием. На данном этапе работы было
выгодно иметь как можно больше строк сравнения, т. е. контрольных Л (и
одновременно приемлемое время счета), для того, чтобы получать возможно
более детальные выводы - конъюнкции наибольшего ранга.
Для построения моделей М была использована программа "искусственного
интеллекта" АМКЛ - вычисление алгебраических моделей конструктивной
(интуиционистской) логики [1, 2, 3] (см. там же дополнительные ссылки на
литературу; первоначальную публикацию этой статьи в 2002 году см. в [4]).
Эта программа определяет тупиковые дизъюнктивные формы (предикаты или
"выводы") в виде набора конъюнкций К1 V К2 ... -> Z, где К = (а1 < x1 < б1)