ГОСТ Р ИСО 18629-44 - 2011
(and (subactivity ?а2 ?а)
(consumes_quantity ?а2 ?r ?q))))))
8.5.16 provides
Некоторое действие обеспечивает какой-либо ресурс тогда и только тогда,
когда оно обеспечивает некоторое количество какого-либо ресурса.
(forall (?а ?r) (iff (provides ?а ?г)
(exists (?q)
(provides_quantity ?а ?r ?q))))
9 Действия, обусловленные набором ресурсов
Данныйразделхарактеризуетвсеопределениядлядействий,
обусловленных набором ресурсов.
9.1 Примитивнаялексикадействий,обусловленныхнабором
ресурсов
Лексика действий, обусловленных набором ресурсов, не требует никаких
примитивных соотношений.
9.2 Определяемаялексикадействий,обусловленныхнабором
ресурсов
Вданном подразделе определены следующие соотношения:
- (nondet select ?а);
- (nondet, set select ?a);
- (nondet quantity select ?a);
- (res requires set ?a);
- (res requires _full__set ?a);
- (nondet. res activity ?a).
Каждое понятие обусловлено неформальной семантикой и некоторой
аксиомой KIF.
9.3 Теории для действий, обусловленных набором ресурсов
Для данной теории необходимы:
- res set.th;
- additive .th;
- requires.th;
- act_occ.th;
22