ГОСТ Р 59791—2021
Б.2.5 Концепт
Определение: пара
c=(R,g),
где
R
должна быть определяющей меткой или набором из нуля или большего
количества ссылок,
а д
— концептуальным графом, который, как ожидается, содержится непосредственно в с.
CL:
cg2cl(c)
должна быть высказыванием s, определяемым одним из первых трех представленных ниже
вариантов.
Контекст. Если
R
имеет пустое значение, то
s=cg2cl{g).
В этом случае с следует называть
контекстом.
Существование. Если
д
имеет пустое значение, a
R
— это определяющая метка, то высказывание s должно
быть количественным высказыванием типа существования с набором имен
{cg2cl{R)}
и основным текстом, со
стоящим из логического высказывания типа конъюнкция и нулевых элементов. В этом случае с следует называть
концептом существования.
Кореферентность. Если
д
имеет пустое значение, a
R
— это набор из одной или нескольких ссылок, тогда
г
может быть любой ссылкой в
R.
Высказывание s должно быть логическим высказыванием типа конъюнкция, ком
поненты которого представляют собой набор уравнений с первым членом
cg2cl(r)
и вторым членом
cg2cl(t)
для
каждой ссылки
t
в
R-{r}.
В этом случае с следует называть концептом кореферентности.
Синтаксически неверно. Случаи, когда
д
и
R
не имеют пустых значений, не допускаются в основном синтак
сисе CGIF, поэтому процедура перевода в CL не определена.
CGIF:
concept = context | existentialConcept | coreferenceConcept;
context = "[", [comment], CG, [endComment],
existentialConcept = "[",
coreferenceConcept =
"[",
[comment], "*", (CGname | seqmark),
[endComment],"]";
[comment],{reference}-,
[endComment],"]";
Контекст должен быть концептом, содержащим CG; если CG имеет пустое значение, контекст считается
пустым, даже если содержит один или несколько комментариев. Любой комментарий, который находится сра зу
после открывающей скобки, должен быть частью концепта; все остальные комментарии должны быть частью
вложенного CG. Концепт кореферентности должен содержать одну или несколько констант или связанных меток
кореферентности; в EBNF итерация, за которой следует знак минус, после которого ничего не стоит, указывает по
крайней мере одну итерацию.
Комментарий: контекст представлен парой скобок, которые служат для ограничения области кванторов
вложенного CG; пустой контекст [ ] переводится в CLIF как (and) и по определению является истинным. Концепт
существования представлен концептом [*х], который переводится в CLIF как (exists (х) (and)); это высказывание
утверждает, что существует определенный х. Концепт кореферентности представлен концептом, которая содержит
набор констант или связанных меток кореферентности, например [: ?х Cicero Tully ?abcd], который переводится в
CLIF как конъюнкция уравнений:
(and (= х Cicero) (= х Tully) (= х abed))
Концепт кореферентности с одной ссылкой, например [:?х], стал бы пустым союзом (and). Поскольку этот
концепт не имеет семантического воздействия, его можно удалить.
Б.2.6 Концептуальный граф (CG)
Определение: тройная переменная g=(C,R,A), где С — это набор концептов, R — набор концептуальных
отношений, а А — набор дуг, должен состоять только из всех дуг, которые встречаются в последовательности дуг
определенного концептуального отношения в R. Если С и R имеют пустые значения, А также остается пустым, a g
называется пустым концептуальным графом.
CL: Пусть
Е
будет подмножеством С концепции существования,
а X
— множеством всех концептов, концеп
туальных отношений и отрицаний
д,
кроме представленных в
Е.
Пусть
В
— это логическое высказывание типа конъюнкции с компонентами, состоящими из всех высказыва
ний
cg2cl(x)
для каждого х в X.
Если
Е
имеет пустое значение, то
cg2cl(g)
представляет собой
В.
Если £ имеет не пустое значение, то
cg2cl(g)
является количественным высказыванием типа существования с
набором имен, состоящим из CGname определяющей метки кореферентности каждого
ев Ес
основным текстом
В.
CGIF:
CG = {concept | conceptualRelation | negation | comment};
Концептуальный граф состоит из неупорядоченного набора концептов, концептуальных отношений, отрица
ний и комментариев. Формально отрицание — это пара из концепта и концептуального отношения, которые в CGIF
никогда не разделяют.
Комментарий: согласно настоящему стандарту каждый CG сопоставляется либо с количественным высказы
ванием типа существования, либо с логическим высказыванием типа конъюнкции. Если конъюкция имеет только
один компонент, то высказывание может быть упрощено до равенства, атомарного или логического высказывания
типа отрицания. Если
д
имеет пустое значение, оно переводится в CLIF как (and) и по определению является истин
ным. Хотя отсутствует требование упорядочивать узлы CG, определенное программное обеспечение, обрабатыва-
40