ГОСТ Р ИСО 18629-42—2011
26.5.2 partial_time_conditional
Комплексное действие является частично временным условным тогда и только тогда, когда суще
ствуют сохраняющие событие перестановки.
(forall (?а) (iff(partial_time_conditional ?а)
(and (exists (?ocd)
(foratl (?осс2)
(implies (and (root ?occ1 ?a)
(root ?occ2 ?a)
(begin_equiv ?occ1 ?occ2))
(min_equiv ?occ1 ?occ2 ?a))))
(exists (?occ3 ?occ4)
(and (root ?occ3 ?a)
(root ?occ4 ?a)
(begin_equiv ?occ3 ?occ4)
(not (min_equiv ?occ3 ?oc4)))))))
26.5.3 rigid_time_conditional
Комплексное действие является жестким временным условным тогда и только тогда, когда сохраняю
щая событие по временной шкале перестановка является тривиальной.
(forall (?а) (iff(rigid_time_conditional ?а)
(forall (?осс1)
(exists (?осс2)
(and (root ?осс1 ?а)
(root?occ2 ?а)
(begin_equiv ?осс1 ?осс2)
(not (min_equiv ?осс1 ?осс2 ?а)))))))
26.6 Грамматика описаний процесса для временной вариации комплексных действий
Нижеследующие грамматические утверждения определяют описания процесса, установленные в KIF
для временной вариации комплексныхдействий.
< time_conditional_activity > ::= (forall (?s ?s2)
(iff (do ?a?s?s2)
<simple_time_conditional >))
< partial_time_conditional > ::= (forall (?s ?s2)
(iff (do ?a ?s ?s2)
<time_conditional_formula >))
< simple_time_conditional > ::= (implies < simple_time_axk>m >
< variation_formula >)
< time_conditional_formula > ::= (implies < time_axk>m >
<variation_formula >)
27 Смешанная вариация комплексных действий
Данный раздел характеризует все определения, обусловленные смешанной вариацией комплексных
действий. Критерий, используемый для классификации указанныхдействий: зависят или нет события, зак
лючающиеся в выполнении составляющихдействий некоторого комплексного действия, от состояния до
выполнения действий йот времени выполнения данныхдействий.
27.1 Примитивная лексика смешанной вариации комплексных действий
Лексика смешанной вариации комплексных действий не требует примитивных соотношений.
27.2 Описываемые соотношения смешанной вариации комплексных действий
В данном подразделе определены следующие соотношения:
- (mixed_conditional ?а);
- (partial_mixed_condit)onal ?а);
- (rigid_mixed_conditional ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
36