элементы теории нечетких множеств

МИНОБРНАУКИ
ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
ФАКУЛЬТЕТ ИНФОРМАТИКИ
УТВЕРЖДАЮ
Декан факультета
С.П. Сущенко
«
»
ЭЛЕМЕНТЫ ТЕОРИИ НЕЧЕТКИХ МНОЖЕСТВ
(ЕН.Ф.1.02)
РАБОЧАЯ ПРОГРАММА
трудоемкость дисциплины 2 зачетные единицы
НАПРАВЛЕНИЕ 080800 – ПРИКЛАДНАЯ ИНФОРМАТИКА
Томск
2010
2010 г.
УТВЕРЖДЕНО
СОСТАВИТЕЛЬ
кафедрой программной инженерии.
старший преподаватель кафедры про-
Протокол №19 от 01.12.2010 г.
граммной инженерии
В.В. Матушевский
Зав. кафедрой, профессор
О.А. Змеев
I. Организационно-методический раздел
Цель курса – изучение методов неклассических логик.
Задача учебного курса – ознакомление с основными понятиями и методами неклассических логик с ориентацией на их использование в практической информатике.
Дисциплины-предшественники – основы дискретной математики, математическая
логика и теория алгоритмов.
Требования к уровню освоения дисциплины – умение пользоваться методами неклассических логик.
II. Содержание дисциплины
II.1. Лекционный курс
Тема 1. Пропозициональные логики.
Интуиционистская логика высказываний, семантика Крипке. Аксиомы интуиционистского исчисления высказываний.
Тема 2. Многозначная логика.
Тема 3. Модальная логика.
Язык модальной логики. Примеры модальностей в естественном языке. Семантика
Крипке для модального языка.
Тема 4. Временные (темпоральные) логики.
Примеры временных логик: логики линейного времени, логики ветвящегося времени. Временные логики и верификация программ.
Тема 5. Нечеткая логика.
Нечеткие множества и операции над ними. Лингвистическая переменная.
Тема 6. Нечеткие выводы.
Алгоритмы Mamdani, Tsukamoto, Упрощённый алгоритм нечёткого вывода.
Тема 7. Нечеткие языки, нечеткие алгоритмы.
III. Распределение часов курса по темам и видам работ
№№ пп
Наименование тем
Всего Аудиторные занятия (час),
часов
в том числе
лекции
1
2
3
4
5
6
7
ИТОГО
Пропозициональные логики
Многозначная логика
Модальная логика
Временные (темпоральные)
логики
Нечеткая логика
Нечеткие выводы
Нечеткие языки, нечеткие алгоритмы
семинары
Самостоятельная
работа
лабораторные
занятия
6
6
6
4
4
4
2
2
2
6
4
2
11
11
4
4
6
4
52
28
4
4
3
3
2
8
16
IV. Учебно-методическое обеспечение курса
IV.1. Основная литература
1. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. –
М.: Наука, 1983.
2. Аверин А.Н. и др. Нечёткие множества в моделях управления и искусственного интеллекта / Под ред. Д.А. Поспелова. – М.: Наука, 1986.
3. Фейс Р. Модальная логика. – М.: Наука, 1974.
IV.2. Дополнительная литература
1. Ковальски Р. Логика в решении проблем. – М.: Наука, 1990.
2. Непейвода Н.Н. Прикладная логика. – Новосибирск: изд-во НГУ, 2000.