ГОСТ Р ИСО 18629-44 - 2011
10.5.3 set_contention
Некоторое действие является конкурентным по отношению к какому-либо
ресурсу ?г тогда и только тогда, когда входные условия для данного действия
требуют, чтобы ?г был гомогенным набором и чтобы ?г был доступным.
(forall (?r ?s)
(implies (poss (set_contention ?r) ?s)
(and (forall (?a)
(implies (subactivity ?a (set_contention ?a))
(prior (homogeneous_set ?r ?a) ?s)))
(prior (available ?r (set_contention ?r)) ?s)))))
11 Гомогенные множества
Данныйразделхарактеризуетвсеопределения,обусловленные
гомогенными множествами.
11.1 Примитивная лексика гомогенных множеств
Лексикагомогенныхмножествнетребуетникакихпримитивных
соотношений.
11.2 Определяемые соотношения для гомогенных множеств
Вданном подразделе определены следующие соотношения:
- (pile?a);
- (stock ?а);
- (pool?a);
- (pool demand ?а);
- (uses_pile ?а ?г);
- (consumes_pile ?а ?г);
- (produces_pile ?а ?г).
Каждое понятие обусловлено неформальной семантикой и некоторой
аксиомой KIF.
11.3 Теории ядра, обусловленные гомогенными множествами
Для данной теории необходимы следующие теории ядра:
- res set.th;
- additive .th;
- requires.th;
z<