ГОСТ Р ИСО 18629-42—2011
27.6 Грамматика описаний процесса для смешанной вариации комплексных действий
Нижеследующие грамматические утверждения определяют описания процесса, установленные в KIF
для предотвращаемых условий выполнения действий.
< mixed_conditional > ::= (forall (?s ?s2)
(iff(do ?a ?s?s2)
< simple_mix_conditional >))
< partial_mixed_conditional > ::= (forall (?s ?s2 < variable >♦)
(iff(do ?a ?s?s2)
< mix_conditional_formula >))
< simple_mix_conditional > ::= (implies < simple_mix_axiom >
< variation_formula >)
< mixed_conditional_formula > ::= (implies < mix_axiom >
< variation_formula >)
28 Встроенные действия: планы
Данный раздел характеризует все определения, обусловленные встроенными действиями: планы.
Критерий, используемыйдля классификации указанныхдействий: зависят или нет события некоторого ком
плексного действия от состояния в течение выполнения указанногодействия.
28.1 Примитивная локсика встроенных действий: планы
Лексика встроенныхдействий (планов) не требует примитивных соотношений.
28.2 Описываемые соотношения встроенных действий: планы
В данном подразделе определены следующие соотношения:
- (preventable ?а);
- (possibly_preventable ?а);
- (unpreventable ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
28.3 Теории, обусловленные встроенными действиями: планы
Для данной теории необходимы:
- occtree.th;
- psl_core.th.
28.4 Дефинициональные расширения, обусловленные встроенными действиями: планы
Для данных расширений необходимы:
- occ_precor>d.def;
- state_precond.def:
- precond.def.
28.5 Определения встроенных действий: планы
Для встроенных действий (планов) определены нижеследующие понятия.
28.5.1 plan
Некоторое дереводействий с корневым событием ?s является планом тогда и только тогда, когда все
согласованные по состоянию события в максимальном встроенном поддереве согласуются между собой,
(forall (?s) (iff (plan ?s)
(forall (?a ?s1 ?s2)
(implies (and (root ?s ?a)
(embedjree ?s1 ?s2 ?s ?a)
(state_equiv?s1 ?s2))
(subocc_equiv ?s1 ?s2 ?s ?a)))))
28.5.2 nondet_plan
Некоторое дереводействий с корневым событием ?s является недетерминированным планом тогда
и только тогда, когда существуют согласованные по состоянию события, заключающиеся в выполнении
38