МОДЕЛИРОВАНИЕ НА ЯЗЫКЕ PROLOG ИСТОРИЧЕСКОЙ ТРАЕКТОРИИ РОССИИ > Полезные советы
Тысяча полезных мелочей    

МОДЕЛИРОВАНИЕ НА ЯЗЫКЕ PROLOG ИСТОРИЧЕСКОЙ ТРАЕКТОРИИ РОССИИ

МОДЕЛИРОВАНИЕ НА ЯЗЫКЕ PROLOG ИСТОРИЧЕСКОЙ ТРАЕКТОРИИ РОССИИ

Тарушкин В.Т. Тарушкин П.В. Тарушкина Л.Т. Статья в формате PDF 97 KB

Дифференциальное уравнение m-значной логики для исторической траектории России [1,2] берётся в виде X + Dx = Y (1) , где Y = G (X , Dx ) - значение дискретной функции m-значной логики, изучавшейся в [1,2] ( здесь X, Dx, Y є L , L={l0 , . . ,l14 }, l0 : "Киевская Русь", . . . , l14: "Cоюзное государство"). Смена обозначений в (1) вызвана использованием языка Prolog [3], поскольку решения уравнения (1) можно записать в виде классического двузначного предиката difeq (X , Dx , Y): " Находясь в состоянии X, система под влиянием воздействия Dx переходит в состояние Y", что в виде формул m - значной логики запишется как difeq = 1, если X + Dx = Y и будет равно 0 в противном случае. Моделирование этого предиката осуществляет программа, приводимая ниже для формы публикаций языка Visual Prolog v.5.2:

predicates

 difeq(symbol,symbol,symbol)-nondeterm(o,o,o)

/*предикат для дифференциального уравнения m-значной логики X + Dx = Y */

clauses

 difeq(l0 , l1 , l2).

/*клауза для первого квази-цикла исторической траектории России */

 difeq(l2 , l3 , l4).

/* клауза для второго квази-цикла */

 difeq(l4 , l5 , l6).

 difeq(l6 , l7 , l8 ).

 difeq(l8, l9 , l10 ).

 difeq(l10 , l11 , l12).

/* клауза для шестого квази-цикла */

goal

/* построение 6 решений дифференциального уравнения X + Dx = Y */

 difeq(X, Dx , Y).

Приведенная программа получена из реальной программы (файла с расширением pro, пропускаемого с помощью проекта Test Goal [3], затем переведена в редактор Microsoft Word,где вместо комментариев и символических переменных на английском языке введены их эквиваленты на русском языке. Например, kiev_russia заменяется на "Киевская Русь". Некоторые однострочные комментарии стали двустрочными, которые иначе оформляются [3]). Решения:

X = Киевская Русь, Dx = татаро-монгольское нашествие, Y = Московская Русь

X= Московская Русь, Dx = борьба России за выход к морям, Y = Российская империя

X=Российская империя, Dx = первая мировая война,Y = Советская Россия

X = Советская Россия, Dx = индустриализация, Y = СССР

X = СССР, Dx = вторая мировая война_холодная война, Y = демократическая Россия в составе СНГ

X = демократическая Россия в составе СНГ, Dx = переход к рынку_локальные войны, Y = Россия в составе союзного государства.

СПИСОК ЛИТЕРАТУРЫ:

  1. Тарушкин В.Т., Тарушкин П.В.,Тарушкина Л.Т., Юрков А.В. Дифференциалы m - значной логики и их применение к исторической траектории России. Электронная конференция РАЕ "Фундаментальные исследования", январь 2008.
  2. Тарушкин В.Т., Тарушкин П.В., Тарушкина Л.Т. Дифференциальные уравнения m- значной логики. Научная конференция "Интеграция на-уки и образования" Сейшельские острова, о. Маэ , 23 февраля - 01 марта 2008.
  3. Адаменко А., Кучуков А. Логическое программирование и Visual Prolog: - "БХВ-Петербург", 2003. C.990.


ЧЕСТЬ КАК КАТЕГОРИЯ ПРАВА, ФУНДАМЕНТАЛЬНАЯ ОСНОВА ЕГО СОБЛЮДЕНИЯ

ЧЕСТЬ КАК КАТЕГОРИЯ ПРАВА, ФУНДАМЕНТАЛЬНАЯ ОСНОВА ЕГО СОБЛЮДЕНИЯ Представленная статья посвящена исследованию понятия честь в качестве фундаментальной категории права. В работе отмечено, что основой для соблюдения права, уважения к закону является честь. Данное понятие включает в себя такие качества, как целомудрие и благородство. Основным же назначением государства является защита чести своих граждан. Эта высокая миссия тесно связана с единственной целью государственности как формы человеческого бытия – с содействием духовному возрастанию человека. ...

07 05 2026 10:20:53

ПРОБЛЕМА СИНТЕЗА ФИЛОСОФИИ И МАТЕМАТИКИ

ПРОБЛЕМА СИНТЕЗА ФИЛОСОФИИ И МАТЕМАТИКИ Статья в формате PDF 127 KB...

05 05 2026 4:12:34

СУБЪЕКТЫ КОРРУПЦИОННЫХ ПРАВОНАРУШЕНИЙ

СУБЪЕКТЫ КОРРУПЦИОННЫХ ПРАВОНАРУШЕНИЙ Статья в формате PDF 250 KB...

26 04 2026 23:54:32

THE ROLE OF LEGUMINOUS CULTURES IN HUSBANDRY BIOLOGIZATION

THE ROLE OF LEGUMINOUS CULTURES IN HUSBANDRY BIOLOGIZATION Статья в формате PDF 241 KB...

25 04 2026 15:12:31

Никитюк Надежда Федоровна

Никитюк Надежда Федоровна Статья в формате PDF 68 KB...

12 04 2026 6:51:33

УРАВНЕНИЯ ДЛЯ КООРДИНАЦИОННОГО ЧИСЛА В НЕУПОРЯДОЧЕНЫХ СИСТЕМАХ

УРАВНЕНИЯ ДЛЯ КООРДИНАЦИОННОГО ЧИСЛА В НЕУПОРЯДОЧЕНЫХ СИСТЕМАХ Приводится вывод уравнений для расчета координационного числа в неупорядоченных конденсированных системах: в зернистых материалах, в композитах с твердой монодисперсной фазой, в жидких металлах и при критическом состоянии вещества. В выводах этих уравнений используется основной их топологический параметр – средняя плотность упаковки структурных элементов дискретности. Знание координационного числа элементов дискретности неупорядоченных систем необходимо для определения многих их свойств: физических, механических, реологических и др., совокупность которых вытекает из их топологических состояний: твердого, псевдотвердого, жидкого, псевдожидкого и критического. ...

10 04 2026 12:55:54

ОПРЕДЕЛЕНИЕ ФАКТОРОВ РИСКА АТЕРОСКЛЕРОЗА

ОПРЕДЕЛЕНИЕ ФАКТОРОВ РИСКА АТЕРОСКЛЕРОЗА Статья в формате PDF 114 KB...

07 04 2026 2:16:26

НОВЫЙ ФИКСАТОР АНАТОМИЧЕСКОГО МАТЕРИАЛА

НОВЫЙ ФИКСАТОР АНАТОМИЧЕСКОГО МАТЕРИАЛА Статья в формате PDF 113 KB...

01 04 2026 8:14:31

Еще:
Поддержать себя -1 :: Поддержать себя -2 :: Поддержать себя -3 :: Поддержать себя -4 :: Поддержать себя -5 :: Поддержать себя -6 :: Поддержать себя -7 :: Поддержать себя -8 :: Поддержать себя -9 :: Поддержать себя -10 :: Поддержать себя -11 :: Поддержать себя -12 :: Поддержать себя -13 :: Поддержать себя -14 :: Поддержать себя -15 :: Поддержать себя -16 :: Поддержать себя -17 :: Поддержать себя -18 :: Поддержать себя -19 :: Поддержать себя -20 :: Поддержать себя -21 :: Поддержать себя -22 :: Поддержать себя -23 :: Поддержать себя -24 :: Поддержать себя -25 :: Поддержать себя -26 :: Поддержать себя -27 :: Поддержать себя -28 :: Поддержать себя -29 :: Поддержать себя -30 :: Поддержать себя -31 :: Поддержать себя -32 :: Поддержать себя -33 :: Поддержать себя -34 :: Поддержать себя -35 :: Поддержать себя -36 :: Поддержать себя -37 :: Поддержать себя -38 ::