ИНФОРМАЦИОННО-ЛОГИЧЕСКАЯ СИСТЕМА
— автоматизированная система, осуществляющая на основе хранящегося в ней массива фактических данных алгоритмическое решение различного рода задач по синтезу новых сведений, не содержащихся в этом массиве в явной форме. Такое решение производится путем комбинаторного преобразования совокупностей элементов информационного массива, моделирующего логич. или эвристический вывод. Частный случай И.-л. с. — автоматизированная информационно-поисковая система фактографическая, которая в ответ на запросы выдает сведения, отсутствующие в явной форме в ее информационном массиве.
При функционировании любой информационно-поисковой системы (ИПС), в том числе и информационно-поисковой системы документальной, моделируются некоторые простейшие виды логического вывода. Благодаря этому при поиске отбираются и такие релевантные документы (см. Релевантность документа), из содержания которых семантически следует информация, требуемая запросом. При этом учитываются осн. факты, считающиеся известными в соответствующей предметной области. Чаще всего эти факты представлены в терминах языков информационно-поисковых дескрипторного типа, в простейшем случае — в терминах отношений парадигматических между дескрипторами, играющих роль дескриптивных аксиом предметной области. Последние можно также считать включенными в алгоритм проверки критерия семантического соответствия. Аналогичным образом при алгоритмическом решении вычисл. задач преобразование исходных данных задачи в искомое числовое решение равносильно моделированию процедур логич. вывода, аксиоматика и правила которых включены в алгоритм решения задачи. Подобное положение имеет место и при машинном доказательстве теорем.
Отличительной особенностью И.-л. с. является то, что для решения задач — помимо некоторой неизменной аксиоматики и совокупности правил вывода — используются наборы элементов информационного массива переменного состава, применение к которым упомянутых правил и дает решение поставленной задачи. Решаемые таким путем задачи наз. информационно-логическими, в отличие от информационно-поисковых задач, решаемых ИПС. Однако, если соединить конъюнкциями все различные высказывания, составляющие информационный массив некоторой фактографической ИПС и рассмотреть полученную конъюнкцию в качестве записи одного «сложного факта» (или аналогичным образом рассмотреть совокупность документов из информационного массива документальной ИПС в качестве фрагментов одного «сверхдокумента»), то различие между информационнопоисковыми и информационно-логич. задачами стирается в том смысле, что при этом для решения и тех, и других упомянутый «сложный факт» (или «сверхдокумент») служит наряду с информационным запросом или формулировкой информационно-логич. задачи неизменным исходным «словом», к которому применяются соответствующие алгоритмы решения задач и поэтому его можно считать включенным в состав этих алгоритмов.
Сущность различия между информационно-логич. и информационно-поисковыми задачами и соответствующими системами состоит в более сложном характере моделируемых в И.-л. с. умозаключительных процедур. Для обеспечения возможности такого моделирования в И.-л. с. должны применяться достаточно богатые и в значительно большей степени формализованные языки информационно-логические. Примером простой реализованной модели И.-л. с. может служить программа «Бейсбол», автоматически отвечающая на разнообразные вопросы относительно этой игры. Примером экспериментальной И.-л. с., решающей практически важную задачу, является машинный поиск путей синтеза хим. соединений на эвристической основе, с использованием т. н. «хим. аналогий».
В связи с наметившимися тенденциями по алгоритмизации процессов создания тех. изделий заданного назначения можно ожидать в будущем применения И.-л. с. для решения разнообразных проектных и конструкторских задач. Перспективными областями применения И.-л. с. представляются в дальнейшем составление аналитических и критических тематических обзоров литературы, выявление закономерностей и эвристический синтез рабочих гипотез при научных исследованиях,
правдоподобное прогнозирование новых фактов и т. п. Предварительным условием для создания И.-л. с., которые могли бы выполнять такие ф-ции, является создание соответствующих крупномасштабных фактографических ИПС.
Лит.: Влэдуц Г. Э., Финн В. К. Проблематика создания машинного языка для органической химии. В кн.: Сообщения лаборатории электромоделирования, в. 1. М., 1960; Вычислительные машины и мышление. Пер. с англ. М., 1967 [библиогр. с. 491— 546]; Рейтман У. р. Познание и мышление. Пер. с айгл. М., 1968 [библиогр. с. 378—395]; Corey Б. J., Wiрkе W. Т. Computer-assisted design of complex organic syntheses. «Science», 1969, v. 166, N. 3902; Нильсон H. Искусственный интеллект Пер с англ. М.. 1973 [библиогр. с. 252—262].
Г. Э. Влэдуц.
