ГОСТ Р ИСО 18629-42—2011
(implies (and (occurrence_of ?ocd ?а1)
(occurrence_of?осс2 ?а1)
(root ?occ1 ?a)
(root ?occ2 ?a))
(min_equiv ?occ1 ?occ2 ?a))))
(exists (?a2 ?occ3 ?occ4)
(and (occurrence_of?occ3 ?a2)
(occurrence_of ?occ4 ?a2)
(root ?occ3 ?a)
(root ?occ4 ?a)
(not (min_equiv ?occ3 ?occ4 ?a)))))))
24.5.4 multiform
Некоторое действие является многообразным, если существуют неизоморфические деревья дей
ствий с событийно-эквивалентными корневыми событиями.
(forall (?а) (iff(multiform ?а)
(forall (?а1 ?осс1)
(implies (and (root ?occ1 ?a)
(occurrence_of?occ1 ?a1))
(exists (?occ1 ?occ2)
(and (occurrence_of ?occ1 ?a1)
(occurrence_of ?occ2 ?a1)
(root ?occ1 ?a)
(root ?occ2 ?a)
(not (min_equiv ?occ1 ?occ2 ?a))))))))
24.6 Грамматика описаний процесса для вариации комплексных действий
Нижеследующие грамматические утверждения определяют описания процесса, установленные в KIF
для вариации комплексных действий.
< uniform_axiom > ::= (forall (?s1 ?s2)
(iff (do < term > ?s1 ?s2)
<variation_formuia >+))
< variegated_axiom > ::= (forall (?s ?s2 < variable >+)
(iff (do ?a ?s1 ?s2)
<occ_variatk>n_formula >♦))
< variation_formula > ::= (exists (< variable >*)
(and (subactivity < term > < term >)
(do < term > ?s1 ?s2)))
< occ_variation_formula > ::= (implies < successor_axiom >
<variatk>n_formula >)
25 Основанная на состоянии вариации комплексных действий
Данный раздел характеризует все определения вариации комплексных действий, основанной на со
стоянии. Критерий, используемый для классификации указанных действий: зависят или нет события от
состояния до выполнения указанныхдействий.
25.1 Примитивная лексика основанной на состоянии вариации комплексных действий
Лексика основанной на состоянии вариации комплексных действий не требует примитивных соотно
шений.
25.2 Описываемые соотношения основанной на состоянии вариации комплексных действий
В данном подразделе определены следующие соотношения:
- (conditional ?а);
- (partial_conditional ?а);
33