ГОСТ Р ИСО 18629-12—2010
Неформальная семантика символаотношения leaf_occ:
(leaf_occ ?осс1 ?осс2 ?а) принимает значение TRUE в интерпретации теории ядра случаев деятельно
ститолько в том случае, если случай деятельности ?осс1 является элементом ветви дерева деятельности
?а. соответствующегослучаюдеятельности ?осс2.
11.4.5 Отношение iso_occ
Обозначение KIF символа отношения iso_occ:
(iso_occ ?осс1 ?осс2)
Неформальнаясемантика символаотношения iso_occ:
(iso_occ ?осс1 ?осс2) принимает значение TRUE в интерпретациитеории ядра случаевдеятельности
только в томслучае, если ?осс1 и ?осс2 являются случаями атомарной деятельности, включающей в себя
общую подчиненнуюдеятельность.
11.4.6 Отношение hom
Обозначение К1Рсимволаотношения hom:
(horn ?осс 1?осс2 ?а)
Неформальная семантика символаотношения hom:
(hom ?осс1 ?осс2 ?а) принимает значение TRUE в интерпретации теории ядра случаевдеятельности
только в случае, если существует отображение между ветвями деревадеятельности ?а, при котором слу
чайатомарной подчиненной деятельности ?осс1 отображается в случай атомарной подчиненной деятель
ности ?осс2.
11.4.7 Отношение samo_grove
Обозначение KIF символаотношения same_grove:
(same_grove ?осс1 ?осс2 ?а)
Неформальная семантика символа отношения same_tree:
(same_grove ?осс1 ?осс2 ?а) принимаетзначение TRUE в интерпретации теории ядра случаевдея
тельности только в том случае, если случаи ?осс1 и?осс2 деятельности ?а соответствуют ветвям одного и
того жедерева деятельности ?а.
11.5 Определения
Теория ядраслучаевдеятельности содержит следующие определения.
11.5.1 Определение 1
Случай ?осс1 является корневым случаем случая деятельности ?а только в том случае, если он
является случаем подчиненной деятельности и корневым элементом деревадеятельности ?а:
(forall (?ocd ?осс2) (iff(= ?осс2 (root_occ?осс1)
(exists (?а)
(and (occurrence?осс1 ?а)
(subactivity„occurrence ?осс2 ?осс1)
(root ?осс2 ?а)))))
11.5.2 Определение 2
Случай ?осс 1является элементом случая деятельности ?а только в том случае, если он является
случаем подчиненной деятельности иэлементом дерева деятельности ?а.
(forall (?s ?осс) (iff(leaf_occ?s ?occ)
(exists (?a)
(and (occurrence_of ?occ?a)
(subactivity_occurrence ?s ?occ)
(leaf ?s ?а))У))
11.5.3 Определение 3
Случай деятельности ?осс1 является изоморфенным случаюдеятельности ?осс2. если оба случая
являются случаями атомарной деятельности, содержащей общую подчиненнуюдеятельность:
(forall (?s1 ?s2) (iff( ИСО_осс ?s1 ?s2)
(exists (?a1 ?a2)
(and (occurrence_of ?s1 ?a1)
(occurrence_of ?s2 ?a2)
(subactivity ?a1 ?a2)))))
11.5.4 Определение 3
Два случаядеятельности эквивалентны только втом случае, если они являются случаями атомарных
деятельностей, имеющихобщую подчиненнуюдеятельность:
21