ГОСТ Р ИСО 18629-42—2011
13.6 Грамматика эффектов действий
Нижеследующие грамматические утверждения определяют описания процесса, установленные в KIF
для эффектовдействий:
< context_free_effect > ::= (forall (?s)
(implies (occurrence ?s)
< simple_holds_axiom >))
< null_effect > ::=(forall (?s)
(implies (occurrence ?s)
(iff < simple_holds_axiom >
< simple_state_axiom >)))
< simple_holds_literal > ::= (holds < term > ?s)
< simple_holds_formula > ::= < simple_holds_literal > |
(not < simp»e_holds_formula >) |
({and |or) <simple_holds_formula >*) |
({implies | iff} < simp!e_holds_formula >)
< simple_holds_axiom > ::= ({forall | exists) < variable >*)
< simple_holds_formula >)
14 Основанные на состоянии эффекты действий
Данный раздел характеризует всеопределения, обусловленные основанными на состоянии эффекта
ми действий. Критерий, используемый для классификации указанныхдействий: зависят или нет эффекты
некоторогодействия от состояния до выполнения указанныхдействий.
14.1 Примитивная лексика основанных на состоянии эффектов действий
Лексика основанных на состоянии эффектовдействий не требует примитивных соотношений.
14.2 Описываемая лексика основанных на состоянии эффектов действий
В данном подразделе определены следующие соотношения:
- (markov_effect ?а);
- (partial_state_effect ?а);
- (rigid_state_effect ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
14.3 Теории ядра, обусловленные основанными на состоянии эффектами действий
Для данных дефинициональных расширений необходимы:
- occtree.th;
- psl_core.th.
14.4 Дефинициональные расширения, обусловленные основанными на состоянии
эффектами действий
Нижеследующее дефинициональное расширение необходимодля основанных на состоянии эффек
товдействий:
- precond.def.
14.5 Определения основанных на состоянии эффектов действий
Определены нижеследующие понятия для основанныхна состоянии эффектовдействий.
14.5.1 markov_effect
Некоторое действие является действием с марковским эффектом при условии, если когда-либо ка
кие-либо два выполненных действия согласуются по состоянию (например, по состоянию, сохраняемому
после выполнения действия), то они согласуются и по эффектам.
(forall (?а) (iff(markov_effects ?а)
(forall (?s1 ?s2)
(implies (and (occurrence ?s1 ?a)
(occurrence ?s2 ?a)
(state_equiv ?s1 ?s2))
(effects_equiv ?a ?s1 ?s2)))))
18