Ветвящиеся процессы

Используя операции следования и рекурсию, мы можем описать такие процессы, события которых упорядочены во времени линейно. Для событий, упорядоченных во времени нелинейно, необходима еще одна конструкция – выбор.

Если ev₁ и ev₂ – различные события, то выражение (ev₁ ® p₁ | ev₂ ® p₂) описывает такой процесс, для которого в качестве префиксов могут выступать события ev₁ и ev₂, а затем выполняется процесс p₁, если наступило событие ev₁, либо процесс p₂, если наступило событие ev₂. Совокупность альтернативных событий ev₁, ev₂ обычно определяют как меню и записывают в виде (ev₁ || ev₂) или case (ev₁, ev₂). Если использовать более привычные для программистов обозначения, то можно записать равенство

(ev₁ ® p₁ | ev₂ ® p₂) = if ev₁ then p₁ else

if ev₂ then p₂.

Данное определение выбора может быть легко обобщено на случай, когда число альтернатив больше двух. Так, выражение (ev₁ ® p₁ | ev₂ ® p₂ | … | ev_n ® p_n) можно трактовать как процесс, для которого начальное меню состоит из множества событий {ev₁}.

Определенные выше базовые отношения для процессов и событий могут быть использованы для описания всех рекурсивных функций над процессами. Следовательно, они являются достаточными для описания динамики процессов, происходящих в большинстве ПО.

2. 2.5. Системы продукций: структура, технология, применение

Системы продукций начали развиваться с середины 70-х годов в связи с появлением при­кладных программных систем специальной архитектуры, предназначен­ных для решения задач в плохо формализованных областях, таких как медицина, геология, понимание естественного языка. В первых работах [ 83,85,87] дается содержательное описание продукционного подхода.

Наиболее полное исследование данного представления в виде фор­мальных моделей дал А.С.Клещев [23,24], В.Е.Кузнецов [26], Т.М.Яхно [70,74 ], S.Vere [128], M.Georgeff [98,99]. Особенности каждой модели опре­делялись классами решаемых задач и технологическим базисом.

В данной главе дано неформальное описание данного подхода к представлению знаний, специ­фицирована общая метамодель систем продукций, позволяющая выработать общий технологический подход, и построена алгебраиче­ская модель систем продукций, которая обобщает специализированные формальные модели. Приведены исследования условий корректности вычислений и средства управления выводом в системах продукций. В за­ключении главы описан ряд прикладных программных систем про­дукций.

2.5.1. Неформальное введение в системы про­дукций

Для того чтобы очертить концептуальные рамки понятия "системы про­дукций" (СП), используемого сейчас в области искусственного интел­лекта, попытаемся проследить из каких понятий оно складывалось и как эволюционировало.