ГОСТ Р ИСО 18629-42—2011
(occurrence ?s2 ?а)
(begin_equrv ?s1 ?s2)
(tree_equiv ?s1 ?s2))
(effects_equiv ?a ?s1 ?s2)))))
18.5.2 seminewton
Некоторое действие является лолуньютоновским действием тогда и только тогда, когда существуют
преобразования дерева событий, сохраняющие также шкалу отсчета времени и эффекты данного дей
ствия.
(forall (?а) (iff(seminewton ?а)
(exists (?s1)
(and (occurrence ?s1 ?a)
(forall (?s2)
(implies (and (occurrence ?s2 ?a)
(begin_equiv ?s1 ?s2)
(tree_equiv ?s1 ?s2))
(effects_equiv ?a ?s1 ?s2)))))))
18.5.3 newtonian
Некоторое действие является ньютоновским тогда и только тогда, когда его эффекты не зависят от
времени началаотсчета выполнения каких-либодругихдействий надереве событий.
(forall (?а) (iff(newtonian ?а)
(forall (?s1)
(implies (occurrence ?s1 ?a)
(exists (?s2)
(and (occurrence ?s2 ?a)
(begin_equiv ?s1 ?s2)
(tree_equiv ?s1 ?s2)
(not (effects_equiv ?a ?s1 ?s2))))))))
18.6 Грамматика эффектов действий: временные и событийные ограничения
Грамматика описаний процесса для эффектов действий: временные и событийные ограничения.
< rolativistic_axiom >
(forall (?s)
(implies (and {< leaf_constrained_axiom > |< inner_constrained_axiom}
< simple_time_axiom >)
< simple_holds_axiom >))
< seminewton_axiom > ::=
(forall (?s)
(implies (and {< leaf_constrained_axiom > |< inr>er_constrained_axiom}
< time_axiom >)
< simple_holds_axiom >))
19Дерево флюента
Данный раздел характеризует все определения, обусловленные деревом флюента. Выбор критерия,
используемого для классификации указанных переменных, зависит от действий, либо задающих, либо
отменяющих значение некоторой переменной (флюента).
19.1 Примитивная лексика дерева флюента
Лексикадерева флюента не требует примитивных соотношений.
19.2 Описываемые соотношения дерева флюента
В данном подразделе определены следующие соотношения:
- (achieved 7f ?осс);
- (falsified ?f ?осс):
- (irreversible ?f).
24