ГОСТ Р ИСО 18629-41—2011
(forall (?осс) (iff(strict ?осс)
(forall (?ocd)
(implies (same_tree ?осс ?осс1)
(fused ?осс1)))))
15.6 Грамматика скелетных доревьев действий
Грамматика описаний процесса для скелетныхдеревьевдействийэквивалентна грамматике утверж
дений общегоописания технологического процесса в соответствии с ИС0 18629-11.
16 Неделимые действия: параллелизм вверх
Данный раздел характеризует все определения, обусловленные неделимыми действиями спаралле
лизмом вверх.
16.1 Примитивная лексика неделимых действий: параллелизм вверх
Лексика неделимыхдействий (параллелизм вверх) нетребует примитивных соотношений.
16.2 Определяемая лексика неделимых действий: параллелизм вверх
В данном подразделеопределены нижеследующие соотношения:
- (natural ?а ?s);
- (artificial ?а ?s):
- (performed ?а ?s):
- (up_ghost ?a ?s);
- (up_conflict ?a ?s):
- (quark ?a ?s).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
16.3 Теории, обусловленные неделимыми действиями: параллелизм вверх
Для данной теории необходимы вспомогательные теории:act_occ.th; complex.th: atomic.th; subactivity,th;
occtree.th; psl_core.th.
16.4 Дофинициональные расширения, обусловленные неделимыми действиями: парал
лелизм вверх
Для неделимыхдействий (параллелизм вверх) дефинициональные расширения нетребуются.
16.5 Определения неделимых действий: параллелизм вверх
Для неделимых действий (параллелизм вверх) определены нижеследующие понятия.
16.5.1 Natural
Некоторое действие является естественным тогда итолько тогда, когда оно является поддействием
для какого-либо действия, выполнение которого возможно когда-либо.
(forall (?а ?s) (iff(natural ?а ?s)
(forall (?a1)
(implies (and (poss ?a ?s)
(poss?a1 ?s))
(subactivity ?a?a1)))))
16.5.2 Artificial
Некоторое действие является искусственным тогда и только тогда, когда его выполнение возможно
совместно с каким-либодругимдействием.
(forall (?а ?s) (iff(artificial ?а ?s)
(forall (?a1)
(implies (and (poss ?a ?s)
(poss ?a1 ?s)
(not (subactivity?a1 ?a)))
(poss (cone?a ?a1) ?s)))))
26