datum: 24.1.2006 v 14:00
název: Souvislost mezi pravděpodobností a fuzzy logikou prostřednictvím dialogových her
přednášející: Libor Běhounek (UI)
místo konání: UTIA, 4.patro, místnost č.474

souhrn: Giles (1974) a Fermuller (2005) charakterizovali tři základní t-normové fuzzy logiky (Lukasiewiczovu, Godelovu a produktovou) pomocí kombinace dialogické a sázkové hry. Tento přístup lze dále zobecnit na výrokové fuzzy logiky všech spojitých t-norem (Běhounek a Majer 2005, draft). Dialogická hra přitom slouží k vyjádření významu výrokových spojek a je totožná s variantou dialogické hry pro klasickou výrokovou logiku (Lorenzen 1955). Sázková hra zachycuje význam ohodnocení atomických formuli; pravdivostní hodnoty fuzzy logiky tím jsou redukovány na pravděpodobností určitých jevů. T-normovou fuzzy logiku tak lze chápat mimo jiné jako velmi speciální druh usuzování o pravděpodobnostech na vhodným způsobem omezených systémech jevů vývoje.