ГОСТ Р ИСО 18629-42—2011
14.5.2 partial_state_effect
Некоторое действие является частично ограниченным по состоянию тогда и только тогда, когда суще
ствуют сохраняющие эффект перестановки переменных.
(forall (?а) (iff(partial_state_effects ?а)
(and (exists (?s1)
(forall (?s2)
(implies (state_equiv?s1 ?s2)
(effects_equiv ?a ?s1 ?s2))))
(exists (?s3 ?s4)
(and (state_equiv ?s3 ?s4)
(not (effects_equiv ?a ?s3 ?s4)))))))
14.5.3 rigid_state_effect
Некоторое действие является жестко зависимым от состояния тогда и только тогда, когда сохраняю
щая эффект перестановка переменных является тривиальной.
(forall (?а) (iff(rigid_state_effects ?а)
(forall (?s1)
(exists (?s2)
(and (state_equiv ?s1 ?s2)
(not (effects_equiv ?a ?s1 ?s2)))))))
14.6 Грамматика основанных на состоянии эффектов действий
Грамматика описаний процесса для встроенных ограничений действий:
< simple_state_effect > .:=(forall (?s)
(implies (and (occurrence ? s)
< simple_state_axiom >)
< simple_holds_axiom >)))
< state_effect > ::=(forall (< variable >*)
(implies (and (occurrence < variable > < term >)
< state_axiom >)
< simple_holds_axiom >)))
15 Временные эффекты действий
Данный раздел характеризует все определения, обусловленные временными эффектамидействий.
Критерий, используемый для классификации указанных действий: зависят или нет эффекты некоторого
действия только от времени выполнения указанногодействия.
15.1 Примитивная лексика временных эффектов действий
Лексика временных эффектов действий не требует примитивных соотношений.
15.2 Описываемая лексика временных эффектов действий
В данном подразделе определены следующие соотношения:
- (temporal_effect ?а):
- (partial_temporal ?а);
- (nontemporal ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
15.3 Теории ядра, обусловленные временными эффектами действий
Для данныхдефинициомальных расширений необходимы:
- occtree.th;
- psl_core.th.
15.4 Дефинициональные расширения, обусловленные временными эффектами действий
Для данных расширений необходимы временные эффекты действий.
19