ГОСТР ИСО 18629-43—2011
(exists (?оссЗ ?осс4)
(and (occurrence ?оссЗ?а)
(occurrence ?оссЗ ?а)
(begin
_
equiv ?оссЗ?осс4)
(state
_
equiv ?осс1 ?осс2)
(not (dur
_
equiv?оссЗ ?осс4)))))))
10.5.3 rigid
_
mixed
_
duration
Некоторое действие является жестким действием сосмешанной продолжительностью тогда итолько
тогда, когдасохраняющие продолжительность переменный автоморфизм иавтоморфизм начала являются
тривиальными.
(forall (?a)(iff(rigid
_
mixed
_
duration ?а)
(forall (?ocd)
(implies (оссипепсе ?осс1 ?а)
(exists (?осс2)
(and (occurrence ?осс2?а)
(begin
_
equiv?осс1 ?осс2)
(state
_
equiv ?осс1 ?осс2)
(not(dur
_
equiv?occ1 ?осс2))))))))
10.6 Грамматика временной продолжительности и продолжительности, основанной на
состоянии
Нижеследующие грамматические утверждениядают описания технологического процесса, опреде
ленные в KIF для временной продолжительности ипродолжительности, основанной насостоянии.
< mix
_
dur
_
spec > ::= (forall (?осс)
(implies (and (occurrence ?occ < term >)
< simple
_
mix
_
axiom >)
< durationjiteral >))
< nondet
_
mix
_
dur
_
spec > ::= (forall (?occ)
(implies (and (оссилепсе ?occ < term >)
< mix
_
formula >)
<durationjiteral >)) |
(forall (?occ)
(implies (and (occurrence ?occ < term >)
< simple
_
mix
_
axiom >)
< interval Jiteral >))
11 Упорядочивание и ограничения продолжительности событий
Данный раздел характеризует все определения, обусловленныеупорядочиванием и ограничениями
продолжительности событий.
11.1 Примитивная лексика упорядочивания и ограничений продолжительности событий
Л
ексика упорядочивания и ограничений продолжительности событий нетребует примитивных соотно
шений.
11.2 Описываемая лексика упорядочивания и ограничений продолжительности событий
В данном подразделе определены нижеследующие соотношения.
- (ordered
_
duration ?а);
- (partial
_
ordered
_
duration ?а);
- (unordered
_
d иration ?а).
Каждое понятие определяется неформальной семантикой иаксиомами KIF.
11.3 Теории ядра, обусловленные упорядочиванием и ограничениями продолжительности
событий
Дляданных дефинициональных расширений необходимы:
-duration.th;
14