ГОСТ Р ИСО 18629-42—2011
31 Вариация неделимых вниз действий
Данный раздел характеризует всеопределения, обусловленные вариацией неделимых вниздействий.
Критерий, используемый для классификации указанных действий: зависят или нет входные условия неде
лимого комплексного действия от входных условий составляющих его действий.
31.1 Примитивная лексика вариации неделимых вниз действий
Лексика вариации неделимых вниздействий не требует примитивных соотношений.
31.2 Описываемые соотношения вариации неделимых вниз действий
В данном подразделе определены следующие соотношения:
- (statejdeal ?а);
- (partial_state_ideal ?а).
- (rigid_state_ideal ?а);
- (time_ideal ?а);
- (partial_time_ideal ?а);
- (rigidjim ejdeal ?а);
- (state_nonideal ?а);
- (partial_state_nonideal ?а);
- (rigid_state_nonidoal ?а);
- (time_nonideal ?а);
- (partial_time_nonideal ?a);
• (ngid_time_nonideal ?a).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
31.3 Теории, обусловленные вариацией неделимых вниз действий
Для данной теории необходимы:
- occtree.th;
- psl_core.th.
31.4 Дофинициональные расширения, обусловленные вариацией неделимых вниз действий
Для данных расширений необходимы:
- occ_precond.def;
- state_precond.def:
- precond.def.
31.5 Определения вариации неделимых вниз действий
Для вариации неделимых вниздействий определены нижеследующие понятия.
31.5.1 statejdeal
Некоторое неделимое комплексное действие ?а является действием с идеальным состоянием при
условии: если и только если какие-либо и когда-либодопустимые события для ?а согласованы по состоя
нию. то все супердействия для ?а согласованы по допустимости.
(forall (?а) (iff (statejdeal ?а)
(forall (?а1 ?s1 ?s2)
(implies (and (subactivity ?a ?a1)
(poss ?a ?s1)
(poss ?a ?s2)
(state_equiv ?s1 ?s2))
(poss_equiv?a1 ?s1 ?s2)))))
31.5.2 partial_statejdeal
Некоторое неделимое комплексное действие ?а является действием с частично идеальным состоя
нием тогда и только тогда, когда существуют допустимые события для ?а. согласованные по состоянию, в
которых все супердействия для ?а согласованы по допустимости.
45