ГОСТ Р ИСО 18629-44 - 2011
(exists (?а ?i)
(and (inventory_pool ?г2 ?а)
(holds (resource_set ?i ?r2) ?occ)
(holds (in ?r1 ?i) ?occ))))))
14Действия обрабатывающей программы (процессора)
Данныйразделхарактеризуетвсеопределения,обусловленные
действиями процессора.
14.1 Примитивная лексика действий процессора
Лексикадействийпроцессоранетребуетникакихпримитивных
соотношений.
14.2 Определяемая лексика действий процессора
Вданном подразделе определены следующие соотношения:
- (processor activity ?осс);
- (processor resource ?r ?a);
- (input material ?r ?a);
- (output material ?r ?a).
Каждое понятие обусловлено неформальной семантикой и некоторой
аксиомой KIF.
14.3 Теории, обусловленные действиями процессора
Для данной теории необходимы:
- additive .th;
- requires.th;
- act._occ.th;
- complex.th;
- subactivity .th;
- occtree.th;
- disc state.th;
- psl_core.th.
14.4 Дефинициональные расширения, обусловленные действиями
процессора
Для данного расширения необходимы: res_role.def.
35