ГОСТ Р 59791—2021
в) абстрактный синтаксис CL должен соответствовать существующим соглашениям; в частности,
он должен быть способен отображать любое содержимое, выражаемое с помощью RDF, RDFS или OWL;
г) необходимо ввести по крайней мере один понятный человеку синтаксис представления, кото
рый можно использовать для выражения всего языка.
5.1.3 Общая логика должна быть простой и естественной для использования в сети Интернет.
Общая логика для использования в сети Интернет должна обладать следующими свойствами:
а) синтаксис XML должен быть совместим с опубликованными спецификациями XML, синтакси
сом IRI, схемой XML, Unicode и другими соглашениями о передаче информации в Интернете;
б) в качестве имен в языке следует использовать IRI;
в) необходимо обеспечить возможность использования IRI в текстах заголовков и выражениях
меток, чтобы облегчить выполнение действий в Интернете, например поиска, импорта и добавления
перекрестных ссылок.
5.1.4 Общая логика должна поддерживать открытые сети.
Общая логика должна поддерживать открытые сети при соблюдении следующих условий:
а) передача содержимого между агентами, поддерживающими CL, не должна требовать согласо
вания синтаксических ролей символов и перевода из одной синтаксической роли в другую;
б) все фрагменты текста CL должны иметь одинаковое значение и поддерживать одни и те же
импликации в любой точке сети. Все имена должны иметь одинаковое логическое значение во всех
узлах сети;
в) ни один агент не должен иметь возможность ограничивать способность другого агента ссылать
ся на какие-либо объекты или делать утверждения о чем-либо;
г) язык должен поддерживать способы обращения к локальной вселенной дискурса, а также иметь
возможность соотносить ее с другими такими вселенными;
д) пользователи CL должны иметь право вводить новые имена и использовать их в опубликован
ном содержимом CL.
5.1.5 Общая логика не должна содержать произвольные допущения в отношении семантики.
Общая логика не должна содержать произвольные допущения в отношении семантики при сле
дующих условиях:
а) CL не делает необоснованных или произвольных предположений о логических отношениях
между различными выражениями;
б) если возможно, агенты CL должны выражать эти предположения напрямую в CL.
5.2 Семейство языков
В этом подразделе описано, что подразумевается под «семейством» языков, а также приведено
определенное обоснование разработки CL.
В соответствии с соглашением, согласно которому любой язык должен иметь грамматику, CL
представляет собой семейство языков, а не один язык. Различные языки CL, называемые в настоящем
стандарте диалектами, могут существенно отличаться по внешнему синтаксису, но имеют единую уни
фицированную семантику и могут быть преобразованы в общий абстрактный синтаксис. Язык относит ся
к семейству, если существует возможность взаимного перевода на другие диалекты и с них при усло вии
сохранения значения. При этом не учитывается наличие какой-либо определенной синтаксической
формы. Поэтому несколько существующих логических обозначений и языков можно рассматривать как
диалекты CL.
В примерах в настоящем стандарте применен диалект CL CLIF на основе KIF (см. приложение А).
CLIF можно рассматривать как обновленную и упрощенную формы KIF 3.0 [3] и, следовательно, как
самостоятельный язык. Концептуальные графы [3] также являются хорошо известной формой логики
первого порядка для машинной обработки; язык CGIF описан в приложении Б. Fla основании требова
ний 5.1.2 а) и 5.1.3 а) в приложении В описан полностью совместимый диалект XML под названием XCL.
6 Абстрактный синтаксис и семантика общей логики
6.1 Абстрактный синтаксис общей логики
6.1.1 Категории абстрактного синтаксиса
6.1.1.1 Термины, маркеры последовательности, высказывания, утверждения и тексты — это пра
вильно построенные выражения.
5