ГОСТ Р ИСО 18629-44 - 2011
Примечание-Ресурс, определяемый емкостью, можно разделить между
несколькимидействиями.
7.5.3 unary resource
Какой-либо ресурс является унарным тогда и только тогда, когда для всех
действий, требующих данный ресурс, он является эксклюзивным.
(forall (?r) (iff (unary_resource ?r)
(forall (?a)
(implies (res_requires ?a?r)
(exclusive_use ?a ?r))))))
7.5.4 capacitated_resource
Какой-либо ресурс имеет ограниченную пропускную способность тогда и
только тогда, когда все действия, требующие данный ресурс, имеют
ограниченную емкость.
(forall (?r) (iff (capacitated_resource ?г)
(forall (?а)
(implies (res_requires ?а?r)
(capacity_based ?a ?r))))>)
7.5.5 uniform_demand
Некоторое действие выполняет унифицированный запрос на какой-либо
ресурс тогда и только тогда, когда запрос данного ресурса один и тот же во
всех случаях.
(forall (?а ?r ?q) (iff (uniform_demand ?а ?r ?q)
(forall (?occ)
(holds (demand ?a ?r ?q) ?occ)))))
7.5.6 layout
Некоторое действие является раскладочным для некоторого ресурса
тогда и только тогда, когда его запрос зависит от эффектов других действий.
(forall (iff (layout ?r ?a)
(forall (?q ?occ1 ?occ2)
(not (iff (holds (demand ?r ?a ?q) ?occ2)
(holds (demand ?r ?a ?q) ?occ1))))))))
Пример - Два действия при выпечке кексов могут быть совместными, если
кексы размещаются по краю печи. Действия не могут быть совместными, если
кексы находятся в середине печи.
8 Совместное использование ресурса
16