ГОСТ Р ИСО 18629-12—2010
(earlier ?occl ?осс2) принимает значение TRUE в интерпретации теории ядра дерева случаевтолько в
том случае, если два случая деятельности ?осс1 и ?осс2 принадлежат одной и той же ветви дерева, а
?осс1 находится ближе к корневомуэлементу дерева, чем ?осс2.
В интерпретацияхдеревьев случаев множество всех последовательностей случаевдеятельности
образует дерево, аотношениеearlier задает частичное упорядочение всехслучаевдеятельности, принад
лежащих этому дереву.
7.4.2 Отношение initial
Обозначение KIF символа initial:
(initial ?осс)
Неформальная семантика отношения initial:
(initial ?осс) принимает значение TRUE в интерпретации теории ядра дерева случаев только в том
случае, если случай деятельности ?оссявляется корневым элементом дерева случаев.
7.4.3 Отношение legal
Обозначение KIF отношения legal:
(legal ?осс)
Неформальная семантика отношения legal:
(legal ?осс) принимает значение TRUE в интерпретации теории ядра дерева случаев только в том
случае, если случай деятельности ?оссявляется элементомдопустимогодерева случаев.
7.4.4 Отношение poss
Обозначение KIF символа отношения poss:
(poss ?осс1 ?осс2)
Неформальнаясемантика символа отношения poss:
(poss ?а ?осс) принимает значение TRUE в интерпретации теории дара дерева случаевтолько втом
случае, если для деятельности ?а существует случай, являющийся следующим элементом случая дея
тельности ?осс вдереве случаев.
7.4.5 Отношонио precedes
Обозначение KIF символаотношения precedes:
(precedes ?осс1 ?осс2)
Неформальная семантика символа отношения precedes:
(precedes ?осс1 ?осс2) принимает значение TRUE в интерпретации теории ядра дерева случаевтоль
ко втом случае, если случай деятельности ?осс1 расположен раньше случая деятельности ?осс2 вдереве
случаев, а все случаи деятельности между этими случаями соответствуют возможным деятельностям.
Данное отношение определяет поддереводереваслучаев, в котором каждый случайдеятельности
являет сяслучаем возможной деятельности.
7.4.6 Отношение successor
Обозначение KIF символаотношения successor.
(successor ?а ?осс)
Неформальнаясемантика символа отношения successor:
(=(successor ?а ?осс) ?осс2) принимает значениеTRUE в интерпретации теории ядра дерева случаев
тольков том случае, если ?осс2 обозначает случай ?а. следующий за случаем деятельности ?осс вдере ве
случаев.
7.5 Аксиомы
Теория ядрадерева событий включает в себя следующие аксиомы:
7.5.1 Аксиома 1
Отношение earlier применимотолькодля следующихслучаевдеятельности:
(forall (?осс1 ?осс2)
(implies (earlier ?осс1 ?осс2)
(and(activity_occurrence ?осс1)
(activity_occurrence ?осс2))))
7.5.2 Аксиома 2
Отношение earlier нерефлексивнодля множества случаев:
(forall(?осс1 ?осс2)
(implies (earlier ?осс1 ?осс2)
(not (earlier ?осс2 ?осс1))))
9