ГОСТ Р ИСО 18629-42—2011
(exists (?s2)
(and (occurrence ?s2 ?a)
(state_equiv ?s1 ?s2)
(tree_equiv ?s1 ?s2)
(not (effects_equiv ?a ?s1 ?s2))))))))
17.6 Грамматика эффектов действий: событийные ограничения
Грамматика описаний процесса для эффектовдействий: событие.
< quantum_axiom > ::=
(forall (?s)
(implies (and {< leaf_constrained_axiom > | < inner_constrained_axiom}
< simple_state_axiom >)
< simple_holds_axiom >))
< semiclass»cal_axiom > ::=
(forall (?s)
(implies (and {< leaf_constrained_axiom > | < inner_constrained_axiom}
< state_axiom >)
< simple_holds_axiom >))
18 Эффекты действий: временные и событийные ограничения
Данный раздел характеризует все определения, обусловленные эффектами действий: временные и
событийные ограничения. Критерий, используемый для классификации указанныхдействий: зависят или
нет эффекты некоторого действия только от времени выполнения другихдействий.
18.1 Примитивная лексика эффектов действий: временные и событийные ограничения
Лексика эффектовдействий (временные и событийные ограничения) не требует примитивныхсоотно
шений.
18.2 Описываемая лексика эффектов действий: времонныо и событийные ограничения
В данном подразделе определены следующие соотношения:
-(relativistic ?а);
- (seminewton ?а):
- (newton ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
18.3 Теории ядра, обусловленные эффектами действий: временные и событийные
ограничения
Для данныхдефинициональных расширений необходимы:
- occtree.th;
- psl_core.th.
18.4 Дефинициональные расширения, обусловленные эффектами действий: временные и
событийные ограничения
Для данных расширений необходимы входные условия выполнения действий.
18.5 Определения эффектов действий: временные и событийные ограничения
Определены нижеследующие понятия для эффектов действий: временные и событийные огра
ничения.
18.5.1 relativistic
Некоторое действие является релятивистским тогда и только тогда, когда его эффекты зависят от
времени выполнения другихдействий на дереве событий. В особенности еслиданные эффекты сохраняют ся
при преобразованиях дерева событий, сохраняющих также шкалу отсчета времени.
(forall (?а) (iff(relativistic ?а)
(forall (?s1 ?s2)
(implies (and (occurrence ?s1 ?a)
23