ГОСТ Р ИСО 18629-14—2011
8 Теория аддитивных ресурсов
Структура теории аддитивных ресурсов эквивалентна математической структуре упорядоченной
коммутативной группы.
8.1 Примитивные категории теории аддитивных ресурсов
Нелогическая лексика теории аддитивных ресурсов содержит одну следующую примитивную ка
тегорию. а именно:
- additive.
8.2 Примитивные функции в теории аддитивных ресурсов
В нелогической лексике теории аддитивных ресурсов содержится один примитивный символ
функции, а именно.
- plus.
8.3 Примитивные константы в теории аддитивных ресурсов
В нелогической лексике теории аддитивных ресурсов содержится один примитивный символ кон
станты, а именно:
- zero_quantity.
8.4 Примитивные отношения в теории аддитивных ресурсов
Нелогическая лексика теории аддитивных ресурсов содержит один примитивный символ отноше
ния. а именно:
- greater.
8.5 Базовые теории, необходимые для теории аддитивных ресурсов
Для теории аддитивных ресурсов необходима следующая базовая теория:
- psl-core.th.
8.6 Неформальная семантика теории аддитивных ресурсов
8.6.1 Примитивная категория additive
KIF-формат обозначения примитивной категории additive таков:
(additive ?q).
Неформальная семантика для примитивной категории additive такова:
(additive ?q) в интерпретации теории аддитивных объемов принимает значениеTRUE тогда и толь
ко тогда, когда ?q является элементом упорядоченной группы.
8.6.2 Примитивный символ функции plus
KIF-формат обозначения примитивного символа функции plus таков:
(plus ?q1 ?q2).
Неформальная семантика для примитивного символа функции plus такова:
(= ?q3 (plus ?q1 ?q2)) в интерпретации теории аддитивныхобъемов принимает значение TRUE тог
да и только тогда, когда ?q3 является суммой объемов ?q1 и ?q2 в упорядоченной группе.
8.6.3 Примитивный символ константы zoro_quantity
KIF-формат обозначения примитивного символа константы zero_quantity таков:
zero_quantity.
Неформальная семантика для примитивного символа константы zero_quantity такова:
(= ?q zero_quantity) в интерпретации теории аддитивных объемов принимаетзначение TRUE тогда
и только тогда, когда константа zero_quantity является единицей в упорядоченной группе.
8.6.4 Примитивный символ отношения greater
KIF-формат обозначения примитивного символа отношения greater таков:
(greater ?q1 ?q2).
Неформальная семантика для примитивного символа отношения greater такова:
(greater ?q1 ?q2) в интерпретации теории аддитивных объемов принимает значение TRUE тогда и
только тогда, когда объем ?q1 больше объема ?q2 в упорядоченной группе.
8.7 Аксиомы теории аддитивных ресурсов
Ниже приведен набор аксиом теории аддитивных ресурсов.
8.7.1 Аксиома 1
Константа zero_quantity является аддитивной:
(additive zero_quantity).
9