В соответствии с методикой исследования медицинских симптомов во времени (ишемия ног [1]; кариес, пародонтит, зубная боль [2]) вводятся 3-значные переменные дискретной математики:X,Y - состояние симптома, DX - изменение состояния . Эти переменные принимают значения 0 (отсутствие симптома, лечения или профилактики), s - симптом слабо выражен (слабое лечение или профилактика), m - симптом явно выражен (полное лечение или профилактика). Здесь o ≤ s ≤ m . Задачи [1,2] программируются на языке Visual Prolog 5.2 [3]:
predicates
difeq(symbol,symbol,symbol)-nondeterm(o,o,o)
/* predicate for differential equation X + Dx = Y */
clauses
difeq(o,o,s).
/* first solution */
difeq(s,o,m).
/* second solution */
difeq(m,o,m).
/* third solution */
difeq(o,s,s).
/* fourth solution */
difeq(s,s,m).
/* fifth solution */
difeq(m,s,m).
/* sixth solutiom */
difeq(o,m,o).
/*seventh solution */
difeq(s,m,s).
/* eighth solution */
difeq(m,m,m).
/* ninth solution */
goal
/* 9 solutions of the differential equation X + Dx = Y */
difeq(X, Dx , Y).
Здесь для рассматриваемого дифференциального уравнения m-значной логики X + DX = Y вводится 3-местный предикат, для которого программа находит и печатает 9 истинностных значений решений):
X = o , DX = o , Y = s
X = s , DX = o , Y = m
X = m , DX = o , Y = m
X = o , DX = s , Y = s
X = s , DX = s , Y = m
X = m , DX = s , Y = s
X = o , DX = m , Y = o
X = s , DX = m , Y = s
X = m , DX = m , Y = m
9 Solutions
Решение задачи можно продолжить, если сделать программу более наглядной, введя, например, вместо o "нет признаков симптома кариеса" (на английском языке). Аналогично можно поступить с s и m.
Очевидно, что для каждого симптома будут свои значения для интерпретации o, s и m.Например, первое решение для k-го зуба и кариеса интерпретируется так: "Отсутствие кариеса и профилактика приводит к слабому его проявлению". Отметим, что в настоящей работе и в [4] изучается одно и то же дифференциальное уравнение, но для различных истинностных значений L.
СПИСОК ЛИТЕРАТУРЫ
1. Тарушкин В.Т., Тарушкин П.В., Тарушкина Л.Т. Диагностика и лечение водянки практикующим врачом // Практикующий врач. Международная конференция РАЕ, 6-13 сентября 2009 г., Италия (Рим).
2. Тарушкин В.Т., Тарушкин П.В., Тарушкина Л.Т. Кариес, пародонтит и зубноя боль // Фундаментальные и прикладные исследования в медицине. Международная конференция РАЕ, 15-22 октября 2009 г., Франция (Париж).
3. Адаменко А., Кучуков А. Логическое программирование и Visual Prolog: - «БХВ-Петербург», 2003. - C. 990.
4. Тарушкин В.Т., Тарушкин П.В., Тарушкина Л.Т. Моделирование на языке Prolog исторической траектории России // Успехи современного естествознания. - №4. - С. 60-61, М.: Изд. РАЕ, 2008.