ГОСТ Р ИСО 18629-12—2010
9.6.6 Аксиома 6
Атомарнаядеятельность?а1 является подчиненнойдеятельностьюатомарнойдеятельности?а2только
в случае, если ?а2 является идемпотентной для ?а1:
(forall(?a1 ?а2)
(implies (and (atomic ?а1)
(atomic ?a2))
(iff(subactivity ?a1 ?a2)
(= ?a2 (cone ?a1 ?a2)))))
9.6.7 Аксиома 7
Атомарная деятельность включает в себя подчиненную деятельность только в том случав, если
существует другая атомарная деятельность, допускающая параллельное агрегирование сэтойдеятель
ностью:
(forall (?а1 ?а2)
(implies(atomic?а2)
(iff(subactivity ?a1 ?a2)
(exists (?a3)
(= ?a2 (cone?a1 ?a3))))))
9.6.8 Аксиома 8
Псевдоструктура атомарных деятельностей является дистрибутивной:
(forall (?а?Ь0 ?Ь1)
(implies (and (subactivity ?а (сопс ?Ь0 ?Ь1))
(not (primitive ?a)))
(exists (?a0?a1)
(and (subactivity ?a0 ?a)
(subactivity ?a1 ?a) (=?a
(conc?a0 ?a1))))))
9.6.9 Аксиома 9
Только случаи атомарной деятельности могут быть элементами допустимогодерева случаев:
(forall (?а ?осс)
(implies (and (occurrence_of ?осс?а)
(legal ?осс))
(atomic?а)))
10 Теория ядра комплексной деятельности
Complexactivity является основой для представлений и логических выводов в отношении составной
деятельности, атакже отношений между случаями деятельности ислучаями ее подчиненныхдеятельнос
тей. Вмоделях теории ядра составной деятельности случаи составной деятельности соответствуют подде
ревьям дерева случаев. Деятельность может включать в себя подчиненные деятельности, которые не
происходят. Единственным ограничением являетсясоответствие любого случая подчиненной деятельнос
типоддереву дерева случаев, описывающегослучаи даннойдеятельности. Не каждый случай деятельно
стиявляетсяслучаем подчиненной деятельности. Во время случаядеятельности могут происходитьдру
гие внешниедеятельности. Различные подчиненные деятельности могут находиться на разных ветках де
рева деятельности, так чтодля различных случаев деятельности могут происходить различные случаи
подчиненных деятельностей.
10.1 Примитивные отношения
Нелогическая лексика теории ядра составнойдеятельности включает всебя следующие примитив
ные отношения:
- min_precedes:
- root.
10.2 Установленные отношения
Нелогическая лексика теории ядра составной деятельности включает всебя следующие установлен
ные отношения:
15