ГОСТ Р ИСО 18629-12—2010
Рисунок 1 — Зависимости тлежду наборами аксиом внешнего ядра PSL
6 Теория ядра подчиненной деятельности
Подчиненнаядеятельность (subactivity) предоставляет аксиомыдля понятий композиции процессов.
Единственным ограничением данной теории ядра является то, чтоотношение подчиненной деятельности
изоморфно дискретному частичному упорядочению. В других теорияхядра установлены дополнительные
ограничения.
6.1 Примитивные отношения
Нелогическая лексика теории ядра подчиненной деятельности включает всебя следующийсимвол
отношения:
- subactivity (отношение подчиненной деятельности).
6.2 Установленные отношения
Нелогическая лексика теории ядра подчиненнойдеятельности включает в себя следующий символ
установленного отношения:
- primitive (примитивный элемент).
6.3 Связь сдругими наборами аксиом
В теории ядра подчиненной деятельности используется теория pslcore.th, установленная
в ИСО 18629-11.
Лексикадефиницийдля теории ядра подчиненной деятельности не требуется.
6.4 Неформальная семантика
6.4.1 Подчиненная деятельность
Обозначение KIF символа subactivity:
{subactivity ?al ?а2)
6