Абдукция как метод поиска и обоснования объяснительных гипотез (стр. 10 из 11)
Полезным и содержательным инструментом анализа социологических данных являются интеллектуальные системы (ИС). Они позволяют решать задачи изучения индивидуального поведения[4] и последующей его типологизации на основе порожденных гипотез о причинах (детерминантах) поведения (действий, установок, мнений)[5]. При этом предусматривается также анализ влияния ситуации на изучаемое поведение. Кроме изучения собственно детерминаций поведения, ИС предоставляют возможности распознавания рациональности мнений (в том числе, степени рациональности мнений данной социальной общности). Решение перечисленных задач средствами ИС можно назвать формализованным качественным анализом социологических данных (ФКАСД).
Интеллектуальные системы, предназначенные для решения плохо формализованных задач, характеризуются общей структурой: они состоят из решателя задач, информационной среды и интеллектуального интерфейса, позволяющего пользователю вести диалог с ИС в удобном режиме. Решатель задач, в свою очередь, содержит рассуждатель (реализующий синтез познавательных процедур для анализа слабо формализованных данных), вычислитель (для числовых данных) и синтезатор, реализующий их взаимодействие. Информационная среда представляет собой объединение базы эмпирических фактов (БФ) и базы знаний (БЗ) о рассматриваемой области. Использование БФ как начального состояния системы, на основе которого средствами машинного обучения порождаются расширяющие БЗ гипотезы, превращает ИС в чрезвычайно эффективный инструмент ИАД.
Одним из возможных средств интеллектуального анализа социологических данных с нечисловыми (качественными) и сложно-структурированными параметрами является логико-комбинаторный ДСМ-метод автоматического порождения гипотез в БФ с неполной информацией [2], формализующий специальный класс правдоподобных рассуждений.
Основой метода является синтез познавательных процедур [3] – эмпирической индукции (формальных расширений и уточнений индуктивных методов Д.С. Милля[6]), каузальной аналогии и абдукции (принятие гипотез на основе объяснения начальных данных) Ч.С. Пирса. При этом метод опирается на принцип: сходство исследуемых фактов определяет повторяемость обнаруженных эффектов (а не наоборот).
Средством формализации указанного синтеза, называемого ДСМ-рассуждением, является специально созданный аппарат многозначных логик. ДСМ-рассуждение реализует естественную эвристику и оказывается адекватным средством формализации рассуждений в науках о социальном поведении (эта эвристика является средством формализованного качественного ИАД). Таким образом, ДСМ-решатель реализует автоматизированные правдоподобные рассуждения типа «индукция – аналогия – абдукция». Иными словами, конструктивная реализация индуктивного обучения на множествах позитивных (+)– и негативных (–)–примеров (фактов) изучаемых явлений порождает положительные и отрицательные гипотезы о каузальной зависимости. Полученные гипотезы позволяют определить отношение «причина – следствие» с помощью аналогии. Формирование отношения ДСМ-каузальности завершается посредством абдукции, которая представлена специальным критерием достаточного основания для принятия объяснительных гипотез (принятие гипотез посредством объяснения начального состояния БФ). Таким образом, концепция (±)–причинности в ДСМ-методе является индуктивно-абдуктивной, поскольку использует индуктивное порождение гипотез и абдуктивное их принятие.
Метод предназначен для проведения рассуждений в открытом мире (для которого характерно наличие каузальных зависимостей), опирающихся на частично формализованные знания о предметной области (как объективные, так и субъективные).
Для анализа данных о социуме необходимо представить информацию об агентах индивидуального поведения. В этом случае ДСМ-метод, реализованный в ИС, способен порождать гипотезы о детерминантах поведения, если само поведение представлено информативно, как некоторое множество характеристик.
При формировании БЗ следует руководствоваться следующими основными принципами: постулатом поведения (Р1), постулатом ситуационизма (Р2), постулатом рационализации исходных данных (Р3). Постулат поведения Р1 предназначен для решения задачи структурации социологических данных в ИС-ДСМ. Пусть имеются три множества характеристик, входящих в описание субъекта поведения:
(1) признаки, представляющие социальный характер субъекта (SC);
(2) индивидуальные черты личности (IP);
(3) биографические данные (BD).
Пусть Det = Det1?Det2?Det3, где (Det1?SC)&(Det2?IP)& (Det3?BD), причем хотя бы одно Deti ??, i = 1, 2, 3. Тогда Det – детерминанта поведения В субъекта С, если из Det?С следует, что С совершает В.
Постулат ситуационизма Р2 представляет собой расширение постулата Р1: отсутствие действия социального субъекта (индивида или общности индивидов) при наличии потенциальной причины действия Det (в том числе установки) объясняется влиянием ситуации S. Иными словами, детерминантой поведения субъекта может быть пара = ?Det, Sñ. При этом возможны случаи: (а) Det??, S=?; (b) Det??, S??; (с) Det=?, S??; (d) Det?? или S??.
Постулат рационализации знаний о субъекте поведения Р3 становится особенно актуальным при анализе мнений [6]. Прежде всего, при выборе решений субъектом должна в явном виде использоваться (его) аргументация (см. также [7]). При этом изучение поведения должно быть реализовано как установление отклонений от рационального поведения (М. Вебер [8]), если они имеют место.
Логико-комбинаторный ДСМ-метод автоматического порождения гипотез уже доказал свою практическую состоятельность при порождении детерминант социального поведения (готовности к участию в забастовке заводских рабочих) [5]. В [6] формальный аппарат распространен на задачу анализа и прогнозирования мнений, традиционно исследуемую лишь с помощью статистических методов, которые не всегда адекватны потребностям отображения специфики индивидуального поведения. В работе [9] представлено расширение формальных средств для анализа поведения, зависящего от ситуаций.
Таким образом, метод располагает двумя различными стратегиями для решения двух различных типов задач. Первый – анализ и прогнозирование действий и готовности к ним (установок), характеризуется информативностью представленных данных о субъекте, заметно превосходящей информативность данных о его поведении (infX > inf Y). Для решения такого рода задач используется так называемый прямой ДСМ-метод, выявляющий причинно-следственные зависимости типа «сходство субъектов поведения влечет сходство действий этих субъектов». Второй тип задач – анализ и прогнозирование электорального поведения, представленного мнениями. В этом случае информативность характеризации мнения превосходит информативность знаний о субъекте, высказывающем мнение (inf Y> infX), и для решения задачи выбирается обратный ДСМ-метод, порождая зависимости типа «сходство мнений субъектов есть следствие сходства самих субъектов». Пример задачи первого типа – изучение личностных и социальных детерминаций солидарного поведения рабочих на конфликтных предприятиях – рассматривается в [5], задачи второго типа – отношение к свободе слова (без привлечения эмпирического материала) – в [6].
В [6, 7] предложен вариант семантики ДСМ-метода для анализа и прогнозирования мнений, открывающий возможности для распознавания рационального поведения – в отличие от нерационального. Пусть задана некоторая тема опроса Т* такая, что она характеризуется утверждениями p1, …, pn. Пусть, далее, символ “?” обозначает оператор вопроса такой, что ?Jnpi – терм, в котором n – переменная со значениями из {1, –1, 0, t, k}, где 1 – фактическая истина, –1 – фактическая ложь, 0 – противоречие (конфликт), t – недоопределенность, k – отказ от ответа. Терм ?Jnpi понимается как вопрос «верно ли, что v[pi] = n?». Множество {p1, …, pn} будем называть каркасом P темы Т*.
Пусть jj - метасимвол, “ 
”- предикат графического равенства формул, положим jj 
p1&…& 
pn, где ni(j) ?{±1, 0, t, k}, i = 1, …, n; j = 1, …, 4n. Будем называть jj – максимальную конъюнкцию атомов 
pi – мнением индивида, при этом множество членов этой конъюнкции обозначим [jj]={ p1&…& pn}. Пусть U(2) = {y?(y 
pi)&(ni?{1, –1, 0, t, k}), i=1, …, n}. Задача изучения мнений сводится к изучению высказываний J 
(Cj?1[jj]) – «субъект Cj имеет мнение jj» – и J ([yj] 3? C?j) – «мнение yj есть следствие характеристик субъекта C?j», – Cj, C?j, [jj], [yj] – константы, Cj, C?j ? 
(U(1) –множество возможных характеристик индивидуальных социальных субъектов, используемых в соответствии с постулатом поведения Р1), [jj], [yj] ? 
, 
= ?m, mñ – оценка, полученная применением ДСМ-метода АПГ, где mj?{±1, 0, t, k}, а m – число применений ДСМ-правил правдоподобного вывода.