ГОСТ Р ИСО 18629-14—2011
6.8.5 Аксиома 5
Функции resourco_point. demand и agg_demand отображают ресурсы на аддитивные объемы для
каждого элемента операции.
(foraii <?r?sj
(ift
(and (resource ?r)
(activity_occurrence ?s)}
(and (additive (resource_point ?r ?s))
(additive (demand ?r ?s))
(additive (agg_demand ?r ?s)))))
7 Теория комплектности ресурсов
Данная теория описывает совокупность ресурсов в различных комплектах (группах), которые яв
ляются комплектами, чьи элементы являются ресурсами и которые сами по себе являются ресурсами
для определенной операции. Они обозначаются переменной (флюеитной) функцией (resource_set ?i
?г), которая связывает комплект ?i с соответствующим ресурсом ?г. Реальный комплект может изме
няться при введении новых ресурсов и выведении старых. Каждый ресурс, который является
комплектным, связан с уникальным комплектом ресурсов.
7.1 Примитивные функции в теории комплектности ресурсов
Нелогическая лексика теории комплектности ресурсов содержит один примитивный символ функ
ции. а именно:
- resource_set.
7.2 Определяющие функции в теории комплектности ресурсов
Нелогическая лексика теории комплектности ресурсов содержит два определяющих символа
функции, а именно.
- in_resource_set;
- resource_subset
7.3 Базовые теории, необходимые для теории комплектности ресурсов
Для теории комплектности ресурсов необходимы следующие базовые теории:
- additive.th;
- requires.th;
- act_occ.th; -
complex.th;
- subactivity.th;
- occtree.th;
- disc_state.th;
- psl_core.th.
7.4 Дефинициональные расширения, необходимые для теории комплектности ресурсов
Никаких дефинициональных расширений в теории комплектности ресурсов не требуется.
7.5 Неформальная семантика теории комплектности ресурсов
7.5.1 Примитивный символ функции resource_set
KIF-формат обозначения примитивного символа функции resource_set таков:
(resource_set ?i ?r).
Неформальная семантика для примитивного символа функции resource_set такова:
(prior (resource_set ?i ?r) ?occ) в интерпретации теории комплектности ресурсов принимает значе
ние TRUE тогда и только тогда, когда комплект ?i связан с ресурсом ?г до выполнения операции ?осс.
7.5.2 Определяющий символ функции in_resource_set
KIF-формат обозначения определяющего символа функции in_resource_set таков:
(in_resource_set ?г1 ?г2).
Неформальная семантика для определяющего символа функции in_resoorce_set такова:
(prior (in_resource_set ?r1 ?г2) ?осс) в интерпретации теории комплектности ресурсов принимает
значение TRUE тогда и только тогда, когда ресурс ?г1 является элементом комплекта, связанного с ре
сурсом ?г2. до элемента операции ?осс.
7