ЯЗЫК ИНФОРМАЦИОННО-ЛОГИЧЕСКИЙ
— искусственный частично формализованный язык для однозначной записи фактов из определенной области знаний в информационно-логических системах. Отличительной особенностью Я. и.-л. является их пригодность для решения информационно-логических задач путем преобразования элементов информационного массива с целью выявления новых фактических сведений, не содержащихся в массиве в явной форме. Такое преобразование алгоритмически моделирует дедуктивные, индуктивные или эвристические процедуры.
В качестве Я. и.-л. пригодны расширенные прикладные исчисления предикатов (см. Логика математическая), которые содержат: некоторое базисное логическое исчисление; дескриптивные константы (в т. ч. неопределяемые и определяемые дескриптивные знаки), соответствующие предметам, объектам, свойствам и отношениям, характерным для соответствующей области знаний; соответствующие им переменные; дескриптивные аксиомы, из которых выводится часть правильно построенных выражений Я. и.-л. Правила построения выражений Я. и.-л. должны быть сформулированы таким образом, чтобы, по возможности, все правильно построенные выражения можно было интерпретировать как осмысленные предложения. Частичная формализованность Я.и.-л. заключается в том, что из числа его выражений, соответствующих экспериментально проверяемым в данной предметной области предложениям, не все оказываются выводимыми или опровержимыми.
При построении Я. и.-л. предварительным этапом является создание метатеории, исследующей (с целью формализации) язык-объект и теорию соответствующей области знаний. С помощью метатеоретического исследования необходимо выявить осн. неопределяемые понятия для рассматриваемой области, применяемые в ней методы определения и введения новых понятий, а также дедуктивные, индуктивные и др. способы рассуждения. При этом надо учитывать особенности изучаемых объектов, свойств и отношений.
Лит.: Успенский В. А. К проблеме построения машинного языка для информационной машины. «Проблемы кибернетики», 1959, в. 2; Влэдуц Г. Э., Финн В. К. Проблематика создания машинного языка для органической химии. В кн.: Сообщения лаборатории электромоделирования, в. 1. М., 1960; Падучева Е. В. Проблемы семантического сопоставления естественных языков с языками математической логики. В кн.: Исследование логических систем. М., 1970; Goodman N. The structure of appearance. Cambridge, 1951: Woodger J. H. Biology and language. Cambridge, 1952; Carnap R. Introduction to symbolic logic and its applications. New York, 1958; Мидоу Ч. Анализ информационно-поисковых систем. Пер. с англ. М., 1970; Simmons R. P. Natural language question-answering systems: 1969. «Communications of the Association for Computing Machinery», 1970, v. 13, Jsli 1.
Г. Э. Влэдуц.
