ГОСТ Р ИСО 18629-42—2011
29.6 Грамматика описаний процесса для встроенных действий: временной разброс
Нижеследующие грамматические утверждения определяют описания процесса, установленные в KIF
для встроенныхдействий: временной разброс.
< spread_axiom > ::= (forall (?s ?осс < variable >*)
< simple_spread_axiom >)
< partial_spread_axiom > ::= (forall (?s ?occ < variable >+)
< partial_spread_axiom >))
< spread_formula > ::= (implies < subocc_formula >
< simple_time_axiom >)
< simple_spread_axiom > ::= < spread_formula> |
(and < simple_spread_axiom > < simple_spread_axiom >+)
< partial_spread_formula > ::= (implies < subocc_formula >
< time_axiom >)
< partial_spread_axiom >< partial_spread_formula> |
(and < partial_spread_axiom > < partial_spread_axiom >+)
30 В ариац ия н е д е л и м ы х в ве р х д е й стви й
Данный раздел характеризует все определения, обусловленные вариацией неделимых вверх дей
ствий.
30.1 Примитивная лексика вариации неделимых вверх действий
Лексика вариации неделимых вверх действий не требует примитивных соотношений. Критерий, ис
пользуемый для классификации указанныхдействий: зависят или нет входные условия неделимых дей
ствий от входных условий супердействий для указанногодействия.
30.2 Описываемые соотношения вариации неделимых вверх действий
В данном подразделе определены следующие соотношения:
- (state_filter ?а);
- (partial_state_filter ?а);
- (rigid_state_filter ?а);
- (time_filter ?а):
- (partial_time_filter ?а);
- (rigid_time_filter ?а);
- (state_nonfilter ?а);
- (partial_state_nonfilter ?а);
- (rigid_state_nonfilter ?а);
- (time_nonfilter ?а):
- (partial_time_nonfilter ?а);
- (rigid_time_nonfilter ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
30.3 Теории, обусловленные вариацией неделимых вверх действий
Для данной теории необходимы:
- occtree.th;
- psl_core.th.
30.4 Дефинициональные расширения,обусловленныевариацией неделимыхвверх
действий
Для данных расширений необходимы:
- occ_precond.def.
- state_precond.def:
- precond.def.
30.5 Определения вариации неделимых вверх действий
Для вариации неделимых вверхдействий определены нижеследующие понятия.
41