ГОСТ Р ИСО 18629-42—2011
< simple_time_literal > ::=
< simple_time_formula > ::=
< simple_time_axiom > ::=
< ordered_timeJiteral > ::=
< time formula > ::=
< time axiom > ::=
(forall (?s)
(implies (and (legal ?s)
< simpte_time_axiom >)
(legal (successor < term > ?s))))
< time_precond > ::=(forall (?s)
(implies (and (occurrence ?s < term >)
(legal ?s))
< time_axiom >))) |
(forall (?s)
(implies (and (legal ?s)
< time_axiom >)
(legal (successor < term > ?s))))
(= (beginof ?s) < term >)
(and < simple_time_literal >*)
({forall | exists} < variable >*) < simple_time_formula >)
< simple_time_literal > |
(before (beginof ?s) < term >) |
(before < term > (beginof ?s))
< ordered_time_literal > |
(not < time_formula >) |
({and | or} < time_formula >*) |
({implies | iff} < time_formula >)
({forall | exists} < variable >*) < time_formula >)
8 Временные и основанные на состоянии входные условия
Данный раздел характеризует все определения, обусловленные временными и основанными на со
стоянии входными условиями. Критерий, используемый для классификации указанных действий: зависит
или нет действительное выполнениедействия от состояния до указанного события и от времени выполне
ния действия.
8.1 Примитивная лексика временных и основанных на состоянии входных условий
Лексика временных и основанных на состоянии входных условий не требует примитивных
соотношений.
8.2 Описываемая лексика временных и основанных на состоянии входных условий
В данном подразделе описаны нижеследующие соотношения:
- (mixed_precond ?s);
- (partial_mixed ?s);
- (rigid_mixed ?s).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
8.3 Теории, обусловленные временными и основанными на состоянии входными условиями
Для данной теории необходимы:
- disc_state.th;
- occtree.th;
- psl_core.th.
8.4 Дефинициональныерасширения,обусловленныевременнымииоснованными
на состоянии входными условиями
Для временных и основанных на состоянии входных условий дефинициональные расширения не
требуются.
8.5 Определения временных и основанных на состоянии входных условий
Нижеследующие понятия определеныдля временных и основанных на состоянии входных условий.
9