ГОСТ Р ИСО 18629-42—2011
27.3 Теории, обусловленные смешанной вариацией комплексных действий
Для данной теории необходимы:
- occtree.th;
- psl_core.th.
27.4 Дефинициональные расширения, обусловленные смешанной вариацией комплексных
действий
Для данных расширений необходимы:
- occ_precond.def;
- state_precond.def;
- precond.def.
27.5 Определения смешанной вариации комплексных действий
Для смешанной вариации комплексных действий определены нижеследующие понятия.
27.5.1 mixed_conditional
Некоторое действие является смешанным условным тогда и только тогда, когда какие-либо два его
минимальныхдерева действий являются изоморфическими и их корни согласуются по состоянию и време ни
начала действия.
(forall (?а) (iff (mixed_conditional ?а)
(forall (?осс1 ?осс2)
(implies (and (root ?ocd ?а)
(root ?осс2 ?а)
(begin_equiv ?осс1 ?осс2)
(state_equiv ?осс1 ?осс2))
(min_equiv ?осс1 ?осс2 ?а)))))
27.5.2 partial_mixed_conditional
Некоторое действие является частично смешанным условным тогда и только тогда, когда существу
ют минимальные изоморфические деревья действий и их корми согласованы по состоянию и по времени
начала действий.
(forall (?а) (iff(partial_mixed_conditional ?а)
(and (exists (?ocd)
(forall (?осс2)
(implies (and (root?ocd ?a)
(root ?occ2 ?a)
(begin_equiv ?occ1 ?occ2)
(state_equiv ?occ1 ?occ2))
(min_equiv ?occ1 ?occ2 ?a))))
(exists (?occ3 ?occ4)
(and (root ?occ3?a)
(root ?occ4 ?a)
(begin_equrv?occ1 ?occ2)
(state_equiv ?occ3 ?occ4)
(not (min_equiv ?occ3 ?oc4)))))))
27.5.3 rigid_mixed_conditional
Некоторое действие является жестким смешанным условным тогда и только тогда, когда сохраняю
щие событие перестановки, моменты времени и состояние являются тривиальными.
(forall (?а) (iff(rigid_mixed_conditional ?а)
(forall (?осс1)
(exists (?осс2)
(and (root ?осс1 ?а)
(root ?осс2 ?а)
(begin_equiv ?осс1 ?осс2)
(state_equiv?occ1 ?осс2)
(not(min_equiv?occ1 ?осс2 ?а)))))))
37