ГОСТ Р ИСО 18629-42—2011
10.6 Грамматика описаний процесса для предотвращаемых условий выполнения действий
Нижеследующие грамматические утверждения определяют описания процессов, установленные в
KIF для предотвращаемых условий выполнения действий:
< preventable_precond > ::=
(forall (?s)
({implies | iff}
(and (occurrence ?s < term >)
(legal ?s)
(ubiquitous < term > < term >)
< simple_state_axiom >)
{< leaf_constrained_axiom > |< inner_constrained_axiom}))
< possibly_preventable_precor>d > ::=
(forall (?s)
({implies | iff}
(and (occurrence ?s < term >)
(legal ?s)
(ubiquitous < term > < term >)
< state_axiom >)
{< leaf_constrained_axiom > |< inner_constrained_axiom}))
11 Периодические входные условия выполнения действий
Данный раздел характеризует все определения, обусловленные периодическими входными условия
ми выполнения действий. Критерий, используемый для классификации указанных действий: зависит или
нетдействительное выполнение некоторого действия от времени его выполнения и от выполнения других
действий.
11.1 Примитивная лексика периодических входных условий выполнения действий
Лексика периодических входных условий выполнения действий не требует примитивных соотно
шений.
11.2 Описываемая лексика периодических входных условий выполнения действий
В данном подразделе определены следующие соотношения:
- (periodic ?а):
- (intermittent ?а):
-(apenodic ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
11.3 Теории, обусловленные периодическими входными условиями выполнения действий
Для данной теории необходимы:
- occtree.th;
- psl_core.th.
11.4 Дефинициональные расширения, обусловленные периодическими входными
условиями выполнения действий
Для данных расширений необходимы:
- occ_precond.def.
-time_precond.def;
- precond.def.
11.5 Определения периодических входных условий выполнения действий
Для периодических входных условий выполнения действий определены нижеследующие понятия.
11.5.1 periodic
Некоторое действие является периодическим тогда и только тогда, когда допустимые события зави
сят от времени выполнения другихдействий.
14