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