VÍCEHODNOTOVÁ LOGIKA Petr Jelínek, 2009. Osnova (Dávejte pozor, budu se ptát !) co je to vícehodnotová logika? počátky Fuzzy logika obecné využití použití.

Prezentace na téma: "VÍCEHODNOTOVÁ LOGIKA Petr Jelínek, 2009. Osnova (Dávejte pozor, budu se ptát !) co je to vícehodnotová logika? počátky Fuzzy logika obecné využití použití."— Transkript prezentace:

1 VÍCEHODNOTOVÁ LOGIKA Petr Jelínek, 2009

2 Osnova (Dávejte pozor, budu se ptát !) co je to vícehodnotová logika? počátky Fuzzy logika obecné využití použití v informatice opakování

3 Co je to vícehodnotová logika (aneb jen 1 + 1 to nebude) druh neklasické logiky výroková logika (pravdivý výrok = 1, nepravdivý výrok = 0) vícehodnotová logika (nabývá 3 a více pravdivostních hodnot)

4 Počátky vícehodnotové logiky Lukasiewicz – zakladatel, popsal tříhodnotový systém Post – také navrhl systém VL L - rozšířil tříhod. logiku na systémy s konečně i nekonečně mnoha hodnotami M. Wajsberg - axiomatizace Lukasiewoczva tříhodnotového systému

5 Fuzzy logika 70. léta – Zadeh vyvíjeny současně a začaly se ovlivňovat pracuje s mlhavými pojmy (menší, větší, více menší, vlažný, téměř studený, méně) na intervalu

6 Je to vůbec k něčemu? (těžko říct, řekl bych, že……) Vícehodnotová logika –kvantová mechanika –teorie logických sítí –počítačová technika Fuzzy logika –poprvé Abraham Mandani 1970 – turbína –robotika, informační systémy –pračky (přizpůsobení teploty), Sony TV (přizpůsobení barvy, kontrastu, osvětlení), výtahy

7 Použití logiky v informatice těží z logiky ve vývoji hardwaru a řízení výpočtu. vyhledávání v databázích –tříhodnotová logika (YES,NO,NULL) –pomocí zadaných intervalů hodnot vlastností

8 Opakování matka moudrosti (aneb Smetana a ti druzí se již nemusí ptát…) klasická logika x vícehodnotová logika Fuzzy logika – vyvíjena spolu s VL (tzv. mlhavé pojmy) využití: informatika, elektro-průmysl, robotika

9 Zdroje http://sedlo.sedlo.net/math&econ/fuzzy/historie.php http://lide.uhk.cz/fim/ucitel/fshusam2/lekarnicky/zt_old/fuzzylogika.html http://www.fi.muni.cz/usr/popelinsky/lectures/logika/p0.pdf

10 Děkuji za pozornost !