Модальные логики
Кроме стандартных логических связок, переменных и/или предикатов есть специальные модальности (операторы), модифицирующие интерпретацию формул логической системы . Временные («когда-то в будущем» и «всегда» и т.д.) , пространственные – «возможно» (□), «должно» (∆).
Псевдофизическая логика
Моделирует рассуждения здравого смысла .Учитывает реальные физические эффекты внешнего мира.
Особенности:
- переменные в моделях лингвистические (естественные слова) либо функцйи принадлежности этим словам
- переменные измеряются в шкалах ( лингвистические переменные – порядковые шкалы , нелингвистические - метрические)
- правила в псевдофизической логике учитывают шкалы и расположение на них фактов и событий
Пример : X < Y (X часть предмета Y), X -> Y (X причина для Y)
Онтологии
Онтология — формализация некоторой области знаний с помощью концептуальной схемы. Онтологии используются в процессе программирования как форма представления знаний о реальном мире или его части. Обычно они состоят из экземпляров, понятий, атрибутов и отношений.
Экземпляры — это основные, нижнеуровневые компоненты онтологии. Экземпляры могут представлять собой как физические объекты (люди, дома, планеты), так и абстрактные (числа, слова).
Понятия— абстрактные группы, коллекции или наборы объектов.
Объекты в онтологии могут иметь атрибуты.
Зависимости (отношения) между объектами онтологии. Обычно отношением является атрибут, значением которого является другой объект.
Особенности:
- надежный семантический базис в определенном содержании
-общая логическая теория (словарь и набор утверждения)
Многозначные логики
Тип формально логики характерный наличием более чем двух возможных истинностных значений.
Используется понятие частичного вхождения объекта в множество.
Нечеткая логика
Любую математическую систему можно аппроксимировать с использованием нечеткой логики в нечеткую систему.
Пусть задано fuzzy-множество (нечеткое). Уровень принадлежности нечеткому множеству – степень уверенности в принадлежности множеству.
Ã
= {X,
}
,
– степень вхождения элемента Х в
множество А
А {x}– множество
Основные операции над нечеткими множествами
Объединение
-суммирование
-
=
, ∀
x
⊂
[1,n]
-min combination
-max combination
FS- нечеткое множество времени печати простых страниц
FD- нечеткое множество времени печати сложных страниц
S+D = Pages (все страницы)
Пересечение
=
min{
}
Отрицание
=
1 -
Нечеткий вывод
Основной элемент нечеткой логики – суждение. ∀ суждению соответствует степень истинности .
Реализуется в 3 этапа:
Фазификация
На него поступают четкие входные данные
Вывод правил
На него поступают нечеткие входные уровни
Дефазификация
На него поступают выходные уровни . На этом этапе нечеткие входные данные переводятся в четкие входные данные . В результате получаются четкие выходные данные.
Фазификация – процесс перехода от значения величины реального мира к условиям истинности суждения или степени принадлежности к нечеткому множеству.
Методы: Центр тяжести, метод крайнего левого max , метод крайнего правого max
Дефазификация – процесс перехода от нечеткого множества к конкретному значению реального мира.
Агрегация – объединение однотипных результатов выполнения нечетких правил.