ГОСТ Р 59791—2021
Пунктирная линия, соединяющая понятия [Cat] и [Pet], является соединением кореферентности, которое
указывает на то, что обе этих концепции относятся к одному и тому же объекту. В CGIF соединение показано опре
деляющей меткой *х в концепции [Cat:*x] и связанной меткой ?х в концепции [Pet: ?х]:
[If: [Cat: *х] [Mat: *у] (On ?х ?у)
[Then: [Pet: ?х] [Happy: *z] (Attr ?x ?z) ]]
В основном синтаксисе CGIF метки типов If и Then заменяются символом отрицания ~ перед открывающей
скобкой, а метки типов — монадическими отношениями:
~[ [*х] [*у] (Cat ?х) (Mat ?у) (On ?х ?у)
~[ [*z] (Pet ?х) (Happy ?z) (Attr ?x ?z) ]]
CLIF:
(not (exists (x y) (and (Cat x) (Mat y) (On x y)
(not (exists (z) (and (Pet x) (Happy z) (Attr x z)))))))
В основном синтаксисе CGIF единственный квантор — это квантор существования. В расширенном синтак
сисе CGIF кванторы всеобщности могут использоваться для представления логически эквивалентного высказыва
ния «For every cat and every mat, if the cat is on the mat, then it s a happy pet» («Для каждой кошки и каждой лежанки
действует правило: если кошка находится на лежанке, это счастливое домашнее животное»). В расширенном
син таксисе CGIF квантор всеобщности представлен символом @every:
[Cat: @every *х] [Mat: @every *y]
[If: (On ?x ?y) [Then: [Pet: ?x] [Happy: *z] (Attr ?x ?z) ]]
CLIF:
(forall ((x Cat) (y Mat))
(if (On x y) (and (Pet x) (exists ((z Happy)) (Attr x z)))))
В CG функции представлены концептуальными отношениями, называемыми действующими субъектами. На
рисунке Б.З показана форма отображения CG для следующего уравнения, записанного обычными алгебраически ми
символами:
у = (х + 7)/sqrt(7)
Три функции в этом уравнении будут представлены тремя действующими субъектами, которые показаны на
рисунке Б.З в виде узлов в форме ромба с метками типа Add, Sqrt и Divide. Поля представляют собой узлы концеп ций,
которые содержат входные и выходные значения действующих субъектов. Две пустых концепции содержат
выходные значения Add и Sqrt.
Рисунок Б.З — Функции CL, представленные узлами действующими субъектами
В CGIF действующие субъекты представлены в виде отношений с двумя типами дуг: последовательность
входных дуг и последовательность выходных дуг, разделенных вертикальной чертой:
[Number: *х] [Number: *у] [Number: 7]
(Add ?х 7 | [*u]) (Sqrt 7 | [*v]) (Divide ?u ?v | ?y)
В форме отображения входные дуги Add и Divide имеют номера 1 и 2, которые обозначают порядок записи
дуг в CGIF. Ниже приведен соответствующий синтаксис CLIF:
(exists ((х Number) (у Number))
(and (Number 7) (= у (Divide (Add x 7) (Sqrt 7)))))
Для представления меток кореферентности *u и *v не требуются переменные CLIF, поскольку функциональ
ная запись, используемая в CLIF, отображает соединения напрямую.
Все семантические особенности CL, включая возможность количественной оценки отношений и функций,
поддерживаются CGIF. Например, кто-то может сказать: «Bob and Sue are related» («Боб и Сью — родственники»), но
не уточнять, кем именно они друг другу приходятся. Согласно следующим высказываниям на CGIF и CLIF, су
ществует некоторая семейная связь г между Бобом и Сью:
35