ГОСТ Р ИСО 18629-44 - 2011
- (possibly reusable ?r ?а);
- (renewable ?r ?a);
- (weakly reusable ?r ?a);
- (consumable ?a);
- (possibly consumable ?r ?a);
- (weakly consumable ?r ?a);
- (wearable ?r ?a).
Каждое понятие обусловлено неформальной семантикой и некоторой аксиомой
KIF.
6.3 Теории ядра, обусловленные назначением ресурса
Для данного расширения необходимы:
- additive .th;
- requires.th;
- act, occ.th;
- complex.th;
- subactivity.th;
- occtree.th;
- disc state.th;
- psl core.th.
6.4Дефинициональныерасширения,обусловленныеназначением
ресурса
Назначения ресурса не требуют никаких дефинициональных расширений.
6.5 Определения понятий для назначения ресурса
Для назначения ресурса определены нижеследующие понятия.
6.5.1 reusable
Какой-либо ресурс ?г может быть использован повторно действием ?а, если
какое-либо другое действие, также требующее ?г, может выполниться после
завершения выполнения ?а в любом случае в будущем.
Пример - Повторно используемым ресурсом может быть станок, не требующий
повторного запуска между действиями. Как только одно действие закончено, всегда
9