ГОСТ Р ИСО 18629-44 - 2011
(forall (?r ?а) (iff (resource_pool ?r ?а)
(forall (?i ?occ)
(implies (holds (resource_set ?i ?r) ?occ)
(and (pile ?r ?a)
(pool ?r ?a)
(forall (?q3)
(implies (holds (min_capacity ?a ?r ?q3) ?occ)
(lesser ?q3 (cardinality ?i)))))))))
12.5.2 conservative_pool
Объединение ресурсов является консервативным по отношению к
некоторому действию тогда и только тогда, когда запрос на объединенный
ресурс равен количеству, которое используется или потребляется.
(forall (?а ?r) (iff (conservative_pool ?а ?г)
(and (resource_pool ?r ?а)
(forall (?q)
(iff (pool_demand ?a ?r ?q)
(or (uses_pile ?a ?r ?q)
(consumes_pile ?a ?r ?q)))))))
12.5.3 material_pool
Объединение материалов представляет собой объединение ресурсов по
отношению к некоторому действию тогда и только тогда, когда объединение
ресурсов обусловливает количество по отношению к заданному действию.
(forall (?r ?а) (iff (materiaLpool ?r ?а)
(and (resource_pool ?r ?a)
(exists (?q)
(provides_quantity ?a ?r ?q))))
13 Набор материально-производственных ресурсов
Данный раздел характеризует все определения, обусловленные набором
материально-производственных ресурсов.
13.1 Примитивная лексика набора материально-производственных
ресурсов
Лексика набора материально-производственных ресурсов не требует
никаких примитивных соотношений.
13.2 Определяемая лексика набора материально-производственных
ресурсов
Вданном подразделе определены следующие соотношения:
- (inventory .resource ?s1 ?s2 ?a);