Неопределено множество

Неопределените множества (наречени и „фази“ множества од англ. fuzzy sets) се множества чии елементи се одликуваат со степен на припадност. Неопределените множествата ги вовел Љутфи Аскер Заде (1965) како дополнение на класичното поимување за множество.L. A. Zadeh (1965) „Неопределени множества“ . Information and Control 8 (3) 338–353. Кај класичната теорија на множествата, припадонста на елементите во множествата се определува бинарно според бивалентен услов — елементот или му припаѓа или не му припаѓа на едно множество. За разлика од тоа, теоријата на наопределените множества дозволува степенесто определување на припадноста на елементите на едномножество; ова се опишува со помош на функција на припадност со вредност некаде во интервалот [0, 1]. Неопределените множествата ги генерализираат класичните множества, бидејќи функциите-индикатори на класичните множества се специјални случаи на функциите на припадност кај неопределените множества, т.е. кога во тој случај вредноста е 0 или 1.D. Dubois and H. Prade (1988) Fuzzy Sets and Systems. Academic Press, New York. Теоријата на неопределените множества ги нарекува класичните бивалентнин множества „рески множества“.

 Дефиниција 
Неопределено множество е пар  каде  е множество, а .

За секое ,  претставува степен на припадност во . Ако  неопределеното множество  може да се означи како .

Пресликувањето на елементот на вредноста 0 значи дека тој член не припаѓа на неопределеното множество, а 1 значи член со полна припадност. Вредностите строго помеѓу 0 и 1 ги карактеризираат неопределените членови.AAAI http://www.aaai.org/aitopics/pmwiki/pmwiki.php/AITopics/FuzzyLogic 
Множеството  е наречено поддршка на неопределеното множество , а множеството  се нарекува јадро на неопределеното множество 

Понекогаш се користи поопшта дефиниција, каде функциите на припадност добиваат вредности во произволна утврдена алгебра или структура ; обично се бара  да биде барем делумно подредено множество или решетка. Вообичаените функции на припадност со вредности од [0, 1] тогаш се нарекуваат [0, 1]-вредносни функции на припадност. Оваа генерализација за прв пат била разгледана во 1967 од Џозеф Гоген, ученик на Заде.Goguen, Joseph A., 1967, "L-fuzzy sets". Journal of Mathematical Analysis and Applications 18: 145–174

 Неопределена логика 

Како дополнение на случајот на повеќевредносната логика, вреднувањата () на исказни променливи () во множетво степени на припадност () може да се претстави како функции на припадност кои пресликуваат предикати во неопределените множества (или поформално, во подредено множество од неопределени парови, наречени неопределена релација).  Со овие вреднувања, повеќевредносната логика може да се дополни за да дозволува употреба на неопределени премиси од која може да се извлекуваат степенувани заклучоци.Siegfried Gottwald, 2001. A Treatise on Many-Valued Logics. Baldock, Hertfordshire, England: Research Studies Press Ltd., ISBN 978-0-86380-262-1

Ова дополнение понекогаш се нарекува „неопределена логика во потесна смисла“ наспроти „неопределена логика во поширока смисла“, која произлегла од полето на инженерството на автоматското раководство и инженирање на знаењето, и која опфаќа многубројни теми кои подразбираат употреба на неопределени множества и „приближно расудување“."The concept of a linguistic variable and its application to approximate reasoning," Information Sciences 8: 199–249, 301–357; 9: 43–80.

Индустриските примени на неопределените множества во контекст на „неопределена логика во поширока смисла“ се наведени во статијата Неопределена логика.

 Неопределен број 
Неопределен број или (наречен и „фази“ број) е испакнато, нормализирано неопределено множество 
чија функција на припадност е барем сегментно постојана и има функционална вредност од  во точно еден елемент.
Ова може да се спореди со панаѓурската игра „погоди ја тежината“ каде некој се обидува да ја погоди тежината на натпреварувачот, каде поблиските нагаѓања се сметаат за поточни, и каде погодувачот „победува“ ако каже тежина доволно блиска до фактичката, со тоа што самата точна тежина се смета за сосем точна (се пресликува на 1 во функцијата на припадност).

 Неопределен интервал 
Неопределен интервал (наречен и „фази“ интервал) е неизвесно множество  со среден интервал чии елементи имаат вредност на припадност . Како кај неопределените броеви, функцијата на припадност мора да биде конвексна, нормализирана и барем сегментно непрекината."Fuzzy sets as a basis for a theory of possibility," Fuzzy Sets and Systems 1: 3–28

 Поврзано 
 Алтернативна теорија на множествата
 Дефазификација
 Неопределена математика
 Неопределена логика
 Неопределена подалгебра
 Линеарна делумна информација
 Невро-фази
 Приближно множество
 Неизвесност

 Надворешни врски 
 Модел за неизвесноста - Неодреденост (fuzziness)  
 Алгоритмот за неопределена анализа  
 Неопределена („фази“) обработка на слики  
 „Неопределени множества“  - Задевиот труд од 1965 

 Наводи 

Множество
Категорија:Теорија на множествата

de:Fuzzylogik#Unscharfe Mengen