ГОСТ Р ИСО 18629-44 - 2011
(res_requires ?а1 ?г1)
(occurrence_of ?occ2 ?a1)
(subactivity_occurrence ?occ2 ?occ1)))))))))
9.5.6 nondet_res activity
Некоторое действиеявляется действиемснедетерминированным
ресурсом тогда и только тогда, когда причина, по которой действие является
недетерминированным, — это недетерминированный выбор по отношению к
некоторому набору ресурсов.
(forall (?а) (iff (nondel_res_activity ?а)
(implies (choice_poset ?а)
(exists (?г1)
(nondet_select ?a ?r1)))))
10 Взаимозаменяемые ресурсы
Данныйразделхарактеризуетвсеопределения,обусловленные
взаимозаменяемыми ресурсами.
10.1 Примитивная лексика взаимозаменяемых ресурсов
Лексика взаимозаменяемых ресурсов не требует никаких примитивных
соотношений.
10.2 Определяемая лексика взаимозаменяемых ресурсов
Вданном подразделе определены следующие соотношения:
- (superpose select ?а);
- (homogeneous set ?а);
- (set contention ?a).
Каждое понятие обусловлено неформальной семантикой и некоторой
аксиомой KIF.
10.3 Теории, обусловленные взаимозаменяемыми ресурсами
Для данной теории необходимы:
- res set.th;
- additive .th;
- requires.th;
- act._occ.th;
- complex.th;
- subactivity.th;
25