Электронная база ГОСТов
1000gost.ru
Государственные стандарты
Декларация о соответствии
Единый перечень продукции ТС
Классификатор государственных стандартов
Общероссийский классификатор стандартов
Обязательная сертификация
Окп
Тематические сборники
Технические регламенты РФ
Технические регламенты Таможенного союза
Строительная документация
Техническая документация
Условные обозначения
Иконки:
- иконка документа;
- документ в формате PDF;
- версия для печати;
- найти документ;
- загрузка документа.
Навигация:
- развернуть список;
- свернуть список.
Статусы ГОСТов:
- действующий;
- принят (но не вступивший в силу), действует только в РФ, с неизвестным статусом;
- заменён, отменён, утратил силу в РФ, срок действия истёк.
На главную
Перейти в начало базы ГОСТов
Перейти в начало базы Строительной документации
Перейти в начало базы Технической документации
Найти:
Где:
В описании
В номере документа
В названии документа
Отображать:
Все найденные
Действующие
Заменённые
Отменённые
Принятые (но не вступившие в силу)
Утратившие силу в РФ
С истекшим сроком действия
Действующие только в РФ
С неизвестным статусом
Упорядочить:
По номеру стандарта
По дате введения
Библиотека государственных стандартов
Дата актуализации: 01.01.2023
[1]
(1 найдено)
Обозначение
Дата введения
Статус
ГОСТ
Р
59791
-2021
Информационные технологии. Общая логика (CL). Основы семейства языков, основанных на логике
30.04.2022
действует
Название англ.:
Information technology. Common Logic (CL). Aframework for a family of logic-based languages
Область применения:
В настоящем стандарте описано семейство логических языков, разработанных для представления информации и данных и обмена ими между разнородными компьютерными системами. Следующие особенности имеют особую важность для построения настоящего стандарта: - языки в семье имеют декларативную семантику. Благодаря этому можно понять значение выражений на этих языках, не используя интерпретатор для обработки таких выражений; - языки в семье логически всесторонни — в самом общем виде они обеспечивают выражение произвольных логических высказываний первого порядка; - языки можно перевести с сохранением семантики в общий синтаксис на основе XML, что облегчает обмен информацией между разнородными компьютерными системами. В область применения настоящего стандарта входят следующие вопросы: - представление информации в онтологиях и базах знаний; - описание выражений, которые вводят в машины логического вывода или выводят из них; - формальные интерпретации символов, выраженных с помощью языка. Нижеследующее выходит за рамки настоящего стандарта: - описание теории доказательств или правил вывода; - описание переводчиков между обозначениями разнородных компьютерных систем; - компьютерные операционные методы формирования отношений между символами в логической «вселенной дискурса» и людьми в «реальном мире». В настоящем стандарте описаны синтаксис и семантика CL. В настоящем стандарте также приведено определение абстрактного синтаксиса и связанной с ним теоретико-модельной семантики для специфичного расширения логики первого порядка. Цель состоит в том, чтобы представить содержимое любой системы, использующей логику первого порядка. Назначение настоящего стандарта — упростить обмен логической информацией первого порядка между системами. Вопросы, касающиеся вычислимости, не рассматриваются в настоящем стандарте (включая эффективность, оптимизацию и т. д.)
Нормативные ссылки:
ГОСТ 33707-2016
[1]
(1 найдено)
Все права защищены © 2015-2023. 1000gost.ru
Перейти на главную страницу сайта