ГОСТ Р ИСО 18629-43—2011
8 Продолжительность, основанная на состоянии
Данный раздел характеризует все определения, обусловленные продолжительностью, основанной
на состоянии.
8.1 Примитивная лексика продолжительности, основанной на состоянии
Л
ексика продолжительности, основанной насостоянии, нетребует никакихпримитивных соотноше
ний.
8.2 Определяемые соотношения для продолжительности, основанной на состоянии
В данном подразделе определены следующие соотношения
- (conditional
_
duration ?а);
- (context
_
duration ?а);
- (unconditional
_
du ration ?а).
Каждое понятие определяется неформальной семантикой и аксиомами KIF.
8.3 Теории ядра, обусловленные продолжительностью, основанной на состоянии
Дляданныхдефинициональных расширений необходимы:
- duration.th.
- disc
_
state.th;
- occtree.th;
- psl
_
core.th.
8.4 Дофинициональные расширения, обусловленные продолжительностью, основанной на
состоянии
Нижеследующие дефинициональные расширения обусловлены продолжительностью, основанной на
состоянии:
- actdur.def.
- state
_
precond.def.
8.5 Определения продолжительности, основанной на состоянии
Для расширения основанной насостоянии продолжительности определены нижеследующие поня
тия.
8.5.1 conditional
_
duration
Некоторое действие имеет условную продолжительность приограничении: если когда-либо двасобы
тия согласованы посостоянию, то они согласованы и по продолжительности.
(forall (?а) (iff(conditional
_
duration ?а)
(forall (?осс1 ?осс2)
(implies (and (occurrence ?ocd ?а)
(occurrence ?осс2 ?а)
(state
_
equiv ?осс1 ?осс2))
(dur
_
equiv ?осс1 ?осс2))))
8.5.2 context
_
duration
Некотороедействие имеет контекстную продолжительность тогда и толькотогда, когда существуют
сохраняющие продолжительностьпеременные автоморфизмы.
(forall (?а) (iff(context
_
duration ?а)
(and (exists (?occ1)
(forall (?occ2)
(implies(and (occurrence ?occ1 ?a)
(occurrence ?occ2 ?a)
(state
_
equiv ?occ1 ?occ2))
(dur
_
equiv ?occ1 ?occ2))))
(exists (?occ3 ?occ4)
(and (occurrence ?occ3 ?a)
10