Неопределено множество: Разлика помеѓу преработките

[непроверена преработка][непроверена преработка]
Избришана содржина Додадена содржина
сНема опис на уредувањето
сНема опис на уредувањето
Ред 7:
За секое <math>x\in A</math>, <math>m(x)</math> претставува '''степен''' на припадност во <math>x</math>. Ако <math>A=\{x_1,...,x_n\}</math> фази множеството <math>(A, m)</math> може да се означи како <math>\{m(x_1)/x_1,...,m(x_n)/x_n\}</math>.
 
МапирањеПресликувањето на елементот на вредноста 0 значи дека тој член не припаѓа на фази множеството, а 1 значи член со полна припадност. Вредностите строго помеѓу 0 и 1 ги карактеризираат фази членовите.<ref>
AAAI http://www.aaai.org/aitopics/pmwiki/pmwiki.php/AITopics/FuzzyLogic</ref>
Множеството <math>\{x\in A\mid m(x)>0\}</math> е наречено ''поддршка'' на фази множеството <math>(A,m)</math>, а множеството <math>\{x\in A\mid m(x)=1\}</math> се нарекува ''јадро'' на фази множеството <math>(A,m).</math>
Ред 16:
{{main|Фази логика}}
 
Како дополнение на случајот на [[повеќевредносна логика|повеќевредносната логика]], вреднувањата (<math>\mu : \mathit{V}_o \to \mathit{W}</math>) на [[исказна променлива|исказни променливи]] (<math>\mathit{V}_o</math>) во множетво степени на припадност (<math>\mathit{W}</math>) може да се претстави како [[функција наприпадност|функции на припадност]] кои мапираатпресликуваат [[логика од прв ред|предикати]] во фази множества (или поформално, во подредено множество од фази парови, наречени фази релација). Со овие вреднувања, повеќевредносната логика може да се дополни за да дозволува употреба на фази [[премиса|премиси]] од која може да се извлекуваат степенувани заклучоци.<ref>Siegfried Gottwald, 2001. ''A Treatise on Many-Valued Logics''. Baldock, Hertfordshire, England: Research Studies Press Ltd., ISBN 978-0863802621</ref>
 
Ова дополнение понекогаш се нарекува „фази логика во потесна смисла“ наспроти „фази логика во поширока смисла“, која произлегла од полето на [[инженерство]]то на [[автоматизација|автоматското]] раководство и [[инженирање на знаењето|инженирање на знаењето]], и која опфаќа многубројни теми кои подразбираат употреба на фази множества и „приближно расудување“.<ref>"The concept of a linguistic variable and its application to approximate reasoning," ''Information Sciences'' '''8''': 199–249, 301–357; '''9''': 43–80.</ref>
Ред 25:
'''Фази број''' е [[конвексно множество|конвексно]], [[константа на нормализација|нормализирано]] фази множество <math>\tilde{\mathit{A}}\subseteq\mathbb{R}</math>
чија функција на припадност е барем сегментно [[непрекината функција|постојана]] и има функционална вредност од <math>\mu_{A}(x)=1</math> во точно еден елемент.
Ова може да се спореди со [[панаѓур]]ската игра „погоди ја тежината“ каде некој се обидува да ја погоди тежината на натпреварувачот, каде поблиските нагаѓања се сметаат за поточни, и каде погодувачот „победува“ ако каже тежина доволно блиска до фактичката, со тоа што самата точна тежина се смета за сосем точна (се мапирапресликува на 1 во функцијата на припадност).
 
== Фази интервал ==