ГОСТ Р ИСО 18629-12—2010
-subtree;
-do;
-leaf;
- next_subocc;
- sibling.
10.3 Связь с другими наборами аксиом
В теории составной деятельности используются следующиетеории ядра;
- pslcore.th, установленная в ИСО 18629-11,
- occtree.th;
- subactivity.th;
- atomic.th.
Для теории ядра составной деятельности не требуются лексиконы дефиниций.
10.4 Неформальная семантика
10.4.1 Отношение min_precedes
Обозначение KIFсимволаотношения min_precedes:
(min_precedes ?осс1 ?осс2 ?а)
Неформальнаясемантика символаотношения min_precedes:
(min_precedes ?осс1 ?осс2 ?а) принимает значение TRUE в интерпретации теории ядра составной
деятельности только в том случае, если ?осс1 и ?осс2 являются случаями подчиненной деятельности в
дереведеятельности ?а, а ?осс1 предшествует ?осс2 в поддереве. Любой случай деятельности ?а соот
ветствует деревудеятельности, являющемуся поддеревом дерева случаев. Случаи деятельности в этом
поддереве являются случаями подчиненной деятельности, соответствующими случаюдеятельности ?а.
10.4.2 Отношение root
Обозначение KIF символа отношения root;
(root?occ?a)
Неформальнаясемантика символаотношения root;
(root?осс ?а)принимает значение TRUE в интерпретации теории ядра составной деятельности только
в том случае, если случай деятельности ?оссявляется корневым элементомдеревадеятельности ?а.
10.4.3 Отношение subtree
Обозначение KIF для отношенияsubtree;
(subtree ?осс?а1 ?а2)
Неформальнаясемантика символа отношения subtree;
(subtree ?осс?а1 ?а2) принимает значение TRUE в интерпретациитеории ядра составной деятель
ности только в случае, если каждый случай атомарной подчиненной деятельности в дереве деятельности
?а1 с корневым элементом ?оссявляется элементом деревадеятельности ?а2.
10.4.4 Отношение leaf
Обозначение KIF символаотношения leaf:
(leaf?occ?a)
Неформальная семантика символа отношения leaf:
(leaf ?осс ?а) принимает значение TRUE в интерпретации теории ядра составной деятельности только
в том случае, если случай деятельности ?осс являетсяэлементом деревадеятельности ?а.
10.4.5 Отношение do
Обозначение KIFсимвола отношенияdo:
(do ?а ?осс1 ?осс2)
Неформальная семантика символа отношения do:
(do?а ?осс1 ?осс2) принимает значениеTRUE винтерпретации теории ядра составной деятельности
только в том случае, если ?осс1 является корневым элементом дерева деятельности, а ?осс2— элемен
том тогожедерева, так что оба случая деятельности являются элементами одной итой же ветви дерева
деятельности.
10.4.6 Отношение next_subocc
Обозначение KIF символа отношения next_subocc:
(next_subocc ?осс1 ?осс2 ?а)
Неформальная семантика символаотношения next_subocc:
16