ГОСТ Р 59791—2021
техническому регулированию и метрологии в сети Интернет или по ежегодному информационному указателю «На
циональные стандарты», который опубликован по состоянию на 1 января текущего года, и по выпускам ежемесяч
ного информационного указателя «Национальные стандарты» за текущий год. Если заменен ссылочный стандарт, на
который дана недатированная ссылка, то рекомендуется использовать версию этого стандарта с учетом всех
внесенных в данную версию изменений. Если заменен ссылочный стандарт, на который дана датированная ссыл ка,
то рекомендуется использовать версию этого стандарта с указанным выше годом утверждения (принятия). Если
после утверждения настоящего стандарта в ссылочный стандарт, на который дана датированная ссылка, внесено
изменение, затрагивающее положение, на которое дана ссылка, то это положение рекомендуется применять без
учета данного изменения. Если ссылочный стандарт отменен без замены, то положение, в котором дана ссылка на
него, рекомендуется применять в части, не затрагивающей эту ссылку.
3 Термины и определения
В настоящем стандарте применены следующие термины с соответствующими определениями.
С целью использования в своих стандартах международные организации ИСО и МЭК поддержи
вают терминологические базы данных:
- платформа ИСО для онлайн-просмотра: доступна по адресу:
http://www.iso.org/obp;
- платформа МЭК Электропедия (IEC Electropedia): доступна по адресу:
http://www.electropedia
.
org/.
3.1
аксиома
(axiom): Любое высказывание (3.15), утверждение или текст, которые считают ис
тинными, из которых происходят другие высказывания, утверждения или тексты, либо которые сами
вытекают из таких высказываний, утверждений или текстов.
П р и м е ч а н и е — В вычислительной среде аксиома — это высказывание, которое никогда не требуется
доказывать и которое само используют для доказательства других высказываний.
3.2
концептуальный граф;
CG (conceptual graph; CG): Графическое или текстовое отображение
символов, упорядоченных в соответствии со стилем теории концептуальных графов (3.3).
3.3
теория концептуальных графов
(conceptual graph theory): Форма логики первого порядка,
которая представляет собой квантор существования и конъюнкцию посредством утверждения логиче
ских конструктов, называемых понятиями и отношениями, которые организованы в абстрактный или
визуально отображенный граф.
3.4
CLIF
(CLIF): Текстовый формализм первого порядка с использованием основанной на LISP
списочной записи.
П р и м е ч а н и я
1 Это один из конкретных синтаксисов CL (описан в приложении А).
2 CLIF — это синтаксис на основе языка KIF, который применен в настоящем стандарте в иллюстративных
целях. KIF (формат обмена знаниями), представленный Майклом Генесеретом [1], возник в рамках инициативы по
обмену знаниями, спонсируемой Управлением перспективных исследовательских проектов Министерства оборо
ны США. Название «KIF» не относится к этому синтаксису, чтобы отличить его от обычно используемых диалектов
KIF. В настоящем стандарте отсутствуют какие-либо допущения относительно семантики KIF; в частности, не пред
полагается тождественность между CLIF и KIF.
3 Исторически аббревиатура CLIF означала Common Logic Interchange Format (Общий формат обмена дан
ными логики). Тем не менее CLIF не имеет привилегированного положения среди диалектов CL (3.7), как может
показаться из полного названия. Кроме того, рекомендуемым форматом обмена в сети Интернет является XCL.
3.5
формат обмена концептуальными графами
(conceptual graph interchange format): Тексто
вая версия концептуальных графов (3.2).
П р и м е ч а н и е — Иногда этот термин может иметь отношение к примеру символьной строки, соответству
ющей приложению Б и предназначенной для передачи точно такой же структуры и семантики, что и эквивалентный
концептуальный граф.
3.6
денотат
(denotation): Связь между именем или выражением и предметом, к которому оно от
носится.
П р и м е ч а н и е — Также используют для обозначения именуемой вещи, то есть отсылает к имени или
выражению.
3.7
диалект общей логики
(CL dialect): Определенный экземпляр синтаксиса CL, который ис
пользует единую семантику CL или ее часть.
2