ГОСТ Р ИСО 18629-44 - 2011
- (provides quantity ?а ?г).
Каждое понятие обусловлено неформальной семантикой и некоторой
аксиомой KIF.
8.3 Теории, обусловленные совместным использованием ресурса
Для данной теории необходимы нижеследующие расширения:
- additive.th;
- requires.th;
- act occ.th;
- complex.th;
- subactivity.th;
- occtree.th;
- disc_state.th;
- psl..core.th.
8.4 Дефинициональные расширения, обусловленные совместным
использованием ресурса
Совместноеиспользованиересурсанетребуетникаких
дефинициональных расширений.
8.5 Определения для совместного использования ресурса
Для совместного использования ресурса определены нижеследующие
понятия.
8.5.1 consumes quantity
Некоторое действие потребляет некоторое количество ?q какого-либо
ресурса тогда и только тогда, когда запрос ресурса равен ?q и предоставление
ресурса уменьшается на ?q после завершения действия.
(forall (?а ?г?q) (iff (consumes_quantity ?а ?r ?q)
(forall (?q1 ?occ ?occ1 ?occ2)
(implies (and (do ?a ?occl ?occ2)
(holds (demand ?a ?r ?q) ?occl)
(holds (resourcejDoint ?r ?ql) ?occl))
(holds (resource_point ?r (- ?q1 ?q)) ?occ2)))))
8.5.2 strict_consumes_quantity
Некоторое действие строго потребляет некоторое количество какого-либо
ресурса тогда и только тогда, когда данный ресурс является непополняемым.
1о