ГОСТ Р 59791—2021
4 Обозначения и сокращения
4.1 Обозначения
В настоящем стандарте используются следующие обозначения:
fun/
— сопоставление от UR/до функций от UD/* до LID,;
/— интерпретация в теоретико-модельном смысле;
inti
— сопоставление от имен в словаре V до UR,; неформально является средством соот
несения имен в V с референтами в URy;
relf
— сопоставление от UR/до подмножеств UD/*;
7
se< /— сопоставление от маркеров последовательности в V до UD/*;
X
— лексикон, который состоит из словаря, набора маркеров последовательности (Smark)
и набора заголовков (Ttl);
V— словарь, который представляет собой набор имен;
Smark— набор маркеров последовательности;
Ttl— набор заголовков;
UD/— вселенная дискурса; непустое множество единиц, которые описывает интерпретация /
и по которым ранжируются кванторы;
UR/— исходная вселенная, т. е. совокупность всех референтовимен в интерпретации /;
X*— множество конечных последовательностей элементов X для любого множества X. Та
ким образом, X* = {<х1,...,хл> | x1,...,xn е X}, для любого
п >
0. Обратите внимание, что
пустая последовательность находится в X* для любого X.
4.2 Сокращения
В настоящем стандарте используются следующие сокращения:
CL— общая логика (Common Logic);
CG— концептуальный граф;
DF— форма отображения;
EBNF— формат расширенной формы Бэкуса-Наура (по аналогии с [2]);
FO— первый порядок (первого порядка);
KIF— формат обмена знаниями;
OWL— язык веб-онтологий;
RDF— структура описания ресурсов;
RDFS— схема структуры описания ресурсов;
TFOL— традиционная логика первого порядка;
XML— расширяемый язык разметки.
5 Требования и обзор структуры
5.1 Требования
5.1.1 Общая логика (Common Logic, CL) должна включать полную логику первого порядка с ра
венством.
Абстрактный синтаксис и семантика CL должны обеспечивать полный диапазон синтаксических
форм первого порядка с обычными значениями. Любой традиционный синтаксис первого порядка будет
напрямую переведен в CL без потери информации и изменения значения.
5.1.2 Общая логика должна поддерживать универсальный синтаксис для передачи логических
выражений.
Общая логика должна поддерживать универсальный синтаксис для передачи логических выраже
ний при соблюдении следующих условий:
а) для передачи содержимого CL через Интернет необходим единый синтаксис XML;
б) языки CL должны иметь возможность выражать различные часто используемые виды «синтак
сического сахара» для логических форм и часто используемых шаблонов логических высказываний;
4