ГОСТ Р ИСО 18629-42—2011
25.6Грамматика описаний процесса для основанной на состоянии вариации комплексных
действий
Нижеследующие грамматические утверждения определяют описания процесса, установленные в KIF
для основанной на состоянии вариации комплексных действий.
< conditional_activity > ::= (forall (?s ?s2)
(iff (do ?a ?s ?s2)
< simple_conditional >))
< partial_condit»onal > ::= (forall (?s ?s2 < variable >♦)
(iff (do ?a ?s ?s2)
< conditional_formula >))
< simple_conditional > ::= (implies < simp!e_state_axiom >
<variation_formula >)
< conditional_formula > ::= (implies < state_axiom >
<vanation_formula >)
26 Временная вариация комплексных действий
Данный раздел характеризует все определения, обусловленные временной вариацией комплексных
действий. Критерий, используемый для классификации указанныхдействий: зависят или нет события, пред
ставляющие собой выполнение составляющих действий некоторого комплексного действия, толькоот вре
мени выполнения указанногодействия.
26.1 Примитивная лексика временной вариации комплексных действий
Лексика временной вариации комплексныхдействий не требует примитивныхсоотношений.
26.2 Описываемые соотношения временной вариации комплексных действий
В данном подразделе определены следующие соотношения:
- (time_conditional ?а):
- (partial_time_conditional ?а);
- (rigid_time_conditional ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
26.3 Теории, обусловленные временной вариацией комплексных действий
Для данной теории необходимы.
- occtree.th;
- psl_core.th.
26.4 Дефинициональныо расширения, обусловленные временной вариацией комплексных
действий
Для данных расширений необходимы:
- occ_precond.def;
- state_precond.def;
- precond.def.
26.5 Определения временной вариации комплексных действий
Для предотвращаемых условий выполнения действий определены нижеследующие понятия.
26.5.1 time_conditional
Комплексноедействие является временным условным при следующем условии: какие-либо два его
минимальныхдерева действий являются изоморфическими, если их корни согласуются по времени нача
ла отсчета.
(forall (?а) (iff (time_conditional ?а)
(forall (?осс1 ?осс2)
(implies (and (root ?ocd ?а)
(root ?осс2?а)
(begin_equiv?occ1 ?осс2))
(min_equiv ?осс1 ?осс2 ?а)))))
35