- •12. Логика предикатов
- •13. Алгебра предикатов, основные понятия и определения, логические операции.
- •14. Законы алгебры предикатов.
- •15. Пнф. Алгоритм приведения к пнф.
- •16. Ссф. Алгоритм скалема.
- •17. Исчисление предикатов. Вводные замечания, интерпретация формул.
- •18. Правило вывода в исчислении предикатов.
- •19. Правило подстановки в исчислении предикатов.
- •20. Правило введения и удаления кванторов.
- •27. Реляционная алгебра.
- •29.Бинарные операторы.
- •30. Правила реляционной алгебры.
- •31. Реляционное исчисление. Переменные кортежи, переменные домены.
- •32. Реляционное исчисление с переменными кортежами.
- •33. Формирование запросов и запись операций реляционной алгебры на языке реляционного исчисления с переменными кортежами.
- •34.Представление о компьютерных языках реляционной логики.
- •35. Нечеткая логика основные понятия.
- •36. Нечеткие множества, степень принадлежности, методы ее построения.
- •37. Операции над нечеткими множествами.
- •38. Алгебраические операции на нечетких множествах.
- •39. Расстояния между нечеткими множествами, индексы нечеткости.
- •40. Нечеткие отношения и операции над ними.
- •41. Композиция нечетких отношений.
- •42. Нечеткая и лингвистическая переменные.
- •43. Нечеткие высказывания и предикаты.
- •45. Рекурсивные функции, понятие вычислимой функции.
- •46. Операции примитивной рекурсии и минимизации.
- •47. Примитивно рекурсивные, частично рекурсивные и общерекурсивные функции. Тезис Черча.
- •48. Понятие о машине Тьюринга. Тезис Тьюринга.
- •50. Неразрешимые алгоритмические проблемы.
38. Алгебраические операции на нечетких множествах.
Включение нечеткого множества A’ в множество B’.
Степень включения (A’, B’) нечеткого множества A’ в нечеткое множество B’ определяется по формуле:
(A’, B’)= (A’ (u)B’ (u))= (A’ (u) B’ (u))=min{max{(1-A’(u)); B’(u)}}.
При этом операции дополнения, дизъюнкции и конъюнкции выполняются для каждого элемента базового множества.
Если (A’, B’)0,5, то множество A’ нечетко включено в множество B’.
Равенство нечетких множеств A’ и B’.
Степень равенства нечетких множеств A’ и B’ определяется по формуле:
(A’,B’)=(A’(u)B’(u))=((A’(u)B’(u))(B’(u)A’(u)))=
min{min{max{(1-A’(u)); B’(u)}; max{(1-B’(u)); A’(u)}}}.
При этом операции дополнения, дизъюнкции и конъюнкции выполняются для каждого элемента базового множества.
Если (A’, B’)0,5, то множества A’ и B’ нечетко равны.
39. Расстояния между нечеткими множествами, индексы нечеткости.
Пусть A и B - нечеткие подмножества универсального множества
E. Введем понятие расстояния r(A, B) между нечеткими
множествами. При введении расстояния обычно предъявляются следующие требования:
r(A, B) ³ 0 - неотрицательность;
r(A, B) = r(B, A) - симметричность;
r(A, B) < r(A, C) + r(C, B).
К этим трем требованиям можно добавить четвертое: r(A, A) = 0.
Определим следующие расстояния по формулам:
Расстояние Хемминга (или линейное расстояние):
r(A, B) = ½mA(xi) - mB(xi)½ .
Очевидно, что r(A, B)Î[0, n].
Евклидово или квадратичное расстояние:
e(A, B) = , e(A, B)Î[0, ].
Относительное расстояние Хемминга:
r(A, B) = , r(A, B)Î[0,1].
Относительное евклидово расстояние:
e(A, B)=, e(A, B)Î[0,1].
Расстояние Хемминга и квадратичное расстояние, в случае когда E
бесконечно, определяются аналогично с условием сходимости соответствующих сумм:
если E счетное, то
r(A, B) = ½mA(xi) - mB(xi)½ ,
e(A, B) = ;
если E = R (числовая ось), то
r(A, B) = ,
e(A, B) = .
Введем далее индекс нечеткостиили показатель размытости нечеткого множества. Если объект x обладает свойством R , порождающим нечеткое множество A лишь в частной мере, т.е. 0 ≤ μ A x ≤ 1 , то внутренняя неопределенность, двусмысленность объекта x в отношении свойства R проявляется в том, что он, хотя и в разной степени, принадлежит сразу двум противоположным классам: классу объектов A , обладающих свойством R , и классу объектовA ˉ , не обладающих свойством R . Эта двусмысленность максимальна, когда степени принадлежности объекта обеим классам равны, т.е. μ A x = μ A ˉ x =0,5 , и минимальна, когда объект принадлежит только одному классу, т.е. либо μ A x = 1 и μ A ˉ x = 0 , либо μ A x = 0 и μ A ˉ x = 1 .
40. Нечеткие отношения и операции над ними.
Пусть Е = Е1´Е2´ ...´Еn
- прямое произведение универсальных множеств и М - некоторое множество принадлежностей (например М = [0,1]). Нечеткое n-арное отношение определяется как нечеткое подмножество R на E, принимающее свои значения в М. В случае n=2 и М = [0,1], нечетким отношением R между множествами X = Е1 и Y = Е2 будет называться функция R:(X,Y)® [0,1], которая ставит в соответствие каждой паре элементов (х,y)ÎX´Y величину m R(x,y) Î[0,1]. Обозначение: нечеткое отношение на X´Y запишется в виде: xÎX, yÎY: xRy. В случае, когда X = Y, т.е. X и Y совпадают, нечеткое отношение
R: X´X®[0,1] называется нечетким отношением на множестве X.
Объединение нечетких отношений r’1={r’1(xi,xj)/(xi,xj)} и r’2={r’2(xi,xj)/(xi,xj)} есть нечеткое отношение r’=(r’1r’2), степень принадлежности которому каждой пары (xi,xj) определяется формулой
r’(xi,xj)= r’1(xi,xj)r’2(xi,xj)=max{q’1(xi,xj); q’2(xi,xj)}.
Пересечение нечетких отношений r’1={r’1(xi,xj)/(xi,xj)} и q’2={r’2(xi,xj)/(xi,xj)} есть нечеткое отношение r’=(r’1r’2), степень принадлежности которому каждой пары (xi,xj) определяется формулой
r’(xi,xj)= r’1(xi,xj)r’2(xi,xj)=min{q’1(xi,xj); q’2(xi,xj)}.
Дополнение нечеткого отношения есть r’, степень принадлежности которому определяется формулой: r’(xi,xj)=(1 - r’(xi,xj).