ГОСТ Р 59791—2021
Содержание
1 Область применения...........................................................................................................................................................1
2 Нормативные ссылки...........................................................................................................................................................1
3 Термины и определения....................................................................................................................................................2
4 Обозначения и сокращ ения............................................................................................................................................ 4
4.1 Обозначения ............................................................................................................................................................... 4
4.2 Сокращения ..................................................................................................................................................................4
5 Требования и обзор структуры..................................................................................................................................... 4
5.1 Требования....................................................................................................................................................................4
5.2 Семейство язы ков......................................................................................................................................................5
6 Абстрактный синтаксис и семантика общейлогики.................................................................................................5
6.1 Абстрактный синтаксис общей л о гики................................................................................................................5
6.2 Семантика общей логики ......................................................................................................................................16
6.3 Типы данных................................................................................................................................................................18
6.4 Удовлетворенность, действительностьилогическое следствие...........................................................19
6.5 Маркеры последовательности, рекурсия исписки аргументов: обсуждение...................................... 20
6.6 Особые случаи и переводы между диалектами ...........................................................................................20
7 Совместимость..................................................................................................................................................................21
7.1 Совместимость диалектов ...................................................................................................................................21
7.2 Совместимость приложения.................................................................................................................................23
7.3 Совместимость сетей ............................................................................................................................................ 23
Приложение А (обязательное) Формат обмена общейлогикой (CLIF)...........................................................24
Приложение Б (обязательное) Формат обмена концептуальными графами (C G IF).................................33
Приложение В (обязательное) Расширяемый язык разметки extended Common Logic Markup
Language (XCL) ......................................................................................................................................50
Приложение Г (справочное) Перевод между диалектами....................................................................................59
Библиография........................................................................................................................................................................60