ГОСТР ИС0 18629-43—2011
(forail (?осс1 ?осс2)
(=(delay ?осс1 ?осс2) (duration (beginof ?ocd)(beginof ?осс2))))
7.5.3 dur
_
equiv
Два события являются эквивалентными попродолжительности тогда итолькотогда, когда ихпродол
жительность одинакова.
(forail (?осс1 ?осс2) (iff(dur
_
equiv?осс1 ?осс2)
(=(dur ?осс1)(dur ?осс2)))))
7.5.4 delay
_
equiv
Два события эквивалентны по задержке тогда и только тогда, когда существует третье событие с
такой же задержкой.
(forail (?ocd ?осс2) (iff(delay
_
equiv ?осс1 ?осс2)
(exists (?осс)
(= (delay ?осс ?ocd) (delay ?осс ?осс2)))))
7.5.5 constant
Некоторое действиеявляется константойтогда и только тогда, когда все события имеют одинаковую
продолжительность.
(forail (?а) (iff(constant ?а)
(forail (?осс1 ?осс2)
(implies (and (occurrence ?осс1 ?а)
(occurrence ?осс2 ?а))
(dur
_
equiv ?осс1 ?осс2)))))
7.5.6 interval
_
duration
Некоторое действие имеет продолжительность интервала тогда и только тогда, когда существуют
события, имеющиеодинаковую продолжительность.
(forail (?а) (iff(interval
_
duration ?а)
(forail (?ocd)
(implies (occurrence ?осс1 ?а)
(exists (?осс2)
(and (occurrence?осс2 ?а)
(dur
_
equiv ?осс1 ?осс2)))))))
7.5.7 variable
Некоторое действие является переменным тогда и только тогда, когда все события имеют разную
продолжительность.
(forail (?а) (iff(variable ?а)
(not (exists (?ocd ?осс2)
(and (occurrence ?осс1 ?а)
(occurrence ?осс2 ?а)
(dur
_
equiv?осс1 ?осс2))))))
7.6 Грамматика ограничений продолжительности событий
Нижеследующие грамматические утверждения даютописания технологического процесса ивспомо
гательных правил, определенныхв KIFдля ограничений продолжительностисобытий.
< constant
_
spec > ::= (forail (?осс)
(implies (occurrence ?осс < term >)
< durationjiteral >))
<interval
_
spec > ::= (forail (?occ)
(implies (occurrence ?occ < term >)
< interval
_
axiom >))
< durationjiteral > ::= (= (dur ?occ) < term >)
< intervaljiteral > ::= (lesser (dur ?occ) <term >) |
(lesser < term > (dur ?occ))
< interval
_
axiom >::= < intervaljiteral > |
(not <interval
_
axk>m >) |
((and |or} <interval
_
axiom >*) |
((implies | iff} < interval
_
axiom >)
9