Информационно-логическая система

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

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