Název: Dvě souvislosti mezi epistemickou a fuzzy logikou
Překlad názvu: Two Connections between Epistemic and Fuzzy Logics
Autoři: Běhounek, Libor
Typ dokumentu: Příspěvky z konference
Konference/Akce: Kognice a umělý život /7./, Smolenice (SK), 2007-05-28 / 2007-05-31
Rok: 2007
Jazyk: cze
Abstrakt: [cze] [eng]
Č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ů Two possible connections between epistemic and fuzzy logics are studied. Epistemic fuzzy logic as a kind of modal logic studies the reasoning of agents about fuzzy propositions; problems of such a synthesis caused by the invalidity of the axiom K are hinted at. Another direction is to found epistemic on fuzzy logic; the paper sketches the way how representing feasible knowledge as a fuzzy modality eliminated the logical omniscience paradox.
Klíčová slova: epistemická logika; fuzzy logika; modální fuzzy logika; paradox logické vševědoucnosti
Číslo projektu: CEZ:AV0Z10300504 (CEP), IAA900090703 (CEP)
Poskytovatel projektu: GA AV ČR
Zdrojový dokument: Kognice a umělý život VII, ISBN 978-80-7248-412-6

Instituce: Ústav informatiky AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný v příslušném ústavu Akademie věd ČR.
Původní záznam: http://hdl.handle.net/11104/0146704

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-37236


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav informatiky
Konferenční materiály > Příspěvky z konference