logiko-komb_metod - Высшая школа экономики

Министерство экономического развития и торговли
Российской Федерации
Государственный университет –
Высшая школа экономики
Факультет социологии
Программа дисциплины
Логико-комбинаторные методы анализа социологических данных
для специальности 040201.65 «Социология»
подготовки специалиста
Автор к.т.н., доцент Михеенкова М.А. (mmikh@viniti.ru)
Рекомендована секцией УМС
_____________________________
Одобрена на заседании кафедры
Методов сбора и анализа
социологической информации
Зав. кафедрой
д.с.н., проф. Толстова Ю.Н.
«____»_____________________ 200 г
Председатель
_____________________________
«_____» __________________ 200 г.
Утверждена УС факультета
_________________________________
Ученый секретарь
_________________________________
« ____» ___________________200 г.
Москва
1
Тематический план
№
Название темы
Всего часов по
дисциплине
Аудиторные часы
Лекции
Самостоятельная
работа
1.
Язык логики высказываний
11
2
Сем. и практ.
занятия
2
2.
Алгебра логики
12
2
2
8
3.
Булева алгебра множеств
6
1
1
4
4.
Метод аналитических таблиц
6
1
1
4
5.
Язык логики предикатов
10
2
0
8
18
4
2
12
5
1
0
4
24
5
4
15
9
2
0
7
7
1
2
4
108
21
14
73
Булева алгебра в социологическом
исследовании
7. Квазиаксиоматические теории для
представления знаний
8. ДСМ-метод автоматического
порождения гипотез
9. Анализ мнений в интеллектуальной
системе
10. Логический анализ рациональности
мнений
Итого:
6.
7
----------------------------------------------------------------------------------------------------------------------------- ---------------------------
Ридеры
По теме каждого занятия студенты обеспечиваются материалами (в электронном виде),
покрывающими содержание лекции, а также упражнениями для закрепления материала.
--------------------------------------------------------------------------------------------------------------------------------------------------------
Формы контроля:
Итоговая оценка по учебной дисциплине складывается из следующих элементов:
Работа на практических занятиях: решение задач домашнего задания и задач у доски
Письменная аудиторная контрольная работа (60 мин.)
Итоговое домашнее задание
Письменный экзамен (120 мин.)
----------------------------------------------------------------------------------------------------------------------------- ---------------------------
Содержание программы
Курс «Логико-комбинаторные методы анализа социологических данных» состоит из двух
разделов. Первый предполагает ознакомление с основными понятиями логики и булевой
алгебры, второй посвящен их применению в задачах анализа социологических данных. В
программу курса включены следующие темы.
2
Тема 1.
Язык логики высказываний: синтаксис и семантика. Логические связки. Оценка
переменных и формул. Тавтологии, противоречивые и выполнимые формулы. Метод истинностных
таблиц. ДНФ. СДНФ.
Литература. Клини С. Математическая логика. М.: Мир, 1973.
Тема 2.
Алгебра логики. Булевские функции, реализация функций формулами. Разложение
булевских функций по переменным. Проблема минимизации булевских функций. Сокращенные
ДНФ, тупиковые ДНФ.
Литература. Яблонский С.В. Введение в дискретную математику. М.: Наука, 1986.
Тема 3.
Булева алгебра множеств, свойства. Операции над множествами. Диаграммы Венна.
Включение множеств. Булеан. Изоморфность булевой алгебры множеств булевой алгебре
высказываний.
Литература. Столл Р.Р. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968.
Тема 4.
Метод аналитических таблиц для логики высказываний, - и -правила. Проверка
тавтологичности, вывод из гипотез и построение ДНФ методом аналитических таблиц.
Литература. Метакидес Г., Нероуд А. Принципы логики и логического программирования. М.:
Факториал, 1998.
Тема 5.
Язык логики предикатов. Термы и предикаты. Отношения. Кванторы. Сигнатура языка.
Формулы логики предикатов. Свободные и связанные переменные. Интерпретация,
общезначимость, выполнимость.
Литература. Клини С. Математическая логика. М.: Мир, 1973.
Метакидес Г., Нероуд А. Принципы логики и логического программирования. М.: Факториал, 1998.
Тема 6.
Булева алгебра в социологическом исследовании. Истинностная таблица для представления
данных. Минимизация булевского представления причинности. Необходимые и достаточные
условия. Выделение причинных контекстов. Проблема ограниченного разнообразия.
Противоречивые примеры. Анализ областей совпадения и несовпадения теории и результатов
булевского анализа примеров.
Литература. Ragin C.C. The Comparative Method: Moving beyond Qualitative and Quantitative
Strategies. Berkley, Los Angeles and London: University of California Press, 1987.
Rihoux B. Qualitative Comparative Analysis and Related Systematic Comparative Methods. International
Sociology, v. 21 (5), September 2006.
Тема 7.
Представление знаний для интеллектуального анализа социологических данных, постулат
поведения. Квазиаксиоматические теории для представления знаний. Синтез познавательных
процедур.
Литература. Финн В.К. Синтез познавательных процедур и проблема индукции // НТИ, сер.2, 1999,
№ 1-2.
Тема 8.
ДСМ-метод автоматического порождения гипотез как средство формализованного
качественного анализа социологических данных. Формализация и расширение индуктивных
методов Д.С. Милля. ДСМ-рассуждение: эмпирическая индукция, структурная аналогия, абдукция.
Правила правдоподобного рассуждения I-го и II-го рода. Абдукция, абдуктивная сходимость.
Литература. Финн В.К. Синтез познавательных процедур и проблема индукции // НТИ, сер.2, 1999,
№ 1-2.
Тема 9.
Анализ мнений в интеллектуальной системе: тема опроса, каркас темы, определение
мнения. Логика аргументации. Критерии рациональности мнений, распознавание рациональности
мнений средствами логики аргументации.
Литература. Финн В.К., Михеенкова М.А. О логических средствах концептуализации анализа
мнений // НТИ, сер.2, 2002, № 6.
Тема 10.
Примеры применения ДСМ-метода: изучение детерминаций поведения, анализ
рациональности электорального поведения.
Литература.
Климова С.Г., Михеенкова М.А., Панкратов Д.В. ДСМ-метод как метод выявления детерминант
социального поведения // НТИ, сер.2, 1999, № 12.
Финн В.К., Михеенкова М.А. Логические средства формализации закрытых опросов и проблемы
распознавания рациональности мнений // Математическое моделирование социальных процессов,
2005, вып.7, М.: МАКС Пресс.
----------------------------------------------------------------------------------------------------------------------------- ---------------
Тематика заданий по различным формам текущего контроля:
По курсу предполагается проведение контрольной работы со следующими заданиями:
построение СДНФ, минимизация булевских функций и проверка тавтологичности формул
методом аналитических таблиц.
3
Студенты должны представить домашнюю работу с описанием модельной задачи для
анализа мнений и логической проверки рациональности мнений.
----------------------------------------------------------------------------------------------------------------------------- --------------
Вопросы для оценки качества освоения дисциплины
Примерный перечень вопросов к зачету (экзамену) по всему курсу.
Язык логики высказываний: синтаксис и семантика. Логические связки.
Понятие пропозициональной формулы. Тавтологии, противоречивые и выполнимые формулы.
Метод истинностных таблиц для проверки тавтологичности формул и построения СДНФ.
Булевские функции, реализация функций формулами. Разложение булевских функций по
переменным.
5. Проблема минимизации булевских функций. Сокращенные ДНФ, тупиковые ДНФ.
6. Булева алгебра множеств, свойства. Изоморфность булевой алгебры множеств булевой алгебре
высказываний.
7. Операции над множествами. Диаграммы Венна.
8. Включение множеств. Булеан.
9. Метод аналитических таблиц для логики высказываний, - и -правила.
10. Метод аналитических таблиц для проверки тавтологичности формул.
11. Вывод из гипотез и построение ДНФ методом аналитических таблиц.
12. Язык логики предикатов. Термы и предикаты. Кванторы.
13. Сигнатура языка. Формулы логики предикатов. Свободные и связанные переменные.
14. Интерпретация, общезначимость, выполнимость.
15. Булева алгебра в социологическом исследовании. Истинностная таблица для представления данных.
Минимизация булевского представления причинности.
16. Необходимые и достаточные условия. Выделение причинных контекстов.
17. Проблема ограниченного разнообразия в качественном сравнительном анализе.
18. Противоречивые примеры и их анализ средствами качественного сравнительного анализа.
19. Анализ областей совпадения и несовпадения теории и результатов булевского анализа примеров.
20. Квазиаксиоматические теории для представления знаний. Представление знаний для
интеллектуального анализа социологических данных, постулат поведения.
21. Строение интеллектуальных систем для анализа социологических данных. Синтез познавательных
процедур.
22. Логико-комбинаторный ДСМ-метод автоматического порождения гипотез. Общая схема ДСМрассуждения.
23. Условия применимости ДСМ-метода. Элементы ДСМ-логики.
24. Индукция в ДСМ-методе: предикат сходства, правила правдоподобного вывода I рода.
25. Аналогия в ДСМ-методе: предикат, правила правдоподобного вывода II рода.
26. Абдукция в интеллектуальной системе. Аксиомы каузальной полноты.
27. Анализ мнений в интеллектуальной системе: тема опроса, каркас темы, определение мнения.
28. Логика аргументации.
29. Критерии рациональности мнений, распознавание рациональности мнений средствами логики
аргументации.
30. Формализованный качественный анализ социологических данных. Типы задач. Изучение
детерминаций поведения, пример.
31. Пример задачи изучения мнений – изучение электоральных предпочтений. Пример, представление
данных и знаний, анализ рациональности.
-------------------------------------------------------------------------------------------------------------------------------------------------------1.
2.
3.
4.
Автор программы: _____________________________/ Михеенкова М.А./
4