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