ГОСТ Р ИС0 18629-41—2011
12.3 Теории, обусловленные деревьями действий и переупорядочиванием
Для данной теории необходимы:
- act_occ.th;
- complex.th;
- atomic.th;
- subactivity.th:
- occtree.th;
- psl_core.th.
12.4 Дефинициональныо расширения, обусловленные деревьями действий и пороупорядо-
чиванием
Для данных расширений необходимы структура ветвей иупорядочивание.
12.5 Определения деревьев действий и пероупорядочивания
Длядеревьевдействий ипореупорядочивания определены нижеследующие понятия.
12.5.1 Treeordered
Некоторое действие упорядочено надереве тогда итолькотогда, когда для некоторого событияодно
корневое событие автоморфно корнями всем прочим корневым событиям для других событий данного
действия.
(forall (?а) (iff(treeordered ?а)
(forall (?осс1 ?осс2)
(implies (and (occurrence_of ?осс1 ?а)
(occurrence_of ?осс2 ?а)
(not(same_grove?occ1 ?осс2))
(root_automorphic ?осс1 ?осс2)))))
12.5.2 Nondot_treeordered
Событие недетерминированно упорядоченонадереве тогда итолько тогда, когда каждое корневое
событие минимального деревадействий автоморфнокорнями некоторомудругомукорневомусобытию на
дереве событий.
forall (?а) (iff(nondet_troeordered ?а)
(forall (?ocd)
(implies (occurrence_of ?осс1 ?а)
(exists (?осс2)
(and (occurence_of ?осс2 ?а)
(not (same_grove ?осс1 ?осс2))
(root_automorphic ?осс1 ?осс2)))))))
12.5.3 Partial_treeordered
Некотороедействие частичноупорядочено надереве тогда и толькотогда, когда существуют корне
вые события минимального деревадействий, автоморфные корнями некоторымдругим корневым собы
тиям надереве событий. При этом существуют корневые события, ноавтоморфные корнями какому-либо
другому корневомусобытию.
(forall (?а) (iff(partialjreeordered ?а)
(exists (?осс1 ?осс2)
(and (ocajrrence_of?осс1 ?а)
(occurrence_of ?осс2 ?а)
(not (same_grove ?осс1 ?осс2))
(root_automorphic?occ1 ?осс2)
(forall (?оссЗ)
(implies (and (occurrence_of ?оссЗ?а)
(not (same_grove ?оссЗ ?осс2)))
(not (root_automorphic?оссЗ ?осс2))))))))
12.5.4 Scrambled
Некоторое действие является зашифрованным тогдаитолько тогда,когданиодна из ветвейнекоторо
годеревадействий неавтоморфна корнями какому-либо другомудеревудействий.
19