ГОСТР ИСО 18629-43—2011
15.5.2 partial
_
duration
_
offects
Некоторое действие частично ограничено по продолжительности тогда и только тогда, когда суще
ствуют сохраняющие эффект автоморфизмы продолжительности.
(forall (?а) (iff(partial
_
duration
_
effects ?а)
(and (exists (?s1)
(forall (?s2)
(implies (and (occurrence ?s1 ?a)
(occurrence ?s2 ?a)
(dur
_
equiv?s1 ?s2))
(effects
_
equiv ?a ?s1 ?s2))))
(exists (?s3 ?s4)
(and (occurrence ?s3 ?a)
(occurrence ?s4 ?a)
(dur
_
equiv ?s3?s4)
(not (effects
_
equiv ?a ?s3?s4)))))))
15.5.3 nonduration
_
constraints
Некоторое действие имеет эффекты непродолжительности тогда итолько тогда, когда единственный
сохраняющий эффект автоморфизм продолжительности являетсятривиальным.
(forall (?а) (iff(nonduration
_
effects?а)
(forall (?s1)
(implies (occurrence ?s1 ?a)
(exists (?s2)
(and (occurrence ?s2 ?a)
(dur
_
equiv?s1 ?s2)
(not (effects
_
equiv ?a ?s1 ?s2))))))))
15.6 Грамматика эффектов, основанных на продолжительности
Грамматика описаний процессадля эффектов, основанных на продолжительности.
<duration
_
effect
_
axiom > ::= (forall (?s)
(implies (and (occurrence ?s <term >)
<duration„literal >)
<simple
_
holds
_
axiom >)))
< partial
_
dur
_
effect >(forall (< variable >*)
(implies (and (occurrence <variable > < term >)
< interval
_
axiom >)
< simple
_
holds
_
axiom >)))
16 Эффекты действий, основанные на продолжительности и времени
Данный раздел характеризует все определения, обусловленные эффектами действий, основанными
на продолжительности и времени.
16.1 Примитивная лексика эффектов действий, основанных на продолжительности и
времени
Л
ексика эффектовдействий, основанных на продолжительности и времени, не требует никаких при
митивныхсоотношений.
16.2 Описываемая лексика эффектов действий, основанных на продолжительности и
времени
В данном подразделе определены следующие соотношения:
- (maintain
_
effects ?а);
-(partial
_
maintain ?а);
- (nonmaintain ?а).
Каждоепонятие определяется неформальной семантикой и аксиомами KIF.
22