ГОСТ Р ИС0 18629-41—2011
(forall (?а ?s) (iff (conflict ?а ?s)
(forall (?a1 ?a2)
(implies (and {subactivity?a1 ?a)
(subactivity ?a2 ?a)
(not(poss?a1 ?s))
(poss (cone?a1 ?a2) ?s))
(poss ?a ?s))))))
17.5.6 Dysfunction
Некоторое действие является дисфункцией тогда и только тогда, когда существуют поддойствия.
которые поотдельности невозможны, но возможна ихсовместная композиция.
(forall (?а ?s) (iff(dysfunction ?а ?s)
(exists (?а1 ?a2)
(and (subactivity?a1 ?a)
(subactivity ?a2 ?a)
(not(poss ?a1 ?s))
(not (poss ?a ?s))
(poss (cone?a1 ?a2)?s)))))
17.6 Грамматика неделимых действий: параллелизм вниз
Грамматика описаний процессадля неделимых действий (параллелизм вниз)эквивалентна граммати
ке утверждений общегоописания технологического процесса в соответствии с ИС0 18629-11.
18 Спектр неделимых действий
Данный раздел характеризует все определения, обусловленные спектром неделимыхдействий.
18.1 Примитивная лексика спектра неделимых действий
Лексика спектра неделимых действий нетребует примитивных соотношений.
18.2 Определяемая лексика спектра неделимых действий
Вданном подразделе определены нижеследующие соотношения.
- (global_ideal ?а);
- (global_non ideal ?а);
- (global_filter?а);
- (global_nonfilter ?а).
Каждоепонятиеопределяется неформальной семантикой и аксиомой KIF.
18.3 Теории, обусловленные спектром неделимых действий
Дляданной теории необходимы:
- act_occ.th;
- complex.th;
- atomic.th;
- subactivity.th:
- occtree.th;
- psl_core.th.
18.4 Дсфинициональные расширения, обусловленные спектром неделимых действий
Для данных расширений необходимы входные условиядлядействий.
18.5 Определения спектра неделимых действий
Определены нижеследующиепонятиядля спектра неделимыхдействий.
18.5.1 GlobalJdeal
Некотороедействие является глобальным идеальным фильтром тогда и толькотогда, когда каждое
супердействие имеет эквивалентныевходные условия иуказанноедействие возможно.
(forall (?а) (iff(globaljdeal ?а)
(forall (?а1 ?s1 ?s2)~
29