ГОСТ Р ИСО 18629-42—2011
< partial_conditional_launch > ::= (forall (?s ?s2 < variable >+)
(implies < mix_formula >
<distribution_formula>))
24Вариация комплексных действий
Данный раздел характеризует все определения, обусловленные вариацией комплексныхдействий.
Критерий, используемыйдля классификации указанныхдействий: ограничены или нет события некоторого
комплексного действия.
24.1 Примитивная лексика вариации комплексных действий
Лексика вариации комплексныхдействий не требует примитивных соотношений.
24.2 Описываемые соотношения вариации комплексных действий
В данном подразделе определены следующие соотношения:
- (min_equiv ?осс1 ?осс2 ?а);
- (uniform ?а);
- (variegated ?а);
- (multiform ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
24.3 Теории, обусловленные вариацией комплексных действий
Для данныхтеорий необходимы:
- occtree.th;
- psl_core.th.
24.4 Дсфинициональные расширения, обусловленные вариацией комплексных действий
Для данных расширений необходимы:
- occ_precond.def.
- state_precond.def;
- precond.def.
24.5 Определения вариации комплексных действий
Для вариации комплексных действий определены нижеследующие понятия.
24.5.1 min_oquiv
Два минимальныхдерева действий для события ?а являются изоморфичоскими, если каждое из них
может быть встроено вдругое как составляющее дерево.
(forall (?occ1 ?осс2 ?а) (iff (min_equiv ?осс1 ?осс2 ?а)
(and (subtree_embed ?осс1 ?осс2 ?а)
(subtree_embed ?осс2?осс1 ?а))))
24.5.2 uniform
Некоторое действие является однородным, если все его минимальныедеревья действий являются
изоморфическими.
(forall (?а) (iff (uniform ?а)
(forall (?осс1 ?осс2)
(implies (and (root ?осс1 ?а)
(root ?осс2 ?а)
(min_equiv ?осс1 ?осс2 ?а»)))
24.5.3 variegated
Некоторое действие ?а является варьированным, если все его минимальные деревья действий
(ссобытийно-эквивалентными корневыми событиями) являются изоморфическими.
(forall (?а) (iff(variegated ?а)
(and (exists (?а1)
(forall (?occ1 ?occ2)
32