ГОСТ Р ИСО 18629-41—2011
(implies (and (subactivity ?а ?а1)
(poss?a ?s1)
(poss ?a ?s2))
(poss_equiv ?a1 ?s1 ?s2)))))
18.5.2 global_nonidoal
Некоторое действие является глобальным неидеальным фильтром тогдаитолько тогда, когдакаждое
супердействие имеет эквивалентные входные условия, когда указанноедействие невозможно.
(forall (?а) (iff(global_nonideal ?а)
(forall (?а1 ?s1 ?s2)
(implies (and (subactivity ?a ?a1)
(not (poss ?a ?s1))
(not (poss ?a ?s2)))
(poss_equiv?a1 ?s1 ?s2)))))
18.5.3 global_filter
Некоторое действие является глобальным фильтром тогда итолькотогда, когда каждое поддействие
имеет эквивалентные входные условия, когда указанноедействие возможно.
(forall (?а) (iff(global_filter ?а)
(forall (?а1 ?s1 ?s2)
(implies (and (subactivity ?a1 ?a)
(poss ?a?s1)
(poss ?a ?s2))
(poss_equiv?a1 ?s1 ?s2)))))
18.5.4 global_nonfilter
Некоторое действие не является глобальным фильтром тогда и толькотогда, когда каждое поддей
ствие имеет эквивалентные входные условия, когда указанноедействие невозможно.
(forall (?а) (iff(global_nonfi!ter ?а)
(forall (?а1 ?s1 ?s2)
(implies (and (subactivity ?a1 ?a)
(not (poss ?a ?s1))
(not (poss ?a ?s2)))
(poss_equiv ?a1 ?s1 ?s2)))))
18.6 Грамматика спектра неделимых действий
Грамматика описаний процессадля спектра неделимых действий эквивалентна грамматике утверж
дений общегоописания технологического процесса в соответствии с ИСО 18629-11.
19 Входные условия для действий
Данный раздел характеризует все определения, обусловленные входными условиями длядействий.
19.1 Примитивная лексика входных условий для действий
Лексика входных условий для действий нетребует примитивныхсоотношений.
19.2 Определяемая лексика входных условий для действий
В данном подразделе определены нижеследующие соотношения:
-(poss_equiv ?а ?осс1 ?осс2);
- (trunc ?осс);
- (unconstrained ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
19.3 Теории, обусловленные входными условиями для действий
Для данной теории необходимы вспомогательные теории:act_occ.th; complex.th; atomic.th; subactivity.th;
occtree.th; psl_core.th.
19.4 Дефинициональные расширения, обусловленные спектром неделимых действий
Данное расширение не требует каких-либо дефинициональныхрасширений.
30