ГОСТ Р ИСО 18629-42—2011
12.6 Грамматика входных условий нарушения выполнения действий
Грамматика описаний процесса для входных условий нарушения выполнения действий эквивалентна
грамматике утверждений общих описаний процесса, определенной в ИС0 18629-11.
13 Эффекты действий
Данный раздел характеризует все определения, обусловленные эффектами действий. Критерий, ис
пользуемый для классификации указанныхдействий: одинаковы ли эффекты некоторого действия для всех
выполняемыхдействий.
13.1 Примитивная лексика эффектов действий
Лексика эффектовдействий не требует примитивных соотношений.
13.2 Описываемая лексика эффектов действий
В данном подразделе определены следующие соотношения:
- (effects_equiv ?а ?s1 ?s2);
- (context_free ?а):
- (null ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
13.3 Теории, обусловленные эффектами действий
Для данной теории необходимы:
- occtree.th;
- psl_core.th.
13.4 Дофинициональныо расширения, обусловленные эффектами действий
Для эффектов действий необходимы нижеследующиедефинициональные расширения:
13.5 Определения эффектов действий
Для утверждений Spectrum и Subtree Containement определены нижеследующие понятия.
13.5.1 effocts_equiv
Два события для некоторого неделимогодействия являются эквивалентными эффектами, если после
данных событий состояния сохраняются неизменными.
(forall (?а ?s1 ?s2) (iff(effects_equiv ?a ?s1 ?s2)
(and (occurrence ?s1 ?a)
(occurrence ?s2 ?a)
(forall(?f)
(iff (holds ?f?s1)
(holds ?f?s2))))))
13.5.2 context_free
Некоторое действие является свободным от контекста (context_free), если какая-либо переменная,
измененная в результате выполнения одногодействия, изменяется в результате каждого выполнения ука
занногодействия.
(forall (?а) (iff(context_free ?а)
(forall (?s1 ?s2)
(implies (and (occurrence ?s1 ?a)
(occurrence ?s2 ?a))
(effects_equiv ?a ?s1 ?s2)))))
13.5.3 null
Некоторое действие является нулевым тогда и только тогда, когда оно не затрагивает и не фальсифи
цирует какую-либо переменную.
(forall (?а) (iff (null ?а)
(forall (?s)
(implies (occurrence ?s ?a)
(forall (?f)
(iff (holds ?f?s)
(prior?f?s)))))))
17