ГОСТ Р ИСО 18629-14—2011
6.3 Определяющие отношения в теории потребности в ресурсах
Нелогическая лексика теории потребности в ресурсах содержитодин определяющийсимвол отно
шения. а именно.
- resource.
6.4 Базовые теории, необходимые для теории потребности в ресурсах
Для теории потребности в ресурсах необходимы следующие базовые теории:
- additive.th:
- act_occ.th;
- complex.th;
- subactivity.th;
- occtree.th;
- disc_state.th;
- psl_core.th.
6.5 Дофинициональные расширения, необходимые для теории потребности в ресурсах
Никаких дефинициональных расширений в теории потребности в ресурсах не требуется.
6.6 Неформальная семантика теории потребности в ресурсах
6.6.1 Примитивный символ отношения requires
KIF-формат обозначения примитивного символа отношений res_requires таков:
(res_requires ?а ?г)
Неформальная семантика для примитивного символа отношения res_requires такова:
(res_requires ?а ?г) в интерпретации теории потребности в ресурсах принимает значение TRUE
тогда итолькотогда, когда ?гявляетсяобъектом, присутствующим вэлементе операции ?а. такчто объ
ект ?г ограничивает операции, содержащие операцию ?а как субоперацию.
6.6.2 Примитивный символ функции resource_point
KIF-формат обозначения примитивного символа функции resource_point таков:
(resource_point ?r ?s).
Неформальная семантика для примитивного символа функции resource_point такова:
(= ?q (resource_point ?r ?s) в интерпретации теории потребности в ресурсах принимает значение
TRUE тогда и только тогда, когда ?q является объемом ресурса?г, который доступен для неделимого
элемента операции ?s.
П р и м е ч а н и е — Примитивный символ функции resource_point содержит элемент операции в виде аргу
мента. Поскольку элементы операции обладают уникальными временными точками начала begnof и конца endof.
временные ограничения на характеристики ресурсов могут выражаться с помощью временного интервала, в кото
ром соответствующая операция имеет место.
6.6.3 Примитивный символ функции demand
KIF-формат обозначения примитивного символа функции demand таков:
(demand ?r ?s).
Неформальная семантика для примитивного символа функции demand такова:
(= ?q (demand ?r ?s)) в интерпретации теории потребности в ресурсах принимает значение TRUE
тогда и только тогда, когда ?q является объемом ресурса ?г, который связан с неделимым элементом
операции ?s.
П р и м е ч а н и е — Примитивный символ функции demand содержит элемент операции в виде аргумента.
Поскольку элементы операции обладают уникальными временными точками начала beginof и конца endof. вре
менные ограничения на характеристики ресурсов могут выражаться с помощью временного интервала, в котором
соответствующая операция имеет место.
6.6.4 Примитивный символ функции agg_demand
KIF-формат обозначения примитивного символа функции agg_demand таков:
(agg_demand ?r ?s).
Неформальная семантика для примитивного символа функции agg_demand такова:
(= ?q (agg_demand ?r ?s)) в интерпретации теории потребности в ресурсах принимает значение
TRUE тогда и только тогда, когда ?q является совокупным спросом на ресурс ?г перед неделимым эле
ментом операции ?s.
5