ГОСТ Р ИСО 18629-44 - 2011
11.5.6 consumes_pile
«Множество» потребляется по отношению к некоторому действию тогда и
только тогда, когда данное действие потребляет некоторое количество данного
ресурса в объединенном ресурсе (необходимо помнить, что объединенные
ресурсы сами являются ресурсами).
(forall (?а ?r ?q) (iff (consumes_pile ?а ?r ?q)
(and (pile ?r ?a)
(consumes_quantity ?a ?r ?q)))))
11.5.7 produces_pile
«Множество» производится по отношению к некоторому действию тогда и
только тогда, когда данное действие производит некоторое количество данного
ресурса в объединенном ресурсе (необходимо помнить, что объединенные
ресурсы сами являются ресурсами).
(forall (?а ?r ?q) (iff (produces_pile ?а ?r ?q)
(and (pile ?r ?a)
(produces_quantity ?a ?r ?q)))))
12 Объединенные ресурсы
Данныйразделхарактеризуетвсеопределения,обусловленные
объединенными ресурсами.
12.1 Примитивная лексика объединенных ресурсов
Лексика объединенных ресурсов не требует никаких примитивных
соотношений.
12.2 Определяемая лексика объединенных ресурсов
Вданном подразделе определены следующие соотношения:
- (resource pool ?а);
- (conservative „pool ?а);
- (materiaLpool ?а).
Каждое понятие обусловлено неформальной семантикой и некоторой
аксиомой KIF.
12.3 Теории, обусловленные объединенными ресурсами
Для данной теории необходимы:
- res_set.th;
30