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

• Автор: Волкова, Анна Юрьевна
• Шифр специальности: 05.13.17
• Научная степень: Кандидатская
• Год защиты: 2014
• Место защиты: Москва
• Количество страниц: 305 с. : ил.

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ

1 ДСМ-РЕШАТЕЛЬ ДЛЯ АНАЛИЗА ДАННЫХ РАЗЛИЧНЫХ ПРЕДМЕТНЫХ ОБЛАСТЕЙ

1.1 Внутреннее представление данных

1.2 ОБЩАЯ СТРУКТУРА ДСМ-РЕШАТЕЛЯ И РЕАЛИЗАЦИЯ СТРАТЕГИЙ ДСМ-МЕТОДА АПГ

1.2.1 Общая структура ДСМ-Решателя

1.2.2 ДСМ-РАССУЖДЕНИЯ

1.2.2.1 ИНДУКТИВНЫЙ ВЫВОД ДСМ-РАССУЖДЕНИЙ

1.2.2.1.1 Базовые методы ДСМ-рассуждений

1.2.2.1.1.1 Простой метод сходства

1.2.2.1.1.2 Единственность причины (следствия)

1.2.2.1.1.3 Запрет на контрпримеры
1.2.2.1.2.1 Метод различия: миллевский вариант
1.2.2.1.2.2 Метод различия: упрощение метода сходства - различия
1.2.2.1.2 Метод соединенного сходства - различия
1.2.2.1.2.1 Метод соединенного сходства-различия с единственной причиной
1.2.2.1.2.2 Общий метод соединенного сходства-различия
1.2.1.1.3 Метод остатков
1.2.1.1.3.1 Общий метод остатков
1.2.2.1.3.2 Усеченный метод остатков
1.2.2.2 ПРАВИЛА ПРАВДОПОДОБНОГО ВЫВОДА ПО АНАЛОГИИ
1.2.2.3 АБДУКЦИЯ И СТЕПЕНЬ АБДУК ГИВНОСТИ
1.2.3 ВСПОМОГАТЕЛЬНЫЕ ПРОЦЕДУРЫ
1.2.3.1 Фильтры
1.2.3.2 Доопределение по одному
1.2.3.3 «Дерево» гипотез
1.2.3.4 Проверка непротиворечивости гипотез

2 ВИЗУАЛЬНОЕ ПРЕДСТАВЛЕНИЕ ДАННЫХ
2.1 Представление данных в фармакологии
2.2 Представление данных в медицине
2.2.1 Представление в Microsoft Office Excel
2.2.2 Представление в Microsoft Office Access
2.3 Представление данных в социологии
3 ГРАФИЧЕСКИЙ ИНТЕРФЕЙС ДСМ-РЕШ А ГЕЛЯ
4 АНАЛИЗ ФАРМАКОЛОГИЧЕСКИХ И МЕДИЦИНСКИХ ДАННЫХ: ЭКСПЕРИМЕНТАЛЬНАЯ ПРОВЕРКА
4.1 Стандартные стратегии ДСМ-метода АПГ
4.1.1 Простой метод сходства
4.1.2 Единственность (+)-причины
4.1.3 Запрет на контрпримеры
4.2 Метод различия
4.2.1 Метод различия: миллевский вариант
4.2.2 Метод различия: упрощение метода сходства- различия
4.3 Метод соединенного сходства - различия
4.4 Метод остатков
4.4.1 Общий метод остатков
4.4.2 Усеченный метод остатков
4.5 Проверка непротиворечивости гипотез
5 ДСМ-СИСТЕМА JSM-SOCIO ДЛЯ АНАЛИЗА СОЦИОЛОГИЧЕСКИХ ДАННЫХ
5.1 ДСМ-система JSM-Socio и современные программы для качественного анализа социологических данных
5.2 Описание возможностей ДСМ-системы JSM-Socio
5.3 Применение ДСМ-системы JSM-Socio на практике
5.4 Средства предсказания изучаемых эффектов ДСМ-системы JSM-Socio
ЗАКЛЮЧЕНИЕ
Список литературы

Список иллюстраций
Приложение А. Классы для реализации процедур и стратегий ДСМ-метода АПГ
Приложение Б. ДСМ-Решатель: Руководство пользователю
Приложение В. Компьютерная интеллектуальная система ЛБМ-Босю: Руководство пользователю

и нижняя граница для числа сходных примеров - к > 2 (при проведении экспериментов нижняя граница является одним из параметров, поэтому может быть увеличена).
Для порождения гипотез используется правило правдоподобного вывода - 1 (индуктивный вывод):
(У =>а уу),м;,,(у, У) & -пМ;.( V, У)
У, ,.УУ=>, ¥)
аналогично формулируются п.п.в.-1 - (I) , (I)0, (Г)*:
•/(,„)( у =>2 цд-пм: „(у, у) & ма „(у, ш)
.^.,+1>(У=>^)
„ Лг.п)(У=>2 у),м;„(у,у)& мд>„(у, ш)
(1)х =>2 W),-,м;я(V,W)&-lMa^„(V,W)
^Г,„.И(У=>2Ш)
Аналогично М+-предикату можно сформулировать М°-предикат:
<„(У,У) -3к М °„(У,УД), где
М“„ (УЛУУ)^Э21...Э2,Зи1...ЗиЛ- ((^0,и)(21=>1и1)&... пХк -У) &(У0) &V/У/(((/У/)&( 1 < /, j < к)) ->(2,*2,))&УХУ У ((У(о_„)(Х=>1 У)& (УсХ))
->((1УсУ) &(У/*0)&(у (Х=г,))))& (к >2)).

М°-предикат необходим для нахождения сходства (О)-примеров. (О)-факты в исходной базе могут присутствовать, например, в социологических данных и выражают фактические противоречия или конфликты, образованные «противодействием» (+)- и (—)-причин [15]. Так исследуемый признак (эффект), по которому респонденты разбиваются на (+)-, (-)-, (0)- и (т)-примеры, может иметь следующие ответы на вопросы в анкете: 1 -Да; 0 - И да, и нет; -1 - Нет; т - Нет данных (нет ответа).
Также (О)-примеры могут появляться в результате доопределения (т)-примеров и участвовать в порождении (О)-гипотез на Этапе I ДСМ-рассуждения.
Тогда П.п.в.-1 (индуктивный вывод) будут иметь вид: