ГОСТ Р ИСО 18629-44 - 2011
(forall (?а2 ?осс1 ?осс2)
(implies (and (common ?а1 ?a2 ?r)
(subactivity ?a1 ?a)
(subactivity ?a2 ?a)
(occurrence_ot ?occ2 ?ai))
(forall (?b
(implies (exists (?occ3)
(and (subactivity_occurrence ?occ3 ?b)
(occurrence_of ?b ?a)
(precedes ?occ2 ?occ3))
(not (poss ?a2 ?occ3)))))))
7 Согласованность действий, основанная на емкости ресурса
Данныйразделхарактеризуетвсеопределения,обусловленные
согласованностью действий, основанной на емкости ресурса.
7.1 Примитивная лексика согласованности действий, основанной на
емкости ресурса
Лексика согласованности действий, основанной на емкости ресурса, не
требует никаких примитивных соотношений.
7.2 Определяемая лексика понятий для согласованности действий,
основанной на емкости ресурса
Вданном подразделе определены следующие соотношения:
- (exclusive use ?а ?г);
- (capacity, based ?а ?г);
- (unary resource ?r);
- (capacitated ?r);
- (uniform demand ?r ?q);
- (layput ?r ?a).
Каждое понятие обусловлено неформальной семантикой и некоторой
аксиомой KIF.
7.3 Теории, обусловленные согласованностью действий, основанной
на емкости ресурса
Для данной теории необходимы:
14