| |
| |
| |
|
Introspekce vágních znalostí ve fuzzy logice
Běhounek, Libor
V klasické epistemické logice je princip introspekce vágních znalostí vyloučen Poincarého paradoxem, implikujícím netranzitivitu relace nerozlišitelnosti. Článek ukazuje, jak lze princip introspekce vágních znalostí zachovat použitím T-tranzitivní relace nerozlišitelnosti ve fuzzy logice.
|
| |
| |
|
Dvě souvislosti mezi epistemickou a fuzzy logikou
Běhounek, Libor
Článek se zabývá dvěma možnostmi propojení epistemické a fuzzy logiky. Epistemická fuzzy logika jakožto druh modální fuzzy logiky popisuje usuzování agentů o vágních výrocích; v článku jsou naznačeny problémy takové syntézy související s neplatností axiomu K ve fuzzy kripkovských rámcích. Druhým směrem je založení epistemické logiky na fuzzy logice; v článku je naznačeno, jak chápání proveditelné znalosti jako fuzzy modality odstraňuje paradox logické vševědoucnosti agentů
|
| |
| |
|
Kurt Godel: život, výsledky a jejich význam
Běhounek, Libor
Přehled nejdůležitějších výsledků a prací K. Gödela v oblasti metamatematiky, teorie množin, fyziky a filosofie. Zvláštní pozornost je věnována demytizaci Gödelových vět o neúplnosti a jejich důsledkům pro informatiku, umělou inteligenci, filosofii a další obory.
|