ГОСТ Р 59791-2021

Информационные технологии. Общая логика (CL). Основы семейства языков, основанных на логике

действующий В настоящем стандарте описано семейство логических языков, разработанных для представления информации и данных и обмена ими между разнородными компьютерными системами. Следующие особенности имеют особую важность для построения настоящего стандарта: - языки в семье имеют декларативную семантику. Благодаря этому можно понять значение выражений на этих языках, не используя интерпретатор для обработки таких выражений; - языки в семье логически всесторонни — в самом общем виде они обеспечивают выражение произвольных логических высказываний первого порядка; - языки можно перевести с сохранением семантики в общий синтаксис на основе XML, что облегчает обмен информацией между разнородными компьютерными системами. В область применения настоящего стандарта входят следующие вопросы: - представление информации в онтологиях и базах знаний; - описание выражений, которые вводят в машины логического вывода или выводят из них; - формальные интерпретации символов, выраженных с помощью языка. Нижеследующее выходит за рамки настоящего стандарта: - описание теории доказательств или правил вывода; - описание переводчиков между обозначениями разнородных компьютерных систем; - компьютерные операционные методы формирования отношений между символами в логической «вселенной дискурса» и людьми в «реальном мире». В настоящем стандарте описаны синтаксис и семантика CL. В настоящем стандарте также приведено определение абстрактного синтаксиса и связанной с ним теоретико-модельной семантики для специфичного расширения логики первого порядка. Цель состоит в том, чтобы представить содержимое любой системы, использующей логику первого порядка. Назначение настоящего стандарта — упростить обмен логической информацией первого порядка между системами. Вопросы, касающиеся вычислимости, не рассматриваются в настоящем стандарте (включая эффективность, оптимизацию и т. д.)

Текст ГОСТ Р 59791-2021



Другие ГОСТы

ГОСТ ISO/IEC 19788-2-2015 Информационные технологии. Обучение, образование и подготовка. Метаданные для образовательных ресурсов. Часть 2. Элементы дублинского ядра
ГОСТ ISO/IEC 19788-3-2015 Информационные технологии. Обучение, образование и подготовка. Метаданные для образовательных ресурсов. Часть 3. Основной профиль применения
ГОСТ Р 59874-2021 Информационные технологии. Обучение, образование и подготовка. Метаданные для образовательных ресурсов. Часть 4. Технические элементы
ГОСТ ISO/IEC 19788-5-2015 Информационные технологии. Обучение, образование и подготовка. Метаданные для образовательных ресурсов. Часть 5. Образовательные элементы
ГОСТ Р 55770-2013 Информационные технологии. Обучение, образование и подготовка. Технология сотрудничества. Связь при совместном обучении. Часть 1. Текстовая связь. Разработка ГОСТ Р. Прямое применение МС с дополнением -EQV (ISO/IEC 19780-1:2008).
ГОСТ 33246-2015 Информационные технологии. Обучение, образование и подготовка. Упаковка контента. Часть 1. Информационная модель
ГОСТ ISO/IEC 12785-2-2015 Информационные технологии. Обучение, образование и подготовка. Упаковка контента. Часть 2. XML привязка
ГОСТ Р ИСО/МЭК 33020-2017 Информационные технологии. Оценка процесса. Система измерения процесса для оценки возможностей процесса
ГОСТ Р ИСО/МЭК 33001-2017 Информационные технологии. Оценка процесса. Понятия и терминология
ГОСТ Р ИСО/МЭК 15414-2017 Информационные технологии. Открытая распределенная обработка. Эталонная модель. Язык описания предприятия
ГОСТ Р 59798-2021 Информационные технологии. Онтологии высшего уровня (TLO). Часть 2. Базисная формальная онтология (BFO)
ГОСТ ISO/IEC 24824-2-2013 Информационные технологии. Общие правила применения ASN.1. Быстрые сетевые услуги. Часть 2
ГОСТ ISO/IEC 24824-1-2013 Информационные технологии. Общие правила применения ASN.1. Быстрые команды. Часть 1
ГОСТ ISO/IEC 24824-3-2013 Информационные технологии. Общие правила применения ASN.1. Безопасность быстрых сетевых услуг. Часть 3

Дополнительная информация

Английское название
Введен в действие	30.04.2022
Дата издания	30.11.2021