Тема I.9Нечеткие предикаты и кванторы
Нечётким одноместным предикатом, заданным на множестве действительных чисел, является:
Р(x1): «х1˅х2»
Р(x1): «х1 немного больше х2»
Р(x1): «х1 немного меньше 0»
Р(x1): «х1+х2»
Нечётким одноместным предикатом, заданным на множестве действительных чисел, является:
Р(x1): «х1˅х2»
Р(x1): «х1 немного больше х2»
Р(x1): «х1 немного больше 5»
Р(x1): «х1-х2»
Степенью общности свойств предиката Р(х) для элементов множества Х называется величина:
=
(Р(х1))
(Р(х2))
(Р(хn)= (Р(х1))
(Р(х2))
(Р(хn)= (Р(х1))
(Р(х2))
(Р(хn)= (Р(х1))
(Р(х2))
(Р(хn)
Степенью существования свойств предиката Р(х) для элементов множества Х называется величина:
=
(Р(х1))
(Р(х2))
(Р(хn)= (Р(х1)) (Р(х2)) (Р(хn)
= (Р(х1)) (Р(х2)) (Р(хn)
= (Р(х1)) (Р(х2)) (Р(хn)
На предикат Р(х) может быть навешан квантор нечёткого существования
,
если:
Степень существования свойств предиката Р(х)
≥0Степень существования свойств предиката Р(х) ≥0.5
Степень общности свойств предиката Р(х)
≥0Степень общности свойств предиката Р(х) ≥0.5
На предикат Р(х) может быть навешан квантор нечёткой общности
если:
Степенью существования свойств предиката Р(х) ≥0
Степенью существования свойств предиката Р(х) ≥0.5
Степенью общности свойств предиката Р(х) ≥0
Степенью общности свойств предиката Р(х) ≥0.5