ГОСТ Р ИСО 18629-42—2011
12.1 Примитивная лексика входных условий нарушения выполнения действий
Лексика входных условий нарушения выполнения действий не требует примитивных соотношений.
12.2 Описываемая лексика входных условий нарушения выполнения действий
В данном подразделе определены следующие соотношения:
- (spoilage ?а);
- (possible_spoilage ?а);
- (nonspoilage ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
12.3 Теории, обусловленные входными условиями нарушения выполнения действий
Для данной теории необходимы:
- occtree.th;
- psl_core.th.
12.4 Дефинициональные расширения, обусловленные входными условиями нарушения
выполнения действий
Для данных расширений необходимы:
- occ_precor>d.def.
- state_pfecond.def:
- time_precond.def:
- precond.def.
12.5 Определения входных условий нарушения выполнения действий
Для входных условий нарушения выполнения действий определены следующие понятия.
12.5.1 spoilage
Для некоторого действия имеются входные условия нарушения его выполнения, если:
(forall (?а) (iff(spoilage ?а)
(forall (?s1 ?s2)
(implies (and
(occurrence ?s1 ?a)
(occurrence ?s2 ?a)
(state_equiv ?s1 ?s2)
(begin_equiv ?s1 ?s2)
(tree_equiv ?s1 ?s2))
(Iegal_equiv?s1 ?s2))))
12.5.2 possible_spoilage
Для некоторого действия имеются входные условия возможного нарушения его выполнения, если:
(forall (?а) (iff(possible_spcxlage ?а)
(exists (?s1)
(and
(occurrence ?s1 ?a)
(forall (?s2)
(implies (and
(occurrence ?s2 ?a)
(state_equiv ?s1 ?s2)
(begin_equiv ?s1 ?s2)
(tree_equiv ?s1 ?s2))
(legal_equiv ?s1 ?s2)))))))
12.5.3 nonspoilage
Для некоторого действия существуют входные условия без нарушений выполнения действия, если:
(forall (?а) (iff (nonspoilage ?а)
(forall (?s1)
(implies (occurrence ?s1 ?a)
(exists (?s2)
(and(occurrence ?s2 ?a)
(state_equiv ?s1 ?s2)
(begin_equiv ?s1 ?s2)
(tree_equiv?s1 ?s2)
(not(iegal_equiv?s1 ?s2))))))))
16