ЛОГИКА ВОПРОСОВ

— формальные средства описания отношения «вопрос — ответ». Формальные средства имитации вопросов называют интеррогативами. Примерами интеррогативов являются ли-вопросы («верно ли высказывание Л?»), какой-вопросы («каковы все те х, которые удовлетворяют условию Д-с)?»), сколько-вопросы («сколько х таких, что 0(.v)?») и почему-вопросы («почему химическое соединение х обладает наркотическим действием?»).

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

Согласно второму подходу, исходным материалом для формализации вопроса является формальный язык, используемый в информационных системах, ориентированный на решение некоторой совокупности информационно-поисковых задач. Каждой такой задаче соответствует предписание, в котором содержится императив — требование ее решения (напр.: «найти все химические соединения, обладающие наркотическим действием», «найти все статьи по заданной теме», «найти все, что известно о данном понятии» и т. д.). Формализация вопросов в информационном языке осуществляется на базе проблемно-ориентированной семантики. Это означает, что каждому типу вопросов соответствует специальное вопросно-ответное отношение. Вопрос (в рамках такого подхода) понимается как запрос или требование информации определенного типа (такое понимание вопроса близко к тому, что предложил Я. Хинтикка). В интеллектуальных системах, содержащих подсистему объяснения, реализуется отношение «вопрос — ответ» для вопросов типа «почему?». В частности, процедура поиска ответа на вопрос «почему?» может содержать средства порождения гипотез о причинах рассматриваемых явлений, которые извлекаются из баз данных посредством индукции, а принимаются эти гипотезы посредством абдуки.ии. Это означает, что вопросно-ответное отношение определяется с помощью синтеза познавательных процедур (см. Индуктивная логика).

В теории вопросов Н. Белнапа и Т. Стала, относящейся к теориям вопросов лингвистического типа, строится семантика и грамматика вопросов. Под грамматикой вопросов они понимают способы правильного построения интеррогативов. Центральным понятием их теории является понятие прямого ответа, которое характеризуется тремя аспектами — выбором, требованием полноты и требованием различения. Выбор состоит из тех альтернатив, которые извлекаются из множества всех предоставляемых вопросом альтернатив и указываются в ответе. Требование полноты ответа заключается в установлении степени полноты его выбора, измеряемой по отношению ко всему множеству истинных альтернатив. Требование различения — это требование, согласно которому различные именные альтернативы должны обозначать различные реальные альтернативы. В этой теории субъектом вопроса называется множество всех возможных альтернатив. Каждый элементарный вопрос полностью характеризуется описанием субъекта вопроса и предпосылки вопроса, которая определяется требованиями выбора, степени полноты и различения. Согласно Н. Белнапу и Т. Стилу, вопрос через свой субъект задает область альтернатив, а затем «предпосылает» имеющемуся списку альтернатив инструкцию, в соответствии с которой из списка альтернатив предлагается построить конкретный тип прямого ответа. Прямой ответ есть конъюнкция, построенная из высказываний S, С и D, определяющих выбор, требование полноты и требование различения соответственно. Возможны следующие виды прямых ответов: S&C&D, S&C, S&D, S. Требование различения связано с особенностями естественных языков, а требование полноты соответствует коэ4)фициэнту полноты информационного поиска. Н. Белнапу и Т. Стилу фактически удалось имитировать лишь два типа вопросов — ли-вопросы и какой-вопросы. Развитие логики вопросов может быть полезно для построения языков запросов к базам данных и для логической систематизации социологических опросов.

Лит.: Белнап Н., Сшил Т. Логика вопросов и ответов. М., 1981; Финн В. К. Логические проблемы информационного поиска. М., 1976; Хинтикка Я. Вопрос о вопросах.— В кн.: Философия и логика. М., 1974; Harrah D. A Logic of Questions and Answers.— Philosophy of Science, vol. 4,1961; Войшвилло Е. К., Петров Ю. А. Язык и логика вопросов. — В кн.: Логика и методология научного познания. М., 1974.

В. К. Финн