ГОСТ Р ИСО 18629-12—2010
8.5.4 Аксиома 4
Состояния, существовавшиедо начальныхслучаев, согласованыдруг сдругом:
(forall (?осс1 ?осс2 ?f)
(implies (and (initial ?occ1)
(iff
(initial ?occ2))
(prior ?f ?occ1)
(prior ?f?occ2))))
8.5.5 Аксиома 5
Состояние может возникнуть послеслучая тольков том случае, если оно существует до следующего
случая:
(forall (?а ?осс)
(iff(holds ?f?occ)
(prior ?f(successor ?a ?occ))))
8.5.6 Аксиома 6
Если состояние возникает после случая какой-либодеятельности, существует самый ранний случай
деятельности на ветви дерева, где находится это состояние:
(forall (?f?occ1)
(implies (holds ?f?occ1)
(exists (?occ2)
(and (precedes ?occ2 ?occ1)
(holds ?f?occ2)
(or(initial ?occ2)
(not (prior ?f?occ2)))
(forall (?ooc3)
(implies (and (precedes ?occ2 ?occ3)
(precedes ?occ3?occ1))
(holds ?f?occ3)))))))
8.5.7 Аксиома 7
Если состояние не возникает после случая какой-либодеятельности, существует самый ранний слу
чай деятельности наветви, где этого состояния нет:
(forall (?f?occ1)
(implies (not (holds ?f?occ1))
(exists (?occ2)
(and (precedes ?occ2 ?occ1)
(not (holds ?f?occ2))
(or (initial ?occ2)
(prior ?f?occ2))
(not (exists (?occ3)
(and (precedes ?occ2 ?occ3)
(precedes ?occ3 ?occ1))
(holds?f?occ3))))))))
9 Теория ядра атомарной деятельности
Atomicactivityпредоставляетаксиомы, относящиеся к интуитивным представлениям об одновремен
номпараллельном агрегировании примитивных деятельностей, которое, как правило, представляют втер
минахосуществления/происхождения одновременныхдеятельностей, а не в терминаходновременного
осуществления/происхождения деятельностей.
9.1 Примитивные отношения
Нелогическая лексика теории ядра атомарной деятельности включает в себя следующий символ
примитивного отношения:
- atomic.
13