ГОСТ Р ИСО 18629-13-2011
Отсутствуют.
9.3 Связь с другими группами аксиом
К базовым теориям, которые необходимы для теории оболочки
операций, относятся:
- pslcore.th;
- occtree.th;
- subactivity.th;
- atomic .th;
- complex.th;
- actocc.th.
Дефинициональное расширение, требуемое в теории оболочки операций,
таково:
— embedding.def.
9.4 Неформальная семантика теории оболочки операций
9.4.1 Примитивный символ отношения envelope
KIF-формат обозначения символа отношения envelope таков:
(envelope ?а1 ?а2 ?s)
Неформальная семантика для символа отношения envelope такова:
(envelope ?а1 ?а2 ) в интерпретации теории оболочки операции
принимает значение TRUE тогда и только тогда, когда дерево операций для
операции ?а2 с корневым узлом ?s содержит все внешние элементы операции,
возникающей для допускаемых элементов операции ?а1.
9.4.2 Примитивный символ отношения umbra
KIF-формат обозначения элементарного символа отношения umbra
таков:
(umbra ?а1 ?а2)
Неформальная семантика для символа отношения umbra такова:
(umbra ?а1 ?а2) в интерпретации теории оболочки операции принимает
значение TRUE тогда и только тогда, когда дерево операций для операции ?а2
2В