ГОСТР ИС0 18629-43—2011
10.1 Примитивная лексика временной продолжительности и продолжительности, осно
ванной на состоянии
Л
ексика временной продолжительности ипродолжительности, основанной на состоянии, не требует
никакихпримитивныхсоотношений.
10.2 Описываемая лексика временной продолжительности и продолжительности, основан
ной на состоянии
Вданном подразделе определены нижеследующие соотношения.
- (mixed
_
duration ?а);
- (nondet
_
mixed
_
duration ?а);
- (ngid
_
mixed
_
duration ?а).
Каждоепонятиеопределяется неформальной семантикой и аксиомами KIF.
10.3 Теории ядра, обусловленные вромонной продолжительностью и продолжительностью,
основанной на состоянии
Дляданных дефинициональных расширений необходимы:
- duration.th;
- disc
_
state;
- occtree.th;
- psl
_
core.th.
10.4 Дофинициональные расширения, обусловленные временной продолжительностью и
продолжительностью, основанной на состоянии
Дляданного расширения необходимо иметь нижеследующиедефинициональные расширения:
- actdur.def.
- time
_
precond.def:
- state
_
precond.def.
10.5 Определения временной продолжительности и продолжительности, основанной на
состоянии
Определены нижеследующие понятия для временной продолжительности ипродолжительности, ос
нованной на состоянии.
10.5.1 mixed
_
duration
Некоторое действие является действием со смешанной продолжительностью при условии: если
когда-либодва событиясогласованы по величинам и моментам времени их начала, то они согласованы и
попродолжительности.
(forall (?а) (iff(mixed
_
duration ?а)
(forall (?осс1 ?осс2)
(implies (and (occurrence ?осс1 ?а)
(occurrence ?осс2 ?а)
(state
_
equiv?occ1 ?осс2)
(begin
_
equiv ?осс1 ?осс2))
(dur
_
equrv ?осс1 ?осс2))))
10.5.2 nondet
_
mixed
_
duration
Некоторое действие является недетерминированным действием сосмешанной продолжительностью
тогда и только тогда, когдасуществуют сохраняющие продолжительность переменный автоморфизм иав
томорфизмначала.
(forall (?а) (iff(nondet
_
mixed
_
duration ?а)
(and (exists (?ocd)
(forall (?осс2)
(implies (and (occurrence ?occ1 ?a)
(occurrence ?occ2 ?a)
(state
_
equiv?occ1 ?occ2)
(begin
_
equiv?occ1 ?occ2))
(dur
_
equiv?occ1 ?occ2))))
13