Студопедия

КАТЕГОРИИ:

АстрономияБиологияГеографияДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРиторикаСоциологияСпортСтроительствоТехнологияФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника


Формулы, теоремы, законы АНЛ




 

Введенные понятия степени равносильности, а также эквивалентности нечетких формул позволяют сравнивать их между собой, т.е. сопоставлять паре формул и неко-торое логическое значение в интервале [0,1].

Определение. Алгеброй нечеткой логики (АНЛ) на-зывают множество нечетких логических формул вместе с введенными на них степенью равносильности и эквива-лентностью нечетких формул.

Обозначается эквивалентность нечетких формул ана-логично равенству нечётких множеств знаком “» ”.

Определение. Формулами алгебры нечеткой логики называют все выражения вида » , где , - нечеткие логические формулы.

Как и в четкой логике, теоремами называются форму-лы АНЛ, истинные при любых значениях входящих в них переменных. Законами называются основные, наиболее употребительные теоремы. Рассмотрим их.

1. Законы действий с нечеткими константами

Ø » , Ø » , Ú » , & » , Ú » , & » , &û , Ú » ,

где - любая нечеткая формула.

2. Законы де Моргана:

Ø( & )»Ø ÚØ , Ø( Ú ) »Ø .

3. Закон двойного отрицания:

Ø(Ø .

4. Идемпотентность:

& » , Ú » .

5. Коммутативность сложения и умножения:

Ú » Ú , & » & .

6. Ассоциативность сложения и умножения:

&( & )»( & )& » & & , Ú( Ú )»( Ú » Ú Ú .

7. Дистрибутивность:

&( Ú )»( & )Ú( & ),

Ú( & )»( Ú )&( Ú ).

8. Законы поглощения:

&( Ú , Ú( & ,

( Ú )&( & )»( & ), ( Ú )Ú( & )»( Ú ).

9. Законы дополнительности:

» , ÚØ » ÚØ , & » & , ÚØ Ú » ÚØ Ú ,( )&( ÚØ ) » , ( ÚØ )&( ) » ÚØ .

 

Для строгого доказательства того факта, что некоторая формула АНЛ общего вида

(` (`an), (`an),…) » (` (`an), (`an),…) является теоремой либо законом АНЛ, необходимо дока-

зать, что при любых нечетких логических формулах ` (`an), (`an),…, входящих в рассматриваемую формулу АНЛ, степень равносильности (` (`an), (`an),…) и (` (`an), (`an),…) будет больше либо равна 0,5.

Для этого можно использовать два способа. Первый заключается в том, что для любых формул` (`an), (`an),…, на произвольном наборе`an путем раскрытия нечетких логических операций доказывается строгое ра-венство: (`an )= (`an ), где и - выражения, стоящие в левой и правой части доказываемого закона. Отсюда по Теореме 1 следует эквивалентность и .

Пример 1. Доказать закон двойного отрицания.

Решение. Рассмотрим произвольную формулу (`хn ) и со-ответствующие ей функции =Ø(Ø (`хn )), = n ), стоящие в левой и правой частях закона. По определению операции отрицания для любого набора `an :

(`an)=Ø(Ø (`an))=1-(1- (`an )) = (`an)= (`an).

В силу произвольности формулы (`хn ) и набора`an из доказанного равенства следует закон двойного отрица-ния.

Второй подход заключается в непосредственном дока-зательстве неравенства m( , )> 0,5. По Теореме 1 следует, что для этого достаточно доказать одновременную истин-ность либо ложность обеих функций на каждом наборе`an .

Пример 2. Доказать истинность первого закона до-полнительности.

Решение. Рассмотрим произвольные формулы (`хn ) и (`хn ) и функции, реализующие их. В левой и правой час-

 

 

тях закона стоят выражения = , = .

По определению нечетких логических операций отрицания и умножения для любого`an: =min( (`an),1- (`an )). Так как одно из чисел (`an), 1- (`an ) всегда не превышает значение 0,5, то отсюда следует: (`an) £ 0,5. Аналогично можно доказать: (`an) £ 0,5. Поскольку функции одновременно ложны на всех наборах истинности переменных, то по Следствию 2 из Теоремы 1 они нечетко эквивалентны.

Для строгого опровержения утверждения о том, что некоторая формула АНЛ общего вида

(` (`an), (`an),…) » (` (`an), (`an),…) является теоремой АНЛ, достаточно привести хотя бы один пример, в котором степень равносильности формул (` (`an), (`an),…) и (` (`an), (`an),…) будет меньше 0,5.

Пример 3. Выяснить, будет ли формула АНЛ » ÚØ являться теоремой АНЛ.

Решение. Рассмотрим в качестве примера нечеткие логические формулы = Ú и = º . На значениях переменных =1, =1 значения формул (1,1)=1, (1,1) = 1, =1&Ø1=0, =1ÚØ1=1. После подстановки в об-щую формулу получим, что m ( , )= 0 <0,5. Следова-тельно, рассмотренная формула АНЛ не будет теоремой АНЛ.


Поделиться:

Дата добавления: 2015-07-26; просмотров: 115; Мы поможем в написании вашей работы!; Нарушение авторских прав





lektsii.com - Лекции.Ком - 2014-2024 год. (0.006 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав
Главная страница Случайная страница Контакты