ГОСТ Р ИСО 18629-42—2011
- (rigid_conditional ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
25.3 Теории, обусловленные основанной на состоянии вариации комплексных действий
Для данной теории необходимы:
- occtree.th;
- psl_core.th.
25.4 Дефинициональные расширения, обусловленные основанной на состоянии вариации
комплексных действий
Для данных расширений необходимы:
- occ_precond.def;
- statejxecond.def;
- precond.def.
25.5 Определения основанной на состоянии вариации комплексных действий
Для основанной на состоянии вариации комплексных действий определены нижеследующие
понятия.
25.5.1 conditional
Некотороедействие является условным при следующем ограничении какие-либо два его минималь
ных деревадействий являются изоморфическими. если корни согласованы по состоянию.
(forall (?а) (iff (conditional ?а)
(forall (?осс1 ?осс2)
(implies (and (root ?ocd ?а)
(root ?осс2 ?а)
(state_equiv ?осс1 ?осс2))
(min_equiv ?осс1 ?осс2 ?а)))))
25.5.2 partial_conditional
Некоторое действие является частично условным, если существуют изоморфические минимальные
деревья действий, согласованные по состоянию.
(forall (?а) (iff(partial_conditional ?а)
(and (exists (?ocd)
(forall (?осс2)
(implies (and (root ?occ1 ?a)
(root ?occ2 ?a)
(state_equiv ?occ1 ?occ2))
(min_equiv ?occ1 ?occ2 ?a))))
(exists (?occ3 ?occ4)
(and (root ?occ3?a)
(root ?occ4 ?a)
(state_equiv ?occ3 ?occ4)
(not (min_equiv ?occ3 ?oc4)))))))
25.5.3 rigid_conditional
Некоторое действие является жестко условным, если для каждого корневого события минимального
дерева действий (длядействия ?а) существуют другие события, согласованные по состоянию, являюще
муся корнем неизоморфического минимальногодерева действий.
(forall (?а) (iff(rigid_conditional ?а)
(forall (?осс1)
(exists (?осс2)
(and (root ?осс1 ?а)
(root ?осс2 ?а)
(state_equiv ?осс1 ?осс2)
(not (min_equiv ?осс1 ?осс2 ?а)))))))
34