ГОСТ Р ИСО 18629-41—2011
14.6 Грамматика встраивающих ограничений для действий
Грамматика описаний процесса для встраивающих ограниченийдля действий эквивалентна грамма
тике утверждений общего описания технологического процесса в соответствии с ИС0 18629-11.
15 Скелетные деревья действий
Данный раздел характеризует все определения, обусловленные скелетными деревьями действий.
15.1 Примитивная лексика скелетных деревьев действий
Лексика скелетныхдеревьевдействий не требует примитивных соотношений.
15.2 Определяемая лексика скелетных деревьев действий
В данном подразделеопределены нижеследующие соотношения:
- (fused ?осс);
- (embed_occ?осс);
- (free ?осс);
- (assisted ?осс);
- (helpless ?осс);
- (unbound ?осс);
- (bound ?осс);
- (strict ?осс).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
15.3 Теории, обусловленные скелетными деревьями действий
Для данной теориинеобходимы следующиевспомогательные теории:act_occ.th: complex.th; atomic.th;
subactivity.th; occtree.th: psl_core.th.
15.4 Дефинициональные расширения, обусловленные скелетными деревьями действий
Для данных расширений необходимы встраивающиеограничения для действий.
15.5 Определения скелетных деревьев действий
Для скелетных деревьевдействий определены нижеследующие понятия.
15.5.1 Fused
Событие ?осс является расплавленным тогдаи только тогда, когда каждоесобытие, расположенное
между корневым илистовым событием, также является событием ?осс(но ужедля поддействия).
(forall (?осс) (iff(fused ?осс)
(forall (?s1 ?s2 ?s3)
(implies (and (root_occ ?s1 ?occ)
(subactivity .occurrence ?s2 ?occ)
(precedes ?s1 ?s3)
(precedes ?s3 ?s2))
(subactivity_occurrence ?s3?occ)))))
15.5.2 Embedd_occ
Ветвь дерева событий, содержащая событие ?осс, может быть встроена в мертвую ветвь на том же
максимальном встроенном поддереве.
(forall (?осс) (iff(embed_occ ?осс)
(forall (?а ?s ?s1 ?s2 ?s3)
(implies (and (occurrence_of ?occ ?a)
(root_occ ?s ?occ)
(next_subocc ?s1 ?s2 ?occ)
(precedes ?s1 ?s3)
(precedes ?s3 ?s2))
(exists (?s4 ?s5 ?s6)
(and (precedes ?s4 ?s5)
24