ГОСТ Р ИСО 18629-42—2011
17 Эффекты действий: событийные ограничения
Данный раздел характеризует все определения, относящиеся к эффектам действий: событийные ог
раничения. Критерий, используемый для классификации указанных действий: зависят или нет эффекты
некоторогодействия от состояния до выполнения других действий.
17.1 Примитивная лексика эффектов действий: событийные ограничения
Лексика эффектовдействий (событийные ограничения) нетребует примитивных соотношений.
17.2 Описываемая лексика эффектов действий: событийные ограничения
В данном подразделе определены следующие соотношения:
- (quantum ?а);
- (semidassical ?а);
- (classical ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
17.3 Теории ядра, обусловленные эффектами действий: событийные ограничения
Для данныхдефинициоиальных расширений необходимы:
- occtree.th;
- psl_core.th.
17.4 Дефинициональные расширения, обусловленные эффектами действий: событийные
ограничения
Данное расширение не требует дефинициоиальных расширений.
17.5 Определения эффектов действий: событийные ограничения
Для эффектов действий определены нижеследующие понятия: событийные ограничения.
17.5.1 quantum
Некоторое действие является квантом действия тогда и только тогда, когда его эффекты зависят от
переменных, сохраняющих свое значение при выполнении других действий дерева, в особенности если
эффекты сохраняются при преобразованияхданногодерева событий, которое также сохраняет перемен
ные.
(forall (?а) (iff(quantum ?а)
(forall (?s1 ?s2)
(implies (and (occurrence ?s1 ?a)
(occurrence ?s2 ?a)
(state_equiv ?s1 ?s2)
(tree_equiv ?s1 ?s2))
(effects_equiv ?a ?s1 ?s2)))))
17.5.2 semidassical
Некоторое действие является полуклассическим действием тогда и только тогда, когда существуют
преобразования дерева событий, также сохраняющие переменные и эффекты действий.
(forall (?а) (iff (semidassical ?а)
(exists (?s1)
(and (occurrence ?s1 ?a)
(forall (?s2)
(implies (and (occurrence ?s2 ?a)
(state_equiv?s1 ?s2)
(tree_equiv?s1 ?s2))
(effects_equiv ?a ?s1 ?s2)))))))
17.5.3 classical
Некоторое действие является классическим тогда и только тогда, когда его эффекты не зависят от
выполнения каких-либодругихдействий на дереве событий.
(forall (?а) (iff (classical ?а)
(forall (?s1)
(implies (occurrence ?s1 ?a)
22