Математическая логика
Математика
  • формат pdf
  • размер 2,98 МБ
  • добавлен 08 сентября 2012 г.
Потапов Д.К. Неклассические логики
Учебное пособие. – СПб.: СПбГУ, 2006. – 108 с.
В пособии рассматриваются неклассические логики, используемые для представления знаний, спецификации и анализа поведения программ. Излагаются элементы неклассических логик, аппарат нечёткой логики, рассмотрена программная реализация моделей нечёткой логики с помощью инструментального средства математической системы MATLAB 7.0.4 – пакета Fuzzy Logic Toolbox (пакет нечёткой логики).
Книга охватывает следующие разделы:
Введение
Неклассические логики

Пропозициональные логики (Интуиционистские логики, Многозначные логики, Нечёткие логики и нечёткие подмножества, Модальные логики, Временные (темпоральные) логики)
Предикатные логики (Многосортные логики первого порядка, Слабая логика второго порядка, Бесконечные логики, Логика с новыми кванторами)
Предикатные временные логики и их приложение к программированию
Алгоритмические логики
Задачи и упражнения
Нечёткая информация и выводы
Нечёткие множества (Основные характеристики нечётких множеств, О методах построения функций принадлежности нечётких множеств)
Операции над нечёткими множествами (Логические операции, Алгебраические операции)
Нечёткая и лингвистическая переменные (Нечёткие числа, Операции над нечёткими числами, Нечёткие числа (L-R) типа)
Нечёткие отношения
Нечёткие выводы (Алгоритм Mamdani, Алгоритм Tsukamoto, Алгоритм Sugeno, Алгоритм Larsen, Упрощённый алгоритм нечёткого вывода, Методы приведения к чёткости, Нисходящие нечёткие выводы)
Пример: нечёткий регулятор
Эффективность систем принятия решений, использующих методы нечёткой логики
Пакет Fuzzy Logic Toolbox
Назначение и возможности пакета Fuzzy Logic Toolbox
Графический интерфейс Fuzzy Logic Toolbox (Состав графического интерфейса, Построение нечёткой аппроксимирующей системы, Построение экспертной системы: сколько дать на «чай»?, Экспорт и импорт результатов, Создание пользовательских функций принадлежности)
Графический интерфейс гибридных систем
Графический интерфейс программы кластеризации
Работа с Fuzzy Logic Toolbox в режиме командной строки (Возможности работы в режиме командной строки, Функции вызова программ графического интерфейса, Задание функций принадлежности, Функции сохранения, открытия и использования созданной системы, Функции использования графического окна, Функции создания, просмотра структуры и редактирования систем нечёткого вывода, Функции создания и/или обучения гибридных сетей с архитектурой ANFIS, Функция кластеризации, Функция генерации FIS-структуры, Функция генерации структуры нечёткого вывода, Функция возврата центров кластеров,Другие различные функции, Функции вызова диалоговых окон интерфейса)
Работа Fuzzy Logic с блоками Simulink (Пример: контроль уровня воды в баке, Построение нечёткой модели с использованием блоков Simulink, Демонстрационные примеры работы с пакетом Fuzzy Logic Toolbox)
Список литературы
Похожие разделы