ГОСТ Р ИСО 18629-44 - 2011
(forall (?r ?а) (iff (stock ?r ?а)
(and (homogeneous_set ?r ?a)
(forall (?q ?occ)
(implies (prior (demand ?a ?r ?q) ?occ)
(exists (?il ?r1)
(and (=?q (cardinality ?i1))
(prior (resource_set ?i1 ?r1) ?occ)
(res_requires_set ?a ?r1)))))
(forall (?q3)
(implies (prior (agg_demand ?r ?q3) ?occ)
(= ?q3 (cardinality ?•)))))
11.5.3 pool
Какой-либо набор ресурсов является объединенным по отношению к
некоторому действию тогда и только тогда, когда он является гомогенным
набором по отношению к данному действию, а запрос объединенного ресурса
равен количеству элементов поднабора.
(forall (?r ?а) (iff (pool ?r ?а)
(and (homogeneous_set ?r ?a)
(forall (?q ?occ)
(implies (prior (demand ?a ?r ?q) ?occ)
(exists (?i1 ?П)
(and (subset ?i1 ?i)
(= ?q (cardinality ?i1))
(prior (resource_set ?i1 ?r1) ?occ)
(res_requires_set ?a ?r1))))))
11.5.4 pool_demand
Объединенный ресурс используется некоторым действием тогда и только
тогда, когда данное действие использует некоторое количество данного
объединенного ресурса (необходимо помнить, что объединенные ресурсы сами
являются ресурсами).
(forall (?а ?r ?q) (iff (pool_demand ?а ?r ?q)
(and (pool ?r ?a)
(forall (?q1 ?occ)
(implies (holds (demand ?a ?r ?q1) ?occ)
(=?q ?q1))))
11.5.5 uses_pile
«Множество» используется некоторым действием тогда и только тогда,
когдауказанноедействиеиспользуетнекотороеколичестводанного
объединенного ресурса (необходимо помнить, что объединенные ресурсы сами
являются ресурсами).
(forall (?а ?r ?q) (if (uses_pile ?а ?r ?q)
(and (pile ?r ?a)
(uses_quantity ?a ?r ?q))))
29