ГОСТ Р ИСО 18629-42—2011
- (unachievable ?f);
- (bounded ?f).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
19.3 Теории ядра, обусловленные деревом флюента
Для данных дефинициомальных расширений необходимы:
- occtree.th;
- psl_core.th.
19.4 Дефинициональные расширения, обусловленные деревом флюента
Для данных расширений необходимы:
- occ_precond.def;
- state_precond.def:
- precond.def.
19.5 Определения дерева флюента
Для дерева флюента определены нижеследующие понятия.
19.5.1 achieved
Флюента ?fприобретает значение (архивируется) в результате события ?осс при условии, что она не
сохраняется до наступления события, но реально сохраняется после события.
(forall (?f?осс) (iff (achieved ?f?occ)
(and (holds ?f ?occ)
(not(pnor?f?occ)))))
19.5.2 falsified
Флюента ?fявляется фальсифицированной (теряетзначение) в результате события ?осспри условии,
что она сохраняет значение до наступления события, но теряет его после наступления события.
(forall (?f ?осс) (iff (falsified ?f ?occ)
(and (not (holds ?f ?occ))
(prior ?f?occ))))
19.5.3 irreversible
Флюента является необратимой, если она никогда не фальсифицируется.
(forall (?0 (iff(irreversible ?f)
(not (exists (?occ)
(falsified ?f?occ)))))
19.5.4 nonachievablo
Флюента является неархивируемой. если она никогда не принимает никаких значений.
(forall (?0 (iff(unachievable ?f)
(not (exists (?occ)
(achieved ?f?occ)))))
19.5.5 bounded
(forall (?f) (iff(bounded ?f)
(exists (?occ1 ?occ2)
(and (achieved ?f ?occ1)
(falsified ?f?occ2)))))
19.6 Грамматика описаний процесса для дерева флюента
Нижеследующие грамматические утверждения определяют описания процесса, установленные в KIF
для дерева флюента.
20Распределение комплексных действий
Данный раздел характеризует все определения, обусловленные распределением комплексныхдей
ствий. Критерий, используемый для классификации указанныхдействий: ограничено или нет в некотором
смысле действительное событие, заключающееся в выполнении комплексного действия.
25