Российские универсальные энциклопедии
на главную страницу

   
источник статьи:
Большая Советская Энциклопедия
(БСЭ)


Российские универсальные энциклопедии
Брокгауз-Ефрон и Большая Советская Энциклопедия
объединенный словник





Информационный язык для информационно-логической системы, формальная семантическая система, состоящая из некоторого алфавита (списка элементарных символов) и правил образования, преобразования и интерпретации. Правила образования устанавливают, какие комбинации элементарных символов допускаются, правила преобразования — какие допускаются преобразования выражений (на И. я.) с целью получения логического вывода, а правила интерпретации — как надлежит понимать выражения, составленные по правилам образования. Так как И. я. используется в информационно-логических системах для записи фактов и сведений, он должен быть недвусмысленным, удобным для дедуктивного логического вывода и отождествления разным образом записанных одинаковых фактов и сведений, пригодным для использования в информационной машине. Такое построение И. я. позволяет вводить в машину не все известные факты и сведения (это было бы невозможно), а лишь основные, из которых в ней можно получить остальные по правилам преобразования.

  Чем более формализован реальный язык той или иной отрасли науки (наиболее формализованные языки используются в математике и химии), тем легче создать для неё И. я. Необходимо отличать И. я. от информационно-поискового языка, предназначенного для решения другой, значительно более простой задачи — для поиска текстов (документов), основное смысловое содержание которых отвечает на некоторый информационный запрос, и поэтому имеющего иную структуру.

  А. И. Чёрный.









ЭнциклопедиЯ

© gatchina3000.ru, 2001-2012
при использовании материалов сайта, гиперссылка обязательна