Логика вопросов

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

Существует два основных типа подходов к построению логической теории вопросов, которые можно условно назвать лингвистическими и компьютерными.

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

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

В теории вопросов Н. Белнапа и Т. Стила, относящейся к теориям вопросов лингвистического типа, строится семантика и грамматика вопросов. Под грамматикой вопросов они понимают способы правильного построения интеррогативов. Центральным понятием их теории является понятие прямого ответа, которое характеризуется тремя аспектами — выбором, требованием полноты и требованием различения. Выбор состоит из тех альтернатив, которые извлекаются из множества всех предоставляемых вопросом альтернатив и указываются в ответе. Требование полноты ответа заключается в установлении степени полноты его выбора, измеряемой по отношению ко всему множеству истинных альтернатив. Требование различения — это требование, согласно которому различные именные альтернативы должны обозначать различные реальные альтернативы. В этой теории субъектом вопроса называется множество всех возможных альтернатив. Каждый элементарный вопрос полностью характеризуется описанием субъекта вопроса и предпосылки вопроса, которая определяется требованиями выбора, степени полноты и различения.

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

Развитие логики вопросов обусловлено прикладными задачами построения языков запросов к базам данных, систем информационного поиска, логической систематизации социологических опросов и другими.