ОГЛАВЛЕНИЕ
Введение.
1 Обзор методов логического анализа.
1.1 Логический анализ на основе силлогистики Аристотеля.
1.2 Алгебра множеств и логика.
1.3 Формальный подход в логическом анализе
1.4 Логический анализ в искусственном интеллекте
2 Алгебра множеств и теория отношений.
2.1 Отношения в математике и информационных системах
2.1.1 Введение
2.1.2 Отношения в алгебраических системах.
2.1.3 Бинарные отношения
2.1.4 Отношения в реляционной алгебре.
2.1.5 Отношения в логике и искусственном интеллекте.
2.2 Отношения и операции в алгебре множеств.
2.3 Алгебра множеств и булева алгебра.
2.4 Декартово произведение множеств.
2.5 Алгебра кортежей и многоместные отношения.
2.5.1 Основы алгебры кортежей.
2.5.2 Операции с многоместными отношениями
2.6 Бинарные отношения, соответствия и отображения
2.7 Представление графов с помощью структур АК.
3 Сструктуры от полисиллогист ики к нечеткой логике.
3.1 Частично упорядоченные множества.
3.2 Введение в ОСструктуры
3.2.1 Определение и примеры
3.2.2 Вывод в 7Сструктурах.
3.2.3 Основные закономерности ОСструктур
3.2.4 Программное и алгоритмическое представление 2Сструктур . .
3.2.5 Операции сложения и умножения в ССструктурах.
3.3 Полисиллогистика через призму структур
3.3.1 Суждения и рассуждения в структурах.
3.3.2 Анализ совместимости рассуждений.
3.3.3 Проблема существования в Ьструктурах.
3.3.4 Сравнение силлогистики Аристотеля и структур.
3.3.5 Модифицируемые рассуждения.
3.3.6 Абдуктивные заключения.
3.3.7 структуры и исчисление высказываний
3.3.8 Представление Еструктур в системах множеств и чисел.
3.4 Сструктуры и нечеткие множества
4 Интерпретация и приложения алгебры кортежей
4.1 Интерпретация.
4.1.1 Интерпретация алгебры кортежей.
4.1.2 Логические исчисления и их интерпретация.
4.1.3 Сравнение интерпретаций АК и логических исчислений.
4.2 Сводка операций и соотношений в АК
4.2.1 Операции алгебры множеств
4.2.2 Преобразования АКобъектов в альтернативные классы.
4.2.3 Ортогонализация
4.2.4 Кванторы в алгебре кортежей
4.3 Возможности использования АК в базах данных и интеллектуальных системах.
4.3.1 Использование АК в дедуктивных базах данных
4.3.2 Использование АК в интеллектуальных системах.
4.4 Логический вывод и анализ.
4.4.1 Обзор методов лог ического вывода в математической логике
4.4.2 Логический вывод в АК
4.4.3 Модифицируемые рассуждения.
4.5 Алгоритмы и методы сокращения перебора
4.5.1 Матричные свойства АКобъектов
4.5.2 Алгоритм проверки включения Ссистемы в Ссистсму.
4.5.3 Алгоритм решения задачи ВЫПОЛНИМОСТЬ КНФ
4.5.4 Алгоритмы вычисления кванторных операций
4.5.5 Оценка вычислительной сложности алгоритмов
4.6 Метрические аспекты алгебры кортежей.
4.6.1 Мера множеств.
4.6.2 Представление в алгебре кортежей измеримых систем.
4.6.3 Логиковероятностные методы и алгебра кортежей
4.6.4 Вероятностная логика на основе АК.
4.7 Использование естественного параллелизма структур А К
Заключение.
Литература
- Київ+380960830922