ГОСТ Р ИСО 18629-42—2011
22.5.2 partialjaunch
Некоторое действие является частично запускающим тогда и только тогда, когда существуют собы
тия. согласующиеся как по времени начала отсчета, так и по выполнению указанныхдействий.
(forall (?а) (iff(partialjaunch ?а)
(and (exists (?ocd)
(forall (?осс2)
(implies (and (profile ?occ1 ?a)
(profile ?occ2 ?a)
(begin_equiv ?occ1 ?occ2))
(root_equiv ?a ?occ1 ?occ2))))
(exists (?occ3 ?occ4)
(and (profile ?occ3 ?a)
(profile ?occ4 ?a)
(begin_equiv ?occ3 ?occ4))
(not (root_equiv ?a ?occ3 ?occ4)))))))
22.5.3 rigidjaunch
Некоторое действио является жестко запускающим тогда и только тогда, когда сохраняющая событие
по временной шкале перестановка является тривиальной.
(forall (?а) (iff (rigidjaunch ?а)
(forall (?осс1)
(implies (profile ?осс1 ?а)
(exists (?осс2)
(and (begin_equiv ?осс1 ?осс2)
(not (root_equiv ?а ?осс1 ?осс2)))))))
22.6 Грамматика описаний процесса для временного распределения комплексных действий
Нижеследующие грамматические утверждения определяют описания процесса, установленные в KIF
для временного распределения комплексныхдействий.
< simplejaunch_activity > ::=(forall (?s)
(implies < simple_time_axiom >
<distributionJormula>))
< partial_launch_activity > ::= (forall (?s < variable >+)
(implies < time_axiom >
<distribution_formula>))
23 Смешанное распределение комплексных действий
Данный раздел характеризует все определения, обусловленные смешанным распределением комп
лексныхдействий. Критерий, используемый для классификации указанныхдействий: зависят или нетдопу
стимые события от состояния до выполнения действий и от времени выполнения данныхдействий.
23.1 Примитивная лексика смешанного распределения комплексных действий
Лексика смешанного распределения комплексных действий не требует примитивных соотношений.
23.2 Описываемые соотношения смешанного распределения комплексных действий
В данном подразделе определены следующие соотношения:
- (conditional Jrigger ?а);
- (partial_conditional Jrigger ?а):
- (unconditional Jrigger ?a).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
23.3 Теории ядра, обусловленные смешанным распределением комплексных действий
Для данной теории необходимы:
- occtree.th;
- psl_core.th.
30