Неклассические логики

Купить бумажную книгу и читать

Автор: Потапов Д.К.

Название: Неклассические логики

Издательство: СПб.: СПбГУ

Год: 2006

Количество страниц: 108

Формат: PDF

Размер: 18,5 mb

Для сайта:

В пособии рассматриваются неклассические логики, используемые для представления знаний, спецификации и анализа поведения программ. Излагаются элементы неклассических логик, аппарат нечёткой логики, рассмотрена программная реализация моделей нечёткой логики с помощью инструментального средства математической системы 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).