ГОСТ Р 59791—2021
CG на рисунке Б.1 имеет четыре концепции, каждая из которых имеет
метку типа,
представляющая со
бой тип объекта, к которому относится концепция: Person, Go, Boston и Bus. У двух концептов есть
константы,
которые идентифицируют объекты: John и Boston. Каждое из трех концептуальных отношений имеет метку типа,
которая представляет тип отношения: Agnt — агент перемещения, Inst — инструмент, Dest — пункт назначения. CG в
целом указывает на то, что John является агентом перемещения, Boston — пунктом назначения, a bus — инстру
ментом. Ниже показано представление CGIF на рисунке Б.1:
[Go: *х] [Person: John] [City: Boston] [Bus: *y]
(Agnt ?x John) (Dest ?x Boston) (Inst ?x ?y)
В CGIF концепции представлены квадратными скобками, а концептуальные отношения — круглыми. Строка
символов, перед которой стоит символ звездочки, например *х, является определяющей меткой, на которую можно
ссылаться с помощью связанной метки ?х, перед которой стоит вопросительный знак. Эти строки, которые в CGIF
называются метками кореферентности, соответствуют переменным в CLIF. Если перед определяющей меткой не
стоит символ @every, она переводится в квантор существования. Ниже приведено эквивалентное представление
CLIF рисунка Б.1:
(exists ((х Go) (у Bus))
(and (Person John) (city Boston)
(Agnt x John) (Dest x Boston) (Inst x y)))
Как показывает этот пример, различия между CGIF и CLIF связаны со структурой графа: узлы графа не име
ют неявного упорядочивания, а метки кореферентности, такие как *х или ?х, обозначают соединения узлов, а не
переменных. Обратите внимание, что CGIF использует префиксы * и ?, чтобы отличать метки кореферентности от
констант, но в CLIF никаких синтаксических характеристик для различения переменных и констант не используется.
Рисунок Б.1 и его представление в CGIF иллюстрируют расширенный синтаксис CGIF, который добавляет
метки типов к концепциям и несколько других синтаксических расширений к основному синтаксису. Для преоб
разования расширений расширенного синтаксиса в основной синтаксис CGIF метки типов в узлах концепций за
меняются отношениями, связанными с этими узлами. Например, концепция [Go:*x] становится нетипизированной
концепцией [*х] и концептуальным отношением (Go ?х). Концепция [Person: John] становится [:John] (Person John),
что можно упростить до отношения (Person John). Ниже приведен основной синтаксис CGIF и соответствующий
синтаксис CLIF:
[*х] [*у]
(Go ?х) (Person John) (City Boston) (Bus ?y)
(Agnt ?x John) (Dest ?x Boston) (Inst ?x ?y)
(exists (x y)
(and (Go x) (Person John) (City Boston) (Bus y) (Agnt x John) (Dest x Boston) (Inst x y)))
Для иллюстрации контекстов и логических операторов на рисунке Б.2 показана форма отображения выска
зывания
If a cat is on a mat, then it is a happypet (Если кошка сидит на лежанке,
значит,
она
— счастливое домаш нее
животное,). Как и на рисунке Б.1, прямоугольники представляют собой концептуальные узлы, но два больших
прямоугольника содержат вложенные концептуальные графы. Любая концепция, содержащая вложенный CG, на
зывается контекстом; в этом примере метки типа If и Then указывают, что предложение, сформулированное CG в
контексте if, подразумевает предложение, сформулированное CG в контексте then. Отношение Attr указывает на то,
что кошка, которую также называют домашним животным, имеет атрибут — счастье.
Рисунок Б.2 — Форма отображения CG для высказывания
«If a cat is on a mat, then it is a happy pet»
34