Введение. 
Реализация логики ветвящегося времени

Современные исследования и разработки по созданию перспективных интеллектуальных (экспертных) систем поддержки принятия решений (ИСППР), в частности, ИСППР реального времени (РВ) [Вагин и др., 2001] опираются на разработку и применение интегрированных моделей и неклассических логик. Так как многие базовые понятия, такие как «изменение», «причина», «следствие» и отношения между ними описываются в терминах времени, ведутся активные исследования по построению интегрированных моделей рассуждений учитывающих временной фактор при описании проблемной ситуации и в процессе поиска решения [Поспелов и др., 1986]. ИС типа ИСППР РВ в процессе своего функционирования вынуждены оперировать с большим количеством информации, изменяющейся со временем (это могут быть показания датчиков, значения управляющих параметров, выполняемые операторами действия и т. д.) [Башлыков и др., 1994]. При этом поиск решения таких задач ИСППР как диагностика, мониторинг, планирование, прогнозирование и др. должен обеспечиваться в условиях достаточно жестких временных ограничений (определяемых реальным управляемым процессом) и различного вида неопределенностей в исходных данных и знаниях [Еремеев и др., 2003]. Таким образом, временные логики и временной вывод могут применяться во многих блоках ИСППР РВ (анализаторе, блоках поиска решения, объяснения, моделирования и прогнозирования) и позволяют повысить скорость отклика системы, что увеличивает эффективность принятия решений ЛПР в различных проблемных (аномальных) ситуациях.

Для ИСППР РВ требуются модели (логики) ветвящегося времени, которые полезны при прогнозировании последствий принимаемых решений или развития некоторой ситуации в условиях дефицита времени. К сожалению, алгоритмы вывода для известных темпоральных логик [Torsun, 1998] ветвящегося времени обладают большой сложностью. В данной работе основное внимание уделяется вопросу создания темпоральной логики ветвящегося времени, применимой в составе современных ИС.