ГОСТ Р ИСО 18629-12—2010
(next_subocc ?осс1 ?осс2 ?а) принимает значение TRUE в интерпретации теории ядра составной
деятельности тольков том случае, если ?осс1 предшествует ?осс2 надереведеятельности, на котором не
существует случая подчиненной деятельности междудвумя данными случаями.
10.5 Определения
Теория ядра составной деятельности содержит следующие определения.
10.5.1 Определение 1
Дереводеятельности ?а1 с корневым элементом, представленным случаем ?осс1. является подде
ревом дерева деятельности ?а2 в томслучае, если случай каждой подчиненной атомарной деятельности
дерева деятельности ?а1 является элементом деревадеятельности ?а2:
(forall (?осс1 ?а1 ?а) (iff(subtree ?ocd ?а1 ?а2)
(and (root?occ1 ?а1)
(exists (?occ2)
(and (root ?occ2?a2)
(min_precedes ?occ1 ?occ2 ?a1)))
(exists (?occ3)
(and (min_precedes ?occ1 ?occ3 ?a1)
(not (min_precedes ?occ2 ?occ3 ?a2)))))))
10.5.2 Определение 2
Случай является элементом деревадеятельности только в том случае, если существует более ран
ний случай подчиненной атомарной деятельности, но несуществует более позднего случая подчиненной
атомарнойдеятельности:
(forall (?осс?а) (iff(leaf ?осс ?а)
(exists (?осс1)
(and (min_precedes ?осс1 ?осс?а)
(not (exists (?осс2)
(min_precedes ?осс?осс2?а))))))
10.5.3 Определение 3
Отношение do устанавливает начальный и конечный случаи атомарной деятельности, подчиненной
этойдеятельности:
(forall (?а ?осс1 ?осс2) (iff(do ?а ?осс1 ?осс2)
(and (min_precedes ?осс1 ?осс2 ?а)
(not (exists (?оссЗ)
(min_precedes ?оссЗ ?осс1 ?а)))
(not (exists (?осс4)
(min_precedes ?осс2?осс4 ?а)))))))
10.5.4 Определение 4
Случай деятельности ?осс2 является следующим случаем подчиненной деятельности послеслучая
?осс1 в дереведеятельности ?а тольков том случае, если ?осс1 предшествует ?осс2 надереведеятель
ности и не существует случая подчиненной деятельности междуэтими случаями:
(forall (?ocd ?осс2 ?а) (iff (next_subocc ?осс1 ?осс2 ?а)
(and (min_precedes ?осс1 ?осс2 ?а)
(not (exists (?оссЗ)
(and (min_precedes ?осс1 ?оссЗ ?а)
(min_precedes ?оссЗ ?осс2?а))))))
10.5.5 Определение 5
Случаи подчиненной атомарной деятельности ?осс1 и ?осс2 являются родственными поотношению
кдеятельности ?а либо когда уних естьобщий предшествующий элемент в дереведеятельности ?а. либо
когдаони оба являются корневыми элементамидеревадеятельности ?а. имеющими общий предшествую
щий элемент в деревесобытий:
(forall (?ocd ?осс2 ?а) (iff(sibling ?осс1 ?осс2 ?а)
(or (exists (?оссЗ)
(and (next_subocc ?оссЗ ?осс1 ?а)
(next_subocc ?оссЗ ?осс2 ?а)))
(and (root ?осс1 ?а)
17