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