система, совокупность информационного языка, правил перевода с естественного языка на информационный и обратного перевода, правил логического вывода, предназначенная для алгоритмического получения новой информации из некоторой исходной.
В принципе одна и та же И.-л. с. может быть реализована на разных машинах и, наоборот, одна и та же машина может быть использована для реализации разных И.-л. с.