ГОСТ Р ИСО 18629-42—2011
15.5 Определения временных эффектов действий
Для временных эффектовдействий определены нижеследующие понятия.
15.5.1 temporal_offect
Некоторое действие является действием с временными эффектами при условии, если когда-либо
наступление каких-либодвух событий согласуется по времени начала отсчета, то эти события согласуются и
по эффектам (например, по состоянию, которое сохраняется после выполнения действия).
(forall (?а) (iff (temporal_effects ?а)
(forall (?s1 ?s2)
(implies (and (occurrence ?s1 ?a)
(occurrence ?s2 ?a)
(begin_equiv ?s1 ?s2))
(effects_equiv ?a ?s1 ?s2)))))
15.5.2 partial_temporal
Некоторое действие является действием с частично временными эффектами тогда и только тогда,
когда существуют сохраняющие эффект перестановки по временной шкале.
(forall (?а) (iff (partialjemporal ?а)
(and (exists (?s1)
(forall (?s2)
(implies (begin_equiv ?s1 ?s2)
(effects_equiv ?a ?s1 ?s2))))
(exists (?s3 ?s4)
(and (begin_equiv ?s3 ?s4)
(not (effects_equiv ?a ?s3 ?s4)))))))
15.5.3 nontemporal
Некоторое действие является действием с жесткими временными эффектами тогда и только тогда,
когда сохраняющая эффект перестановка по временной шкале является тривиальной.
(forall (?а) (iff (nontemporal ?а)
(forall (?s1)
(exists (?s2)
(and (begin_equiv ?s1 ?s2)
(not (effects_equiv ?a ?s1 ?s2)))))))
15.6 Грамматика вроменных эффектов действий
Грамматика описаний процесса временных эффектов действий:
< simple_time_effects > ::=(forall (?s)
(implies (and (occurrence ?s < term >)
(legal ?s))
< simple_holds_axiom >)))
< time_effects > ::=(forall (?s)
(implies (and (occurrence ?s < term >
(legal ?s)
< time_axiom >)
< simple_holds_axiom >))
16Событийные эффекты действий
Данный раздел характеризует все определения, обусловленные событийными эффектами действий.
Критерий, используемый для классификации указанных действий: зависят или нет эффекты некоторого
действия только от выполнения другихдействий.
16.1 Примитивная лексика событийных эффектов действий
Лексика событийных эффектовдействий нетребует примитивныхсоотношений.
16.2 Описываемая лексика событийных эффектов действий
В данном подразделе определены следующие соотношения:
- (occ_effect ?а ?s);
20