Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
|
Нечеткие высказыванияОпределение 4.2. Нечетким высказыванием называется высказывание , степень истинности которого m() можно оценить числом из интервала [0, 1], m() Î [0, 1]. Если m() = 0,5, то высказывание называется индиффирентным. Определение 4.3. Нечеткой высказывательной переменной называется нечеткое высказывапние , степень истинности которого может меняться в интервале [0, 1]. Так как степень истинности нечеткого высказывания не связана с сутью высказывания, будем в дальнейшем отождествлять нечеткое высказывание с его степенью истинности аналогично тому, как обычное четкое высказывание отождествлялось с его истинностью или ложностью (см. п. 1. 1). Нечеткие высказывания и степень их истинности будем обозначать большими буквами с тильдой:: , , , и т. д. На множестве нечетких высказываний вводятся логические операции, аналогичные операциям алгебры высказываний. 1. Отрицание нечеткого высказывания: Ø = 1 – . (4.1) 2. Конъюнкция нечетких высказываний: & = min (, ). (4.2) 3. Дизъюнкция нечетких высказываний: Ú = max (, ). (4.3) 4. Импликация нечетких высказываний: É = max (1 – , ). (4.4) 5. Эквивалентность нечетких высказываний: ~ = min (max (1 – , ), max (, 1 – )). (4.5) Старшинство операций принято в поядке1) – 5). Пример 4.5. Найти степень истинности высказывания = ( Ú ) ~ ( É ( & )) при = 0,8; = 0,3. Порядок действий определяется старшинством операций и скобками. 1. & = min (0,8; 0,3) = 0,3. 2. ( É ( & ) = max (1 – 0,8; 0,3) = 0,3. 3. Ú = max (0,8; 0,3) = 0,8. 4. = min (max (1 – 0,8; 0,3), max (0,8; 1 – 0,3)) = min (0,3; 0,8) = 0,3. Множество нечетких высказываний вместе с введенными на них операциями образуют алгебру нечетких высказываний. Определение 4.4. Нечеткой логической формулой называется: а) любая нечеткая высказывательная переменная; б) если и – нечеткие логические формулы, то Ø , & , Ú , É , ~ – тоже нечеткие логические формулы. Определение 4.5. Пусть ( 1, 2, …, n) и ( 1, 2, …, n) – две нечеткие логические формулы. Степенью равносильности формул и называется величина m(, ) = { (a1, a2, …,a n) ~ (a1, a2, …,a n)} (4.6) Здесь логические операции конъюнкции и эквивалентности имеют смысл, определенный выше для логических операций над нечеткими высказываниями, причем конъюнкция берется по всем наборам степеней истинности (a1, a2, …,a n) нечетких переменных ( 1, 2, …, n). Множество всех наборов степеней истинности (a1, a2, …,a n) нечетких переменных ( 1, 2, …, n) назовем полной областью определения Cn. Очевидно, что множество Cn имеет мощность континнуума в отличие от двузначной логики высказываний, где число всех наборов переменнх конечно и равно 2 n. Если m(, ) = 0,5, то нечеткие формулы и называются индиффирентными. Если m(, ) > 0,5, то нечеткие формулы и называются нечетко равносильными. Если m(, ) < 0,5, то нечеткие формулы и называются нечетко неравносильными.. Определение 4.6. Степенью неравносильности формул и называется величина (, ) = 1 – m(, ). Пример 4.6 Определить степень равносильности формул. = É , = Ø( & ) при условии, что и прнимают значения степеней истинности из множества {0,1; 0,2}. Перечислим все возможные наборы значений и : A 1 = {0,1; 0,1}; A 2 = {0,1; 0,2}; A 3 = {0,2; 0,1}; A 4 = {0,2; 0,2}. Запишем формулы и с учетом (4.1), (4.2), (4.4): = É = max (1 – , ); = Ø( & ) = 1 – & = 1 – min (, ). Вычислим формулы и на каждом из четырех наборов A 1 – A 4: 1 = max (1 – 0,1; 0.1) = 0,9. 2 = max (1 – 0,1; 0,2) = 0,9. 3 = max (1 – 0,2; 0,1) = 0,8. 4 = max (1 – 0,2; 0,2) = 0,8. 1 = 1 – min (0,1; 0.1) = 0,9. 2 = 1 – min (0,1; 0,2) = 0,9. 3 = 1 – min (0,2; 0,1) = 0,9. 4 = 1 – min (0,2; 0,2) = 0,8. Вычислим теперь степень равносильности формул и в соответствии с (4.6): Для этого сначала вычислим (a1, a2, …,a n) ~ (a1, a2, …,a n)} для всех наборов A 1 – A 4: В соответствии с (4.5) имеем ~ = min (max (1 – , ), max (, 1 – )). Поэтому 1 ~ 1 = min (max (1 – 0,9;0,9), max (0,9; 1 –0,9)) = 0,9. 2 ~ 2 = min (max (1 – 0,9;0,9), max (0,9; 1 –0,9)) = 0,9. 3 ~ 3 = min (max (1 – 0,8;0,9), max (0,8; 1 –0,9)) = 0,8. 4 ~ 4 = min (max (1 – 0,8;0,8), max (0,8; 1 –0,8)) = 0,8. Окончательно по (4.6) получим m(, ) = { (a1, a2, …,a n) ~ (a1, a2, …,a n)} = 0,9&0,9&0,8&0,8 = min (0,9; 0,9; 0,8; 0,8) = 0,8. Формулы и нечетко равносильны. На других наборах степеней истинности нечетких переменных и формулы и могут быть нечетко неравносильны. Определение 4.7. Пусть ( 1, 2, …, n) и ( 1, 2, …, n) – две нечеткие логические формулы, рассмотренные на некотором множестве M изменения нечетких переменных 1, 2, …, n. Областью нечеткой равносильности формул и называется подмножество множества M, на котором формулы и нечетко равносильны. Пример 4.7. Вернемся к примеру 4.7. Для этого примера множество M состоит из девяти наборов: M = {{0,1; 0,1}; {0,1; 0,2}; {0,2; 0,1}; {0,2; 0,2}}. На каждом наборе формулы и нечетко равносильны, так как m(, ) > 0,5. Поэтому областью нечеткой равносильности будет все множество M. Определение 4.8. Если формула ( 1, 2, …, n) на всех наборах переменных 1, 2, …, n из некоторого множества M имеет степень истинности большую или равную 0,5, то она будет на нем нечетко истинной. Обозначается это так: = . Определение 4.9. Если формула ( 1, 2, …, n) на всех наборах переменных 1, 2, …, n из некоторого множества M имеет степень истинности меньшую или равную 0,5, то она будет на нем нечетко ложной. Обозначается это так: = . Пример 4.8. Покажем, что Ú Ø = и & Ø = для всех значений нечеткой переменной : 0 £ £ 1. Учитывая (4,1), (4.2), (4. 3), имеем Ú Ø = max (, Ø ) = max (, 1 – ) ³ 0,5. & Ø = min (, Ø ) = min (, 1 – ) £ 0,5.
|