ГОСТ Р ИСО 18629-13-2011
- psl_core.th;
- occtree.th;
- atomic.th;
- complex.th;
- actocc.th.
Никакихдефинициональныхрасширенийвтеорииупорядочения
элементов субопераций не требуется.
6.4Неформальнаясемантика теорииупорядочения элементов
субопераций
6.4.1Примитивный символ отношения soo
KIF-формат обозначения примитивного символа отношения soo таков:
(soo ?s ?а).
Неформальная семантика для примитивного символа отношения soo
такова:
(soo ?s ?а) 8 интерпретации теории упорядочения элементов субопераций
принимает значение TRUE тогда и только тогда, когда элемент операции ?s
является элементом субоперации, упорядоченным для операции ?а.
6.4.2 Примитивный символ отношения soo_precedes
KIF-форматобозначенияпримитивногосимволаотношения
soo_precedes таков:
(soo„precedes ?s1 ?s2 ?a).
Неформальнаясемантика дляпримитивногосимвола отношения
soojsrecedes такова:
(soo. precedes ?s1 ?s2 ?а) в интерпретации теории упорядочения
элементов субопераций принимает значение TRUE тогда и только тогда, когда
элемент операции ?s1 предшествует элементу операции ?s2 в элементе
субоперации, упорядоченном для операции ?а. Это отношение определяет
частичноеупорядочениепо элементамсубопераций длякомплексной
операции.
11