Важной функцией интеллектуальных систем управления можно считать прогнозирование. Для прогнозирования применяется большое число подходов и методов. Представляет интерес логическое прогнозирование. К методам логического прогнозирования обычно относят создание прогнозного сценария, морфологический анализ, метод исторических аналогий, прогнозирование по образцу (эталону) и др.
Перспективным подходом при построении методов логического прогнозирования является использование моделирования рассуждений. Методологической базой для исследования методов прогнозирования, основанных на моделировании рассуждений, в частности логическом выводе на знаниях, можно считать работу.
В работе рассмотрен вывод предсказания, описываемого покрывающими моделями (Covering Law Models), состоящими в том, чтобы вывести факт, как частный случай закона. При этом используется дедуктивно-нормологическая модель (Deductive Nomological Model), основанная на фактах и дедуктивных законах. Теория логического вывода успешно развивается в работах. Большое внимание уделяется не только дедуктивному, но и абдуктивному выводу.
Целый ряд важных теоретических и практических результатов получен в Институте проблем управления РАН в рамках решения проблемы управления плохо определенными динамическими ситуациями с использованием формального описания происходящих процессов в виде когнитивных карт.
В работе предложен метод логического прогнозирования на основе абдуктивного вывода заключений. Метод благодаря нахождению недостающих в описании ситуации фактов и правил позволяет строить прогнозы в тех случаях, когда на базе дедукции они невозможны.
Метод прогнозирует развитие ситуации от заданной начальной до конечной фазы. Однако на практике возникает потребность в прогнозе в условиях, когда известна только одна – начальная фаза. Эта потребность и привела к разработке рассматриваемого далее метода прогнозирования развития ситуации из заданной фазы на основе вывода следствий при не полностью определенной базе знаний.
Для содержательной постановки задачи логического прогнозирования развития ситуаций воспользуемся основными понятиями из работы. Событие в предметной области характеризуется множеством простейших утверждений – фактов, зафиксированных в определенный момент времени. Наступление события происходит в тех случаях, когда определенные подмножества этих фактов становятся истинными. В простейшем случае событие может представляться одним фактом.
Ситуация в предметной области характеризуется совокупностью событий и отношений между ними. Ситуация складывается тогда, когда наступают характеризующие её события и устанавливаются необходимые отношения между ними. В простейшем случае ситуация может представляться одним событием. Фаза развития (состояние) ситуации представляется подмножеством событий и отношений, описывающих ситуацию. Ситуация входит в некоторую фазу, как только наступают характеризующие её события и устанавливаются необходимые отношения между ними.
Траектория развития ситуации – последовательность фаз, через которые проходит развитие ситуации. Предсказание траектории развития ситуации – определение для ситуации, находящейся в текущей фазе (состоянии), одной или нескольких фаз (состояний), в которые перейдет ситуация в последующие моменты времени. Введённые понятия позволяют сформулировать основную задачу прогнозирования развития ситуаций как задачу предсказания траектории (траекторий) развития ситуации.
Как сдвинуть с места бетонную плиту размером 50 метров в высоту, 100 метров в длину и весом 202 тонны, не применяя никаких механизмов и приспособлений?