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