ГОСТ Р ИСО 18629-14—2011
7.5.3 Определяющий символ функции resource_subset
KIF-формат обозначения определяющего символа функции resource_subset таков:
(resource_subset ?г1 ?г2).
Неформальная семантика для определяющего символа функции resource_subset такова:
(prior (resource_subset ?г1 ?г2) ?осс) в интерпретации теории комплектности ресурсов принимает
значение TRUE тогда и только тогда, когда комплект ресурсов ?г1 является субкомплектом комплекта
ресурсов set ?г2 (т. е. каждый элемент комплекта, связанный с ресурсом ?г1. является элементом ком
плекта. связанного с ресурсом ?г2) до выполнения операции ?осс.
7.6 Аксиомы теории комплектности ресурсов
Ниже приведен набор аксиом теории комплектности ресурсов.
7.6.1 Аксиома 1
Если ?i является комплектом ресурсовдля элемента операции ?осс. тодля каждого элемента это
го комплекта существует операция, которая требует элемента res_requires как ресурса.
(foraii (?i ?г ?осс)
(implies
(prior (resource_set ?i ?r) ?occ)
(forall (?rp)
(implies (set_member ?rp ?i)
(exists (?a)
(res_requires ?a ?rp)))))>)
7.6.2 Аксиома 2
Комплект росурсов требуется тем же операциям, которые требуютэлементов комплекта ресурсов
res_requires.
(foraИ(?i ?г1 ?г2 ?а ?осс)
(Implies (and (prior (resource_set ?l ?r1) ?осс)
(set_member ?r2 ?i)
(res_requires ?а ?r2)>
(res_requires ?а ?г1)))
7.6.3 Аксиома 3
Комплект ресурсов соответствует уникальному набору ресурсов.
(foraи(?И ?i2 ?г ?осс)
(Implies (and(prior (resource_set ?i1 ?r) ?occ)
(prior (resource_set ?I2 ?r) ?occ))
(“ ?I1 ?12))))
7.7 Определения теории комплектности росурсов
7.7.1 Определение 1
Ресурс ?г1 является ресурсом ?г2 в комплекте ресурсов, если ?г1 является элементом комплекта
?i, связанного с ресурсом ?г2.
(foraII (?г1 ?г2 ?осс)
(iff (holds (ln_resource_set ?г1 ?r2) ?occ)
(exists (?l)
(and (set_member ?r1 ?i)
(holds (resource_set ?i ?r2) ?occ))))))
7.7.2 Определение 2
Комплектресурсов ?r1 являетсясубкомплектом ресурса ?г2. если каждый элементкомплекта, свя
занный с ресурсом ?г1. является элементом комплекта, связанного с ресурсом ?г2.
(foraII (?г1 ?г2 ?осс)
(iff (holds (resource_subset ?r1 ?r2) ?ooc)
(forall (?r ?i1 ?I2)
(and (holds (resource_set ?i1 ?r1) ?occ)
(holds (resource set ?i2 ?r2) ?occ)
(set_member ?r ?H))
(set_member ?r ?i2)))))
8