ГОСТР ИС0 18629-43—2011
(occurrence ?оссЗ ?а)
(state
_
equiv ?оссЗ ?осс4)
(not (dur
_
equiv?оссЗ ?осс4)))))))
8.5.3 unconditional
_
duration
Некоторое действие имеет безусловнуюпродолжительность тогда итолько тогда, когдасохраняющие
продолжительность переменные автоморфизмы тривиальны.
(forall (?а) (iff(unconditional
_
duration ?а)
(forall (?ocd)
(implies (occurrence ?осс1 ?а)
(exists (?осс2)
(and (occurrence ?осс2 ?а)
(state
_
equiv ?осс1 ?осс2)
(not (dur
_
equiv ?осс1 ?осс2))))))))
8.6 Грамматика продолжительности, основанной на состоянии
Нижеследующие грамматические утверждения даютописаниятехнологического процесса ивспомо
гательных правил, определенных в KIF для продолжительности, основанной на состоянии.
<cond
_
dur
_
spec >(forall (?осс)
(implies (and (occurrence ?occ < torm >)
< simple
_
state
_
axiom >)
< durationjiteral >))
< context
_
dur
_
spec > ::= (forall (?occ)
(implies (and (occurrence ?occ < term >)
< state
_
axiom >)
<durationjiteral >)) |
(forall (?occ)
(implies (and (occurrence ?occ < term >)
< simple
_
state
_
axiom >)
<intervaljiteral >))
9 Временная продолжительность
Данный раздел характеризует все определения, обусловленные временной продолжительностью.
9.1 Примитивная лексика временной продолжительности
Л
ексика временной продолжительности не требует никакихпримитивных соотношений.
9.2 Определяемые соотношения временной продолжительности
Вданном подразделе определеныследующие соотношения:
-(rushhour?a);
- (weekend ?а);
- (gridlock ?а).
Каждоепонятиеопределяется неформальной семантикой и аксиомами KIF.
9.3 Теории ядра, обусловленные временной продолжительностью
Дляданныхдефинициональных расширений необходимы:
-duration.th:
- occtree.th;
- psl
_
core.th.
9.4 Дефинициональныо расширения, обусловленные временной продолжительностью
Дляданного расширения необходимо иметьactdur.def иtime
_
precond.def.
9.5 Определения временной продолжительности
Для временной продолжительности определены нижеследующиепонятия.
11