ГОСТ Р ИС0 18629-41—2011
16.5.3 Performed
Некоторое действие является выполняемым тогда и только тогда, когда существуют поддействия,
невозможныедля выполнения, если возможно указанноедействие.
(forall (?а ?s) (iff(performed ?а ?s)
(exists (?a1 ?a2)
(and (subactivity ?a1 ?a)
(subactivity ?a2 ?a)
(poss ?a ?s)
(not (poss (cone ?a1 ?a2) ?s))))))
16.5.4 Up_ghost
Некоторое действие является паразитным тогдаи толькотогда,когда привозможности супердействия
оно также возможно.
(forall (?а ?s) (iff(up_ghost ?а ?s)
(forall (?a1)
(implies (and (poss ?a1 ?s)
(subactivity ?a?a1))
(poss ?a ?s))))
16.5.5 Up_conflict
Некоторое действие является конфликтным тогда и только тогда, когдапри возможности егосовмест
ной композиции с каким-либодругим действием также возможноодно из их поддействий.
(forall (?а ?s) (iff(up_conflict ?а ?s)
(forall (?а1)
(implies (poss (cone ?a ?a1) ?s)
(or (poss ?a ?s)
(poss ?a1 ?s)
(subactivity ?a ?a1))))))
16.5.6 Quark
Некотороедействие является кварком тогда и только тогда, когда само оно невозможно в изоляции,
однако возможны егосупердействия.
(forall (?а ?s) (iff(quark?а ?s)
(exists (?a1 ?s)
(and (atomic?a1)
(subactivity ?a ?a1)
(poss?a1 ?s)
(not (poss ?a ?s))))))
16.6 Грамматика неделимых действий: параллелизм вверх
Грамматика описаний процесса для неделимыхдействий (параллелизм вверх) эквивалентна грамма
тике утверждений общего описания технологического процесса в соответствии с ИС018629-11.
17 Неделимые действия: параллелизм вниз
Данный раздел характеризует все определения, обусловленные неделимыми действиями спаралле
лизмом вниз.
17.1 Примитивная лексика неделимых действий: параллелизм вниз
Лексика неделимыхдействий (параллелизм вниз) нетребует примитивных соотношений.
17.2 Определяемая лексика неделимых действий: параллелизм вниз
Вданном подразделе определены нижеследующие соотношения.
- (superpose ?а ?s);
- (assistance ?а ?s);
- (team ?а ?s);
- (ghost ?a ?s);
27