ГОСТ Р ИСО 18629-42—2011
(and (profile ?осс2 ?а)
(state_equiv ?осс1 ?осс2)
(not (root_equiv ?а ?осс1 ?осс2)))))))
21.6 Грамматика описаний процесса для основанного на состоянии распределения
комплексных действий
Нижеследующие грамматические утверждения определяют описания процесса, установленные в KIF
для основанного на состоянии распределения комплексных действий.
< trigger_activity > ::=(forall (?s)
(implies < simple_state_axiom >
< distribution_formula>))
< partialjrigger >(forall (?s < variable >+)
(implies < state_axiom >
< distribution_formula>))
22 Временное распределение комплексных действий
Данный раздел характеризует все определения, обусловленные временным распределением комп
лексныхдействий. Критерий, используемый для классификации указанныхдействий: зависит или нетдей
ствительное выполнение некоторого комплексного действия от времени выполнения указанногодействия.
22.1 Примитивная лексика временного распределения комплексных действий
Лексика временного распределения комплексных действий не требует примитивных соотношений.
22.2 Описываемые соотношения временного распределения комплексных действий
В данном подразделе определены следующие соотношения:
- (launch ?а);
- (parlialjaunch ?а):
-(rigidjaunch ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
22.3 Теории, обусловленные временным распределением комплексных действий
Для данной теории необходимы:
- occtree.th;
- psl_core.th.
22.4 Дефинициональные расширения, обусловленные временным распределением
комплексных действий
Для данных расширений необходимы:
- occ_precond.def,
- state_precond.def;
- precond.def.
22.5 Определения временного распределения комплексных действий
Для временного распределения комплексныхдействий определены нижеследующие понятия.
22.5.1 launch
Некотороедействие является запускающим при условии: если и только если когда-либо два события
согласуются по времени начала отсчета, то они согласуются и по выполнению указанныхдействий.
(forall (?а) (iff(launch ?а)
(forall (?осс1 ?осс2)
(implies (and (profile ?осс1 ?а)
(profile ?осс2 ?а)
(begin_equiv ?осс1 ?осс2))
(root_equiv ?а ?осс1 ?осс2)))))
29