ГОСТ Р 59791—2021
ющее CGIF, может работать более эффективно, если определяющие метки кореферентности будут располагаться
перед соответствующими связанными метками. Самый простой способ соблюсти это условие — переместить кон
цепты существования на передний план любого контекста.
Б.2.7 Концептуальное отношение
Определение: Пара cr=(r,s), в которой
г
должна выступать в роли ссылки под названием
метка типа сг,
as — в роли последовательности дуг.
CL:
cg2cl(ac)
должна быть атомарным высказыванием с предикатом
cg2cl(r)
и последовательностью терми
нов
cg2cl(s).
CGIF:
conceptualRelation = ordinaryRelation | actor;
[comment], [ "#","?"], CGname,
ordinaryRelation =
arcSequence,
[endComment],
Обычное концептуальное отношение содержит только одну последовательность дуг. Действующий субъект
разбивает последовательность дуг на две подпоследовательности. Связанная метка кореферентности, которая
используется в качестве метки типа, должна начинаться со строки «#?» или «#?».
Комментарий: за счет того, что метка типа концептуального отношения может быть связанной меткой, CGIF
сохраняет возможности CL для выполнения количественной оценки отношений и функций. В качестве примера см.
CGIF в завершающей части Б.1.2, где описано высказывание «Bob and Sue are related».
Б.2.8 Отрицание
Определение: пара
ng=(c,cr),
в которой с должно быть концептом, а
сг
— концептуальным отношением, мет
ка типа г которого должна быть константой с CGname Neg. Пара (с,
сг)
должна рассматриваться как единое целое.
CL:
cg2cl(ng)
должна быть логическим высказыванием типа отрицания с компонентом
cg2cl(g).
CGIF:
negation =context;
Отрицание должно начинаться с символа «~». Хотя отрицание формально определяется как пара, состоя
щая из контекста и концептуального отношения, элементы пары не должны выражаться в CGIF в качестве отдель
ных узлов.
Комментарий: отрицание отрицает предложение, сформулированное вложенным концептуальным графом
д.
В качестве примера см. CGIF на рисунке Б.2. Отрицание пустого CG, записанное в форме ~[], всегда ложно; со
ответствие в формате CLIF: (not (and)).
Б.2.9 Ссылка
Определение: пара
г=(т,п),
где
п
является именем CG,
am
—
маркером,
который обозначает
константу
или
связанную метку.
CL:
cg2cl(r)
должна быть именем
п.
Маркер
т
должен иметь значение «?» для связанной метки и пустой
строки «» для константы.
CGIF:
reference = ["?"], CGname;
Этот синтаксис ссылок идентичен основному и расширенному форматам CGIF. Любое имя CG, которое со
стоит из namesequence в кавычках, трансформируется в имя CL путем удаления кавычек. Все остальные имена CG
идентичны соответствующим именам CL. Маркеры последовательности в CLIF и CGIF идентичны.
Комментарий: Поскольку ссылки в основном и расширенном форматах CGIF идентичны, в Б.З не приведены
дополнительные синтаксические правила для ссылок.
Б.2.10 Область применения
Определение: набор контекстов S, связанных с концептом х, который имеет определяющую метку с именем
CG
п.
Следующие термины используют при определении ограничений для определяющих меток в основном и рас
ширенном форматах CGIF:
- константа, имя CG без префикса;
- связанная метка корефенетности, имя CG с префиксом «?»;
- связанная метка последовательности, маркер последовательности с префиксом «?»;
- связанная метка, связанная метка корефенетности или связанная метка последовательности;
- определяющая метка корефенетности, имя CG с префиксом «*»;
- определяющая метка последовательности, маркер последовательности с префиксом «*»;
- определяющая метка, определяющая метка корефенетности или определяющая метка последователь
ности.
Согласно этому определению, определяющая метка последовательности должна начинаться со строки
«*...», а связанная метка последовательности — со строки «?...».
Ограничения: глагол «содержит» следует определять как транзитивное замыкание отношения «непосред
ственно содержит». Он должен удовлетворять следующим ограничениям в основном и расширенном форматах
CGIF.
41