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

– формальные средства описания отношения «вопрос – ответ». Формальные средства имитации вопросов называют интеррогативами. Примерами интеррогативов являются ли-вопросы («верно ли высказывание A?»), какой-вопросы («каковы все те x, которые удовлетворяют условию Р(х)?»), сколько-вопросы («сколько x таких, что Q(x))?») и почему-вопросы («почему химическое соединение х обладает наркотическим действием?»).

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

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

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

Прямой ответ есть конъюнкция, построенная из высказываний S, C и D, определяющих выбор, требование полноты и требование различения соответственно. Возможны следующие виды прямых ответов: S&C&D, S&C, S&D, S.

Требование различения связано с особенностями естественных языков, а требование полноты соответствует коэффициенту полноты информационного поиска. Н.Белнапу и Т. Стилу фактически удалось имитировать лишь два типа вопросов – ли-вопросы и какой-вопросы.

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

Источник: vk.com

Комментарии: