ГОСТ РИС018629-43—2011
< schedule
_
formula >)
< partial
_
schedule
_
axiom > ::= (forall (?s ?occ < variable >+)
< partial
_
schedule
_
sentence >))
<schedule
_
formula >({implies | and} < subocc
_
formula >
<delayjiteral >)
< schedule
_
axiom > ::= < schedule
_
formula> |
(and < schedule
_
axiom > < schedule
_
axiom >+)
< partial
_
scbedule
_
formula > ::= ({implies | and} < subocc
_
formula >
<delay
_
interval
_
axiom >)
< partial
_
schedule
_
sentence >
<partial
_
schedule
_
formula> |
(and < partial
_
schedule
_
sentence > < partial
_
schedute
_
sentence >♦)
15 Эффекты, основанные на продолжительности
Данный раздел характеризует все определения, обусловленные эффектами, основанными на продол
жительности.
15.1 Примитивная лексика эффектов, основанных на продолжительности
Л
ексика эффектов, основанных на продолжительности, не требует никаких примитивных соот
ношений.
15.2 Описываемая локсика эффектов, основанных на продолжительности
Вданном подразделе определены следующие соотношения:
- (duration
_
effects ?а);
- (partial
_
duration
_
effocts ?а):
- (nonduration
_
effects ?а).
Каждое понятие определяется неформальной семантикой иаксиомами KIF.
15.3 Теории ядра, обусловленные эффектами, основанными на продолжительности
Дляданной теории необходимы:
- duration.th;
- disc
_
state.th:
- occtree.th;
- psl
_
core.th.
15.4 Дефинициональные расширения, обусловленные эффектами, основанными на про
должительности
Для эффектов, основанных на продолжительности, необходимы нижеследующие дефинициональные
расширения:
- actdur.def:
- effects.def.
15.5 Определения эффектов, основанных на продолжительности
Для эффектов, основанныхна продолжительности, определены нижеследующие понятия.
15.5.1 duration
_
offocts
Некотороедействие имеет эффекты, основанные на продолжительности, при условии: если когда-
либо какие-либодва события согласованы попродолжительности, то они согласованы и поэффектам (то
есть по состоянию, сохраняющемуся после события).
(forall (?а) (iff(duration
_
effects ?а)
(forall (?s1 ?s2)
(implies(and(occurrence ?s1 ?a)
(occurrence ?s2 ?a)
(dur
_
equiv?s1 ?s2))
(effects
_
equiv?a ?s1 ?s2)))))
21