| |
|
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.
|
|
Fuzzy Macneillovské a Dedekindovské zúplnění ostrých lineárních hustých uspořádání
Běhounek, Libor
V rámci henkinovské fuzzy logiky vyššího řádu definujeme dva druhy fuzzy svazového zkoumáme svazové zúplnění ostrých lineárních hustých uspořádání. Fuzzy macneillovské zúplnění je svazové zúplnění fuzzy stabilními množinami; fuzzy dedekindovské zúplnění je svazové zúplnění fuzzy dedekindovskými řezy. Zkoumáme vlastnosti a vzájemné vztahy obou pojmů a srovnáváme je s výsledky známými z literatury. Omezujeme se na ostrá hustá lineární uspořádání, která jsou důležitá pro teorii fuzzy reálných čísel.
|
| |