ГОСТ Р ИСО 18629-42—2011
forall (?а) {iff(occurrence_dependent ?а)
(exists (?s1)
(and (occurrence ?s1 ?a)
(forall (?s2)
(implies (and (occurrence ?s2 ?a)
(tree_equiv ?s1 ?s2))
(legal_equiv ?s1 ?s2)))))))
9.5.4 occurrence_independent
Некоторое действие является не зависящим от события тогда и только тогда, когда не существует
нетривиального преобразованиядерева событий, сохраняющегодействительное выполнениедействия,
(forall (?а) (iff(occurrencejndependent ?а)
(forall (?s1)
(implies (occurrence ?s1 ?a)
(exists (?s2)
(and
(occurrence ?s2 ?a)
(tree_equiv?s1 ?s2)
(not(legal_equiv?s1 ?s2))))))))
9.6 Грамматика событийных входных условий выполнения действий
Нижеследующие грамматические утверждения определяют описания процессов и вспомогательные
правила, установленные в KIF для событийных входных условий выполнения действий.
< occ_constrained_precond > ::=
(forall (?s)
({implies | iff} (and (occurrence ?s < term >)
(legal ?s)
(ubiquitous < term > < term >))
{< leaf_constrained_axiom > | < inner_constrained_axiom}))
< leaf_constrained_formula > ::= (exists (?occ ?s1)
(and(occurrence ?occ < term >)
(leaf_occ?s1 ?occ)
(= ?s (successor < term > ?s1))))
< leaf_constrained_axiom > ::= < leaf_constrained_formula > |
(not < leaf_constrained_formula >)
< inner_constrained_formula > ::= (exists (?occ ?s1 ?s2)
(and (occurrence ?occ < term >)
(subactivity_occurrence ?s1 ?occ)
(subactivity_occurrence ?s2 ?occ)
(precedes ?s1 ?s)
(precedes ?s ?s2)))
< inner_constrained_axiom > ::=< inner_constrained_formula > |
(not < inner_constrained_formula >)
10 Предотвращаемые условия выполнения действий
Данный раздел характеризует все определения, обусловленные предотвращаемыми условиями вы
полнения действий. Критерий, используемый для классификации указанных действий: зависит или нетдей
ствительное выполнениедействий от состояния системы до выполнениядействий и от выполнения других
действий.
10.1 Примитивная локсика предотвращаемых условий выполнения действий
Лексика предотвращаемых условий выполнениядействий не требует примитивных соотношений.
10.2 Описываемые соотношения предотвращаемых условий выполнения действий
В данном подразделе определены нижеследующие соотношения:
-(preventable ?а):
12