ГОСТ Р ИСО 18629-42—2011
- (occ_depend_effect ?а ?s);
- (nonocc_effect ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
16.3 Теории ядра, обусловленные событийными эффектами действий
Для данных дефинициоиальных расширений необходимы:
- occtree.th;
- psl_core.th.
16.4 Дефинициональныо расширения, обусловленные событийными эффектами действий
Для событийных эффектовдействий дефимициомальные расширения не требуются.
16.5 Определения событийных эффектов действий
Определены нижеследующие понятия для событийных эффектовдействий.
16.5.1 occ_effoct
Некотороедействие имеет событийные ограниченные эффекты тогда и только тогда, когда указанные
эффектыдействий сохраняются преобразованиями дерева событий.
(forall (?а) (iff (occ_effects ?а)
(forall (?s1 ?s2)
(implies (and (occurrence ?s1 ?a)
(occurrence ?s2 ?a)
(tree_equiv ?s1 ?s2))
(effects_equiv?a?s1 ?s2)))))
16.5.2 occ_depend_effoct
Некоторое действие имеет зависящие от события эффекты тогда и только тогда, когда существуют
преобразования дерева событий, сохраняющие эффекты данногодействия.
(forall (?а) (iff (occ_depend_effects ?а)
(exists (?s1)
(and (occurrence ?s1 ?a)
(forall (?s2)
(implies (and (occurrence ?s2 ?a)
(tree_equiv ?s1 ?s2))
(effects_equiv ?a ?s1 ?s2)))))))
16.5.3 nonocc_effect
Некоторое действие не имеет зависящих от события эффектов тогда и только тогда, когда преобразо
вание дерева событий, сохраняющее указанные эффекты действий, является тривиальным.
(forall (?а) (iff(nonocc_effects ?а)
(forall (?s1)
(implies (occurrence ?s1 ?a)
(exists (?s2)
(and (occurrence ?s2 ?a)
(tree_equiv ?s1 ?s2)
(not(effects_equiv?a?s1 ?s2))))))))
16.6 Грамматика событийных эффектов действий
Грамматика описаний процесса событийных эффектовдействий:
< occ_effect_axiom > :.=
(forall <?s)
(implies {< leaf_constrained_axiom > |< inner_constrained_axiom}
< simple_holds_axiom >))
< occ_depend_effect_axiom > ::=
(forall <?s)
(implies {< leaf_constrained_axiom > |< inner_constrained_axiom}
< ho!ds_axiom >))
21