Неопределено множество: Разлика помеѓу преработките
| [непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
Ред 16:
{{main|Фази логика}}
Како дополнение на случајот на [[повеќевредносна логика|повеќевредносната логика]], вреднувањата (<math>\mu : \mathit{V}_o \to \mathit{W}</math>) на [[исказна променлива|исказни променливи]] (<math>\mathit{V}_o</math>) во множетво степени на припадност (<math>\mathit{W}</math>) може да се претстави како [[функција наприпадност|функции на припадност]] кои мапираат [[логика од прв ред|предикати]] во фази множества (или поформално, во подредено множество од фази парови, наречени фази релација). Со овие вреднувања, повеќевредносната логика може да се дополни за да дозволува употреба на фази [[премиса|премиси]] од која може да се извлекуваат степенувани заклучоци.<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>
| |||