ГОСТ Р ИСО 18629-42—2011
6.3 Теории ядра, обусловленные основанными на состояниивходнымиусловиями
выполнения действий
Для данного расширения необходимо иметь:
- act_occ.th:
- complex.th;
- atomic.th:
- subactivity.th;
- disc_state.th;
- occtree.th;
- psl_core.th.
6.4 Дофинициональные расширения, обусловленные основанными на состоянии входными
условиями выполнения действий
Для основанных на состоянии входных условий выполнения действий необходимо нижеследующее
дефинициомальмоерасширение:
- precond.def.
6.5 Определения понятий для основанных на состоянии входных условий выполнения
действий
Для основанных на состоянии входных условий выполнения действий определены нижеследующие
понятия.
6.5.1 state_equiv
Два события эквивалентны по состоянию, если после наступленияданных событий имеет место одно
и то же состояние.
(forall (?s1 ?s2) {iff (state_equiv ?s1 ?s2)
(forall (?f)
(iff (holds ?f?s1)
(holds ?f?s2)))))
6.5.2 markov_precond
Некоторое действие является марковским действием при заданных входных условиях, если из со
гласованности двух событий по состоянию следует их согласованность по расширению возможности дей
ствия.
(forall (?а) (iff(markov_precond ?а)
(forall (?s1 ?s2)
(implies (state_equiv ?s1 ?s2)
(poss_equiv ?a ?s1 ?s2))))
6.5.3 partial_state
Некоторое действие является частично ограниченным по состоянию тогда и только тогда, когда суще
ствуют сохраняющие событие перестановки переменных.
(forall (?а) (iff (partial_state ?а)
(and (exists (?s1)
(forall (?s2)
(implies (state_equiv ?s1 ?s2)
(poss_equiv ?a ?s1 ?s2))))
(exists (?s3 ?s4)
(and (state_equiv ?s3?s4)
(not (poss_equiv ?a ?s3 ?s4)))))))
6.5.4 rigid_state
Некоторое действие является жестко зависимым от состояния тогда и только тогда, когда сохраняю
щая событие перестановка переменных является тривиальной.
(forall (?а) (iff (rigid_state ?а)
(forall (?s1)
(exists (?s2)
(and (state_equiv ?s1 ?s2)
(not (poss_equiv ?a ?s1 ?s2)))))))
6