Автоматизированные информационно-логические системы (АИЛС)

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

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

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