Эффективные МТП

Достаточно разумнвім кажется следующее соображение: в предметной области, обладающей свойством необратимости, идеалвнвій МТП должен строитвся таким образом, чтобві бвіло как можно менвше возвратов, то еств переходов в состояния, предшествующие текущему.

Это, по существу, означает, что операторві должнві, по возможности, строитвся таким образом, что добавления некото- рвіх фактов (признаков, их значений и др.), произведеннвіе некоторвім оператором Од не должнві отменятвся оператором Ог+1 [40].

Второе существенное требование к технологическому процессу состоит в том, что он должен привести к некоторому состоянию, которое описано в клиническом руководстве как успешнвій резулвтат лечения.

Это последнее требование означает, что множество фактов целевого состояния должно бвітв подмножеством фактов, добав-

леннвіх всеми операторами МТП за ввічетом фактов, удалённвіх теми же операторами (при условии, что в целевом состоянии нет фактов из началвного состояния — иначе требование несколвко усложняется, но это усложнение техническое, поэтому мві пока не будем фиксироватв на нём внимание).

6.6.